Real-Time Software Design for Embedded Systems

This tutorial reference goes from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE.

Hassan Gomaa (Author)

9781107041097, Cambridge University Press

Hardback, published 26 May 2016

602 pages, 373 b/w illus. 15 tables
26 x 18.3 x 3.1 cm, 1.42 kg

'This textbook contains material that is 'battle-tested' in graduate courses, and includes in-depth case studies that allow readers to see concepts applied. The book describes a hands-on design method, coupled to an industry standard notation and applied to a wide array of software design challenges.' Kevin Mills, National Institute of Standards and Technology, Maryland

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.

Subject Areas: Software Engineering [UMZ], Computer programming / software development [UM], Computing & information technology [U]