Book description
This is the digital version of the printed
book (Copyright © 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.
Table of contents
- About This eBook
- Title Page
- Copyright Page
- Dedication Page
- Acknowledgments
- Contents
- List of Figures
- Foreword
- Preface
- Part I: The Overall Strategy
- Part II: The Requirements Model
-
Part III: Building the Requirements Model
- Chapter 10. Overview
- Chapter 11. Getting Started
-
Chapter 12. Developing the Model’s Structure
- 12.1. Abstraction and Decomposition
- 12.2. The Seven-Plus-or-Minus-Two Principle
- 12.3. Grouping and Decomposing Processes
- 12.4. Grouping and Decomposing Flows
- 12.5. Naming Processes and Flows
- 12.6. Use of Stores
- 12.7. Functionally Identical Processes
- 12.8. De-emphasizing the Control Model
- 12.9. Control Intensive Systems
- 12.10. The Dilemma of Detail: Requirements Versus Design
- 12.11. The Final Product
- 12.12. Summary
- Chapter 13. Preparing Process Specifications
- Chapter 14. Preparing Control Specifications
- Chapter 15. Defining Timing
- Chapter 16. Managing the Dictionary
- Part IV: The Architecture Model
- Part V: Building the Architecture Model
- Part VI: Examples
- Appendices
- References
- Index
- More Comments From Early Reviewers
Product information
- Title: Strategies for Real-Time System Specification
- Author(s):
- Release date: July 2013
- Publisher(s): Addison-Wesley Professional
- ISBN: 9780133492330
You might also like
book
Just Enough Requirements Management: Where Software Development Meets Marketing
This is the digital version of the printed book (Copyright © 2005). If you develop software …
book
Communicating Embedded Systems: Software and Design
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires …
book
Software for Use: A Practical Guide to the Models and Methods of Usage-Centered Design
In the quest for quality, software developers have long focused on improving the internal architecture of …
book
The Stop Doing List
Learn what not to do to grow your business The Stop Doing List gets you off …