Modeling and Analysis of Real Time and Embedded systems

Description

• a core framework defining the basic concepts required to support real-time and embedded domain.
• a first specialization of this core package to support pure modeling of applications.
• a second specialization of this core package to support quantitative analysis of UML2 models, specially schedulability and performance analysis.
• a last part gathering all the MARTE annexes such as the one defining a textual language for value specification within UML2 models, and the one conflating the standard MARTE model libraries dedicated to RT/E system modeling.

Core

• CoreElements;
• Non-Functional Properties: This chapter specifies some notations to define various kinds of values related to physical quantities: time, mass, energy;
• Time: This chapter defines a rich model of time that supports both the definition of physical and logical time properties;. It comes with a companion language called CCSL defined as an annex.
• Generic Resource Modeling: This chapter offers extensions required to model a general platform for executing real-time embedded applications;
• Allocation Modeling: Finally, this chapter defines a notion of allocation to allocate application elements onto the execution platforms. A specific attention has been given to maintain compatibility with SysML allocation mechanism.