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 ...
Get Strategies for Real-Time System Specification now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
