Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, 1st Edition

  • Published By:
  • ISBN-10: 0124166563
  • ISBN-13: 9780124166561
  • DDC: 006.2
  • Grade Level Range: College Freshman - College Senior
  • 314 Pages | eBook
  • Original Copyright 2014 | Published/Released May 2014
  • This publication's content originally published in print form: 2014

  • Price:  Sign in for price



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.

Table of Contents

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
Dedication Page.
1: Introduction to MARTE.
2: An Overview of MARTE.
3: Foundations.
4: An Introduction to UML Profiles.
5: MARTE Foundations: Specifying Non-Functional Properties.
6: MARTE Foundations: Modeling Time and Resources.
7: Modeling Real-Time Systems with MARTE.
8: Modeling Software Applications.
9: Modeling Platforms.
10: Modeling Deployment.
11: Modeling Cyber-Physical Systems: Combining MARTE with SysML.
12: System Analysis with MARTE.
13: Foundations for Model-Based Analysis.
14: Model-Based Schedulability Analysis.
15: Model-Based Performance Analysis.
16: Extending MARTE.
17: Extending MARTE [Advanced].
18: Appendices.
19: The Value Specification Language (VSL).
20: MARTE Library Types—Quick Reference.
21: MARTE Stereotypes—Quick Reference.