Software Design Methods for Concurrent and Real-Time Systems - Hardcover

Gomaa, Hassan

Hardcover

ISBN 10: 0201525771 ISBN 13: 9780201525779

Publisher: Addison-Wesley Professional, 1993

Synopsis

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.

About this title

From the Back Cover

In this book, Gomaa outlines the characteristics of concurrent, real-time, and distributed systems, describing the concepts most important in their design, and surveys the design methods available for them. Drawing on his experience in industry, he takes two related object-oriented methods - ADARTS (Ada-based Design Approach for Real-Time Systems) and CODARTS (Concurrent Design Approach for Real-Time Systems) - and shows in detail how they can be applied.

The author first introduces the reader to real-time and concurrency concepts, and reviews the background in software design and development needed for the balance of the book. He then describes a number of methods that can be used for real-time and concurrent system design, comparing them through application to a common problem. Methods described include Real-time Structured Analysis and Design, Jackson System Development, Naval Research Lab/Software Cost Reduction, and Object Oriented Design. For each design method treated, the author presents the concepts on which it is based, the steps used in its application, and an assessment of its effectiveness. Gomaa then focuses on ADARTS, a practical method developed by the author and proven over time, and CODARTS, which contains the author's latest ideas on software analysis and design. The final part of the book features practical case studies in which the ADARTS and CODARTS methods are demonstrated.

Highlights

1. Provides a basic understanding of concepts and issues in concurrent system design, while surveying and comparing a range of applicable design methods.
2. Elaborates two object-oriented design methods for the effective design of concurrent and real-time systems.
3. Describes a practical approach for applying real-time scheduling theory to analyze the performance of real-time designs.

0201525771B04062001

About the Author

Hassan Gomaa, Professor of Software Engineering at George Mason University in Fairfax, Virginia, is an internationally acknowledged authority on the software design of distributed and real-time systems. Hassan's career in software engineering spans both industry and academia, and he develops concurrent, distributed, and real-time applications in industry; designs software development methods and applies them to real-world problems; and teaches short courses to professional software engineers around the world. He has a B.Sc. in electrical engineering from University College, London, and a Ph.D. in computer science from Imperial College, London.

Edition details

• Publisher: Addison-Wesley Professional
• Publication date: 1993
• ISBN 10: 0201525771
• ISBN 13: 9780201525779
• Binding: Hardcover
• Language: English
• Edition number: 1
• Number of pages: 464