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

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

• Auteur / Autrice : Rania Mzid
• Direction : Jean-Philippe Babau, Mohamed Abid
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 12/05/2014
• Etablissement(s) : Brest en cotutelle avec École nationale d'ingénieurs de Sfax (Tunisie)
• Ecole(s) doctorale(s) : École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère)
• Partenaire(s) de recherche : Laboratoire : Laboratoire en sciences et techniques de l'information, de la communication et de la connaissance (Brest ; 2012-....)
• Jury : Président / Présidente : Mohamed Jmaiel
• Jury : Examinateurs / Examinatrices : Jean-Philippe Babau, Mohamed Abid, Mohamed Jmaiel, Pierre Boulet, Mohamed Khalgui, Jérôme Delatour, Chokri Mraidha
• Jury : Rapporteurs / Rapporteuses : Pierre Boulet, Mohamed Khalgui
• DOI : 10.70675/6fafd6d3z8dacz4b0cz95e6z44a79fe41af7

Mots clés

Mots clés contrôlés

Systèmes embarqués (informatique)

Temps réel (informatique)

Mots clés libres

Systèmes temps réel embarqués

Ingénierie dirigée par les modèles (IDM)

Vérification temps réel

Systèmes d’exploitation temps réel (RTOS)

Real-time embedded systems

Model driven development (MDE)

Timing verification

Real-time operating systems (RTOS)

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.

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.