Analyse d'ordonnançabilité des applications temps-réel modélisées en UML
par Trung Hieu Phan
Thèse de doctorat en Informatique
Sous la direction de François Terrier.
Soutenue en 2004
mots clés-
Résumé
On a besoin d'une méthodologie servant à spécifier bien le système temps réels et également à valider leur ordonnançabilité. Une méthodologie, basé sur la méthode de modélisation Accord/UML, est donc proposé. Elle donne des principes de construction d'un modèle contenant suffisamment d'informations nécessaires pour l'analyse ordonnançabilité. Enfin sur la base d'un modèle complet prêt à l'analyse, nous avons développé une méthode d'analyse basée sur le mécanisme d'exécution symbolique avec le moteur d'exécution symbolique Agatha. Cette méthode assure la couverture de comportement du système en permettant d'examiner tous les plans d'exécution possibles de l'application. A partir de là, la vérification du comportement temps réel d'une application ainsi que l'optimisation de ses plans d'ordonnancement sera possible. Notre processus d'analyse d'ordonnançabilité garantie un extraction directe de modèle de tâche à partir du modèle d'application et la fiabilité du résultat d'analyse du système.
-
Résumé
We really need a methodology for specifying in details real-time systems as well as validating their scheduling analysis. Therefore, a methodology, base on the modeling method Accord/UML is proposed. It gives the principles for construction of models containing enough information that are necessary for scheduling analysis. After that, the analysis method is developed based on symbolic execution mechanisms with the symbolic execution engine Agatha. This method permit examining all possible execution plans of an application. From that, the real-time behavior verification and scheduling plan optimization become possible. Our scheduling analysis process assures a direct extraction the task model from the application model as well as the reliability of analysis result for the system.
