- Print ISBN 9780124166196
- Electronic ISBN 9780124166561
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.
Real-time and embedded software developers, systems engineers; students in real-time and embedded software development courses.
Modeling is key to engineering
Is a domain-specific language better than UML?
About this book
Part I: Introduction to MARTE
Chapter 1. An Overview of MARTE
1.2 Why model?
1.3 A simple example
1.4 What does MARTE add to UML?
1.5 Conceptual foundations and design principles
1.6 Standard use cases for MARTE
1.7 Tool support for MARTE
Part II: Foundations
Chapter 2. An Introduction to UML Profiles
2.2 The two kinds of profiles
2.3 How profiles work
2.4 Conventions related to the use of profiles
2.5 Model libraries for profiles
2.6 Specializing profiles
Chapter 3. MARTE Foundations: Specifying Non-functional Properties
3.2 The modeling of physical data types in MARTE
3.3 How to use the MARTE standard physical types
3.4 Adding new physical data types [Advanced]
3.5 Specifying probabilistic values for physical data types [Advanced]
3.6 Specifying required and offered values
Chapter 4. MARTE Foundations: Modeling Time and Resources
4.2 Modeling with time and clocks
4.3 Modeling resources
Part III: Modeling Real-Time Systems with MARTE
Chapter 5. Modeling Software Applications
5.2 Distinguishing characteristics of “real-time” applications
5.3 Application modeling foundations
5.4 Dealing with concurrency
5.5 Dealing with timeliness
5.6 Dealing with asynchrony and hardware interfacing
5.7 Dealing with resource limit