Real-Time Software Design for Embedded Systems

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 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.