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

Developing Cyber-Physical Systems
Erscheinungsjahr 2014
ISBN: 978-0-12-416619-6
Verlag: Elsevier Inc

Buch, Englisch, 314 Seiten, Format (B × H): 189 mm x 236 mm, Gewicht: 553 g

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.

Zielgruppe

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

Autoren/Hrsg.

Selic, Bran

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
• Mathematik | Informatik EDV | Informatik Betriebssysteme Echtzeitbetriebssysteme
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Modellierung, UML, SysML

Inhaltsverzeichnis

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