Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

02/08/2014 · No Responses

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software.

Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical systems has reached a point where traditional code-centric development methods are proving less and less capable of delivering a reliable product in a timely manner. In Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, you will learn how to take advantage of modern model-based engineering methods and corresponding industry standards to overcome these limitations. These methods take full advantage of computer-supported automation allowing timely detection of design flaws to reduce engineering risk, leading thereby to better overall product quality and greater productivity.

Understand the design rationale behind the MARTE standard needed to take full advantage of its many powerful modeling capabilities
Best apply the various MARTE features for the most common use cases encountered in the design of real-time and embedded software
Learn how MARTE can be used together with the SysML language for the design of complex cyber-physical systems
Discover how MARTE can be used for different kinds of computer-supported engineering analyses to predict key system characteristics early in development
Customize MARTE for a specific domain or project

Table of Contents
Part I: Introduction
Chapter 1. An Overview of MARTE

Part II: Foundations
Chapter 2. An Introduction to the UML Profile Mechanism
Chapter 3. Specifying System Qualities (Non-Functional Properties)
Chapter 4. Modeling Time and Resources

Part III: Modeling Real-Time Software Systems with MARTE
Chapter 5. Basic Application Modeling
Chapter 6. Platform Modeling
Chapter 7. Specifying Deployment
Chapter 8. Combining MARTE and SysML
Chapter 9. Modeling Component Based Systems
Chapter 10. Combining MARTE and SysML

Part IV: System analysis using MARTE
Chapter 11. Foundations of System Analysis
Chapter 12. Performance Analysis
Chapter 13. Schedulability Analysis

Part V: Extending MARTE
Chapter 14. Extending MARTE

Appendix A. The Value Specification Language
Appendix B. The MARTE NFP Library Reference
Appendix C. MARTE tools