CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 18



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. Assume that the 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. ***