Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel

par Rania Mzid

Thèse de doctorat en Informatique

Sous la direction de Jean-Philippe Babau et de Mohamed Abid.

Le président du jury était Mohamed Jmaiel.

Le jury était composé de Jean-Philippe Babau, Mohamed Abid, Mohamed Jmaiel, Pierre Boulet, Mohamed Khalgui, Jérôme Delatour, Chokri Mraidha.

Les rapporteurs étaient Pierre Boulet, Mohamed Khalgui.


  • Résumé

    Les travaux présentés dans cette thèse s’inscrivent dans le cadre du développement logiciel des systèmes temps réel embarqués. Nous définissons dans ce travail une méthodologie nommée DRIM. Cette méthodologie permet de guider le déploiement des applications temps réel sur différents RTOS en suivant la ligne de l’IDM et en assurant le respect des contraintes de temps après le déploiement. L’automatisation de la méthodologie DRIM montre sa capacité à détecter les descriptions non-implémentables de l’application, réalisées au niveau conception, pour un RTOS donné, ce qui présente l’avantage de réduire le temps de mise sur le marché d’une part et de guider l’utilisateur pour un choix approprié de l’RTOS cible d’autre part.

  • Titre traduit

    Reverse-engineering of platforms for the deployment of real-time applications


  • Résumé

    The main purpose of this Phd is to contribute to the software development of real-time embedded systems. We define in this work a methodology named DRIM: Design Refinement toward Implementation Methodology. This methodology aims to guide the deployment of a real-time application on to different RTOS while respecting MDE principals and ensuing that the timing properties are still met after deployment. The automation of DRIM shows its ability to detect non-implementable design models describing the real-time application, on aparticular RTOS, which permits to reduce the time-to-market on the one hand and guide the user to the selection of the appropriate RTOS from the other hand.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bretagne occidentale (Brest). Service commun de documentation Bibliothèque électronique.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.