Abstract
The increasing complexity of Real-Time Embedded Systems (RTES) should be met with equally sophisticated design methods. The recent Unified Modeling Language (UML) profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) is well adapted for systems modeling. However along with the variety of schedulability analysis tools, bridging the gap between design models and meta-models of the documented scheduling analysis tools becomes an important issue.
In this paper, we discuss a Model To Text (M2T) transformation for enabling the derivation of schedulability analysis models from UML/MARTE models. The generated model for schedulability analysis represents an input for an analysis tool. As a proof of concepts, we present the implemented code and experimental results.