kirancodes.me
To Proof Maintenance & Beyond!

Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations

Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier

Abstract

The development of embedded Systems becomes more and more complex. Model driven engineering can help to manage this complexity by specifying real-time properties in a declarative way and automating the deployment. The UML profile MARTE is a OMG standard that allows to model real-time properties. However, there is no execution infrastructure that supports MARTE's generic component model (GCM) and the application modeling (HLAM).

Related papers