Software Design Methods for Concurrent and Real-Time Systems

Gomaa, Hassan

ISBN 10: 0201525771 / ISBN 13: 9780201525779

Published by Pearson Education, Limited, 1993

About this Item

Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP34621728

Bibliographic Details

Title: Software Design Methods for Concurrent and ...

Publisher: Pearson Education, Limited

Publication Date: 1993

Binding: Hardcover

Condition: Good

About this title

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.

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