Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems (The MK/OM
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
Why Read This Book
You will learn how to apply the MARTE UML profile to model, analyze, and architect real-time and embedded cyber-physical systems in a practical, tool-oriented way. The book is authored by the lead editors of the MARTE standard, so you get authoritative guidance, numerous worked examples, and patterns that bridge high-level models to schedulability, timing, and resource analysis.
Who Will Benefit
Practicing embedded/real-time engineers, system architects, and MDE practitioners who want to use UML/MARTE to design, analyze, and verify timing, resource, and deployment concerns in cyber-physical systems.
Level: Advanced — Prerequisites: Familiarity with UML (class, sequence, and component diagrams), basic real-time systems concepts (scheduling, latency, and concurrency), and experience with embedded/firmware development or systems architecture.
Key Takeaways
- Apply MARTE stereotypes and modeling patterns to represent timing, concurrency, and resource constraints in UML models
- Create analyzable models that support schedulability, worst-case execution time (WCET), and latency analysis
- Map functional models onto hardware/software platforms using allocation and deployment constructs
- Use model transformations and toolchains to move from high-level models to verification and implementation artifacts
- Interpret and integrate MARTE-based models into model-driven engineering workflows for cyber-physical systems
Topics Covered
- Introduction: Motivations for Model-Based Development of Real-Time Embedded Systems
- Overview of UML for Real-Time and Embedded Systems
- The MARTE Profile: Concepts, Architecture, and Stereotypes
- Modeling Time, Clocks, and Temporal Constraints with MARTE
- Modeling Concurrency, Resources, and Execution Platforms
- Non-functional Properties: Performance, Timing, and Resource Usage
- Allocation, Deployment, and Hardware/Software Mapping
- Analysis Techniques: Schedulability, WCET, and Simulation
- Model Transformations, Code Generation, and Tool Integration
- Case Studies: Applying MARTE to Real Cyber-Physical System Examples
- Best Practices, Patterns, and Anti-Patterns for MARTE Modeling
- Tool Support and Practical Guidance for Industrial Adoption
- Future Directions: Scaling Models and Integrating with IoT/Embedded Linux
Languages, Platforms & Tools
How It Compares
Compared with Selic's earlier Real-Time UML work, this book focuses specifically on the MARTE standard and its analysis capabilities; compared to general MDE texts like Stahl & Völter's Model-Driven Software Development, it is more specialized on timing, schedulability, and CPS concerns.
Related Books
