Analyse de l'ordonnançabilité sur des modèles UML temps-réel

Abstract

The use of current tools for schedulability verification and simulation allows the validating of systems scheduling. The study of the schedulability analysis is appropriate especially when the systems do not tolerate mistakes. Missing the aspects of schedulability analysis in the early stages of the development cycle (design) of these systems makes the implication of the model more difficult especially when the scheduling politic was unfeasible. With UML profile MARTE, it is possible to specify the especial aspects of real-time and embedded systems, thus UML models can be annotated with additional information which permit to change the starting model according to the results have been achieved by the verification tools. The aim of this work is to provide designers of Real-Time systems with a framework based on MARTE which allows them to design their systems in order to analyze their schedulability using the analysis tool MAST.