lecturers: Sébastien Gérard and Huascar Espinoza

Development of increasingly more sophisticated dependable real-time and embedded systems requires new paradigms since contemporary code-centric approaches are reaching their limits. Experience has shown that model-based engineering, using domain-specific modeling languages, is an approach that can overcome many of these limitations. This talk identifies the requirements for a modeling language to be used in the real-time and embedded systems domain and then describes how the MARTE profile of the industry-standard UML language, meets these requirements. This standard domain-specific modeling language enables modeling of phenomena such as time, concurrency, software and hardware platforms, as well as their quantitative characteristics. Additionally, we provide a description of some typical scenarios that illustrate the value of MARTE in specifying real-time and embedded systems.

One key challenge of MARTE is to offer the tool support for making user models productive within a consistent development process. This presentation shows some current results to integrate a set of tools enabling practitioners for incremental timing analysis, code generation, and prototype execution. In this approach, MARTE-annotated models, supporting a particular model of computation, are executed and simulated in a real-time framework, and iteratively tuned (e.g., task allocation) by schedulability analysis tool results.