This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hierarchical real-time control and other real-time software architectures, performance analysis of real-time designs using real-time scheduling, and timing analysis on single and multiple processor systems. Complete case studies illustrating design issues include a light rail control system, a microwave oven control system, and an automated highway toll system. Organized as an introduction followed by several self-contained chapters, the book is perfect for experienced software engineers wanting a quick reference at each stage of the analysis, design, and development of large-scale real-time embedded systems, as well as for advanced undergraduate or graduate courses in software engineering, computer engineering, and software design.

Part I. Overview:

1. Introduction

2. Overview of UML, SysML, and MARTE

3. Software design and architecture concepts

Part II. Software Design Method:

4. Overview of software design method for real-time embedded systems

5. Structural modeling for real-time embedded systems with SysML and UML

6. Use case modeling for real-time embedded systems

7. State machines for real-time embedded systems

8. Object and class structuring for real-time embedded software

9. Dynamic interaction modeling for real-time embedded software

10. Software architectures for real-time embedded systems

11. Software architectural patterns for real-time embedded systems

12. Component-based software architectures for real-time embedded systems

13. Concurrent real-time task design

14. Detailed real-time software design

15. Designing real-time software product line architectures

Part III. Architectural Analysis:

16. System and software quality attributes

17. Performance analysis of concurrent real-time software designs

18. Applying performance analysis to concurrent real-time software designs

Part IV. Real-Time Software Design Case Studies:

19. Microwave oven control system case study

20. Railroad crossing control system case study

21. Light rail control system case study

22. Pump control system case study

23. Highway toll control system case study.

Hassan Gomaa, George Mason University, VirginiaPA\Hassan Gomaa is Professor and former Chair of the Department of Computer Science at George Mason University. Gomaa has more than thirty years' experience in software engineering, both in industry and academia. He has taught short in-depth industrial courses on real-time software design in North America, Europe, Japan, and South Korea.

中科院文献情报中心