FSM Example

• Informal specification:

  If the driver
  
  turns on the key, and
  
  does not fasten the seat belt within 5 seconds
  then an alarm beeps
  for 5 seconds, or
  
  until the driver fastens the seat belt, or
  until the driver turns off the key

Previous slide

Next slide

Back to first slide

View graphic version