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

à Evry-Val d'Essonne .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (112 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 106-112

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 004.33 PHA ana
  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.