CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 19



Name:_________________________________________    Grade:______________


1. Give three examples of reactive systems:

    *
    
    
    *
    
    
    *
    
    
2. Draw a state transition diagram for an elevator that has stops at 3
   floors. Assume that the elevator only stops at floors where it is
   requested.  Only consider buttons inside the elevator.  Ignore the
   doors.






































(continued on back)





3. Draw a state transition diagram for 2 elevators that have stops at 3
   floors. Assume that each elevator only stops at floors where it is
   requested.  Only consider buttons inside the elevator.  Ignore the
   doors.
   
   *** Include an emergency stop for each elevator. ***