Strategies for Real-Time System Specification, Hardback

Description

Here is a casebook, practical reference, and indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems.The book develops a major extension of the DeMarco analysis method and augments it with more than 200 diagrams that describe how external events control the system's operating behavior.Many diagrams illustrate the techniques used in the requirements specification of a flight management computer system.You'll learn how to integrate a finite state machine structure into classical analysis methods. The Hatley-Pirbhai techniques, now widely used in major avionics and electronics companies worldwide, are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Inc.