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

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

by Bran Selic, Sebastien Gerard
Released October 2013
Publisher(s): Morgan Kaufmann
ISBN: 9780124166561

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Book description

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

  1. Cover image
  2. Title page
  3. Table of Contents
  4. Copyright
  5. Dedication
  6. Acknowledgments
  7. Foreword
    1. Modeling is key to engineering
    2. Cyber-physical systems
    3. Is a domain-specific language better than UML?
  8. Preface
    1. About this book
    2. References
  9. Part I: Introduction to MARTE
    1. Chapter 1. An Overview of MARTE
      1. 1.1 Introduction
      2. 1.2 Why model?
      3. 1.3 A simple example
      4. 1.4 What does MARTE add to UML?
      5. 1.5 Conceptual foundations and design principles
      6. 1.6 Standard use cases for MARTE
      7. 1.7 Tool support for MARTE
      8. 1.8 Summary
      9. References
  10. Part II: Foundations
    1. Chapter 2. An Introduction to UML Profiles
      1. 2.1 Introduction
      2. 2.2 The two kinds of profiles
      3. 2.3 How profiles work
      4. 2.4 Conventions related to the use of profiles
      5. 2.5 Model libraries for profiles
      6. 2.6 Specializing profiles
      7. References
    2. Chapter 3. MARTE Foundations: Specifying Non-functional Properties
      1. 3.1 Introduction
      2. 3.2 The modeling of physical data types in MARTE
      3. 3.3 How to use the MARTE standard physical types
      4. 3.4 Adding new physical data types [Advanced]
      5. 3.5 Specifying probabilistic values for physical data types [Advanced]
      6. 3.6 Specifying required and offered values
      7. 3.7 Summary
      8. References
    3. Chapter 4. MARTE Foundations: Modeling Time and Resources
      1. 4.1 Introduction
      2. 4.2 Modeling with time and clocks
      3. 4.3 Modeling resources
      4. 4.4 Summary
      5. References
  11. Part III: Modeling Real-Time Systems with MARTE
    1. Chapter 5. Modeling Software Applications
      1. 5.1 Introduction
      2. 5.2 Distinguishing characteristics of “real-time” applications
      3. 5.3 Application modeling foundations
      4. 5.4 Dealing with concurrency
      5. 5.5 Dealing with timeliness
      6. 5.6 Dealing with asynchrony and hardware interfacing
      7. 5.7 Dealing with resource limitations (Specifying platform requirements)
      8. 5.8 Summary
      9. References
    2. Chapter 6. Modeling Platforms
      1. 6.1 Introduction
      2. 6.2 What is a platform?
      3. 6.3 Why model platforms?
      4. 6.4 MARTE approach to modeling platforms
      5. 6.5 Platform modeling guidelines
      6. 6.6 Summary
      7. References
    3. Chapter 7. Modeling Deployment
      1. 7.1 Introduction
      2. 7.2 The two primary use cases for deployment modeling
      3. 7.3 The assign and allocate stereotypes
      4. 7.4 Specifying required and provided QoS values via deployment
      5. 7.5 Granularity and meaning of deployment specifications
      6. 7.6 Capturing multiple deployment variants
      7. 7.7 Limitations of the UML approach to modeling deployment [Advanced]
      8. 7.8 Summary
      9. References
    4. Chapter 8. Modeling Cyber-Physical Systems: Combining MARTE with SysML
      1. 8.1 Introduction
      2. 8.2 The SysML profile
      3. 8.3 Why use SysML and MARTE together?
      4. 8.4 Methods of combining SysML and MARTE
      5. 8.5 Common scenarios of joint use of SysML and MARTE
      6. 8.6 Summary
      7. References
  12. Part IV: System Analysis with MARTE
    1. Chapter 9. Foundations for Model-Based Analysis
      1. 9.1 Introduction
      2. 9.2 The demand–supply analysis pattern
      3. 9.3 Model-based design analysis
      4. 9.4 GQAM concepts
      5. 9.5 Summary
      6. References
    2. Chapter 10. Model-Based Schedulability Analysis
      1. 10.1 Introduction
      2. 10.2 Basic SAM concepts
      3. 10.3 An example of schedulability analysis
      4. 10.4 Summary
      5. References
    3. Chapter 11. Model-Based Performance Analysis
      1. 11.1 Introduction
      2. 11.2 Concepts of performance analysis
      3. 11.3 MARTE performance analysis example
      4. 11.4 Key stereotypes for performance analysis
      5. 11.5 Construction of a simple Pmodel, and bottleneck analysis
      6. 11.6 More complex annotations
      7. 11.7 Modeling with multiple scenarios
      8. 11.8 The typical performance analysis process
      9. 11.9 Summary
      10. References
  13. Part V: Extending MARTE
    1. Chapter 12. Extending MARTE [Advanced]
      1. 12.1 Introduction
      2. 12.2 How to add missing modeling capabilities to MARTE
      3. 12.3 Extending the MARTE domain-specific language—a case study
      4. 12.4 Who should define language extensions?
      5. 12.5 Summary
      6. References
  14. Appendices
    1. Appendix A. The Value Specification Language (VSL)
      1. A.1 Why VSL?
      2. A.2 Where to apply VSL
      3. A.3 Quick (abbreviated) VSL user guide
      4. A.4 Alternatives to VSL
      5. A.5 Summary
      6. References
    2. Appendix B. MARTE Library Types—Quick Reference
      1. B.1 Introduction
      2. B.2 The MARTE library primitive types
      3. B.3 The MARTE library measurement units
      4. B.4 The MARTE library basic NFP types
      5. B.5 The MARTE library time types
      6. B.6 Other MARTE library types
      7. References
    3. Appendix C. MARTE Stereotypes—Quick Reference
    4. Reference
  15. Index

Product information

  • Title: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE
  • Author(s): Bran Selic, Sebastien Gerard
  • Release date: October 2013
  • Publisher(s): Morgan Kaufmann
  • ISBN: 9780124166561