From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool

摘要

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.