Strategies for Real-Time System Specification

Strategies for Real-Time System Specification

4.11 - 1251 ratings - Source

This is the digital version of the printed book (Copyright Ac 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Inc. Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer.splitting and merging, 50, 143 types and attributes, 194197 Data flow diagram ( DFD), 13, 19, 35, 4453, 114, 370371 allocation in ... 69, 71 naming and numbering, 49, 370374 of automobile management computer module, 274, 280 of Automobile Management System, ... 171174 luggage lock example, 79 PAT, 9091, 174175 STM and, 9394 transaction center and, 175176 Decomposition, 36 , 137138 ofanbsp;...

Title:Strategies for Real-Time System Specification
Author:Derek Hatley, Imtiaz Pirbhai
Publisher:Addison-Wesley - 2013-07-19


You Must CONTINUE and create a free account to access unlimited downloads & streaming