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

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

Developing Cyber-Physical Systems

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.

Audience

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

Paperback, 314 Pages

Published: October 2013

Imprint: Morgan Kaufmann

ISBN: 978-0-12-416619-6

Contents

  • Preface

    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

    APPENDICES

    A. The Value Specification Language

    B. The MARTE NFP Library Reference

    C. MARTE tools

Advertisement

advert image