Software Design Methods for Concurrent and Real-Time Systems

by Hassan Gomaa

This book describes the concepts and methods used in the software design of real-time systems. The author outlines the characteristics of real-time systems, describes the role of software design in real-time system development, surveys and compares some software design methods for real-time systems, and outlines techniques for the verification and validation of real-time system designs.

464 pages, Hardcover

First published August 10, 1993