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

Developing Cyber-Physical Systems


  • Bran Selic, President of Malina Software Corp., a Canadian consultancy focusing on the application of model‐based engineering methods and tools in industry.
  • Sébastien Gérard

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.

View full description


Real-time and embedded software developers, systems engineers; students in real-time and embedded software development courses.


Book information

  • Published: October 2013
  • ISBN: 978-0-12-416619-6

Table of Contents


I: Introduction

1: An Overview of MARTE

II: Foundations

2: An Introduction to the UML Profile Mechanism

3: Specifying System Qualities (Non-Functional Properties)

4: Modeling Time and Resources

III: Modeling Real-Time Software Systems with MARTE

5: Basic Application Modeling

6: Platform Modeling

7: Specifying Deployment

8: Combining MARTE and SysML

9: Modeling Component Based Systems

10: Combining MARTE and SysML

IV: System analysis using MARTE

11: Foundations of System Analysis

12: Performance Analysis

13: Schedulability Analysis

V: Extending MARTE

14: Extending MARTE


A. The Value Specification Language

B. The MARTE NFP Library Reference

C. MARTE tools