Finite state based specifications

• Represent system as a finite state machine

• Transitions fired by external (and maybe internal) events

• Often useful in describing aspects of embedded systems

  • Inputs from sensors, outputs to actuators

Previous slide

Next slide

Back to first slide

View graphic version