MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Towards a simple meta-model for complex real-time and embedded systems
MEDI'11 Proceedings of the First international conference on Model and data engineering
Time properties verification framework for UML-MARTE safety critical real-time systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
Consider the design of hard real-time distributed systems using a model-based and composable approach, in which their specification is made using a high level modelling language like UML. This demo abstract, presents a tool-aided methodology to enable the composition and transformation of such design intended models into also composable schedulability analysis models usable in the verification of the timing properties of the fully composed and loaded systems. In order to annotate the required non-functional properties and state other real-time enabling features, the UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), a recent modeling standard of the OMG, has been used. The methodology comprises several methodological guidelines, specific model transformations, and finally the generation as an output of the concrete schedulability analysis models used by the MAST set of tools, whose results are back annotated into the high level design UML models.