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

• Main Author: Mzid, Rania
• Other Authors: Brest
• Language: fr
• Published: 2014
• Subjects: 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)
• Online Access: http://www.theses.fr/2014BRES0065/document

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.