O'Reilly logo

Strategies for Real-Time System Specification by Imtiaz A. Pirbhai, Derek J. Hatley

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 6. Finite State Machines

Large, complex systems, and especially real-time systems, have the property that past and present events, both external and internal, change their behavior. These changes are more fundamental than producing a different output value from a computation when the corresponding inputs change; the computations themselves may change, or stop altogether—the system may behave like an entirely different processor from one time to another. This kind of behavior is hard to represent with a process model alone, but the finite state machine model is very well-suited to it, and when combined with the process model, the two together become a very powerful means for representing virtually any system requirements.

The main purpose ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required