Thèse soutenue

Contribution à la considération explicite des plates-formes d'exécution logicielles lors d'un processus de déploiement d'application
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Matthias Brun
Direction : Yvon TrinquetJérôme Delatour
Type : Thèse de doctorat
Discipline(s) : Automatique et informatique appliquée
Date : Soutenance en 2010
Etablissement(s) : Nantes
Partenaire(s) de recherche : Laboratoire : Institut de recherche en communications et cybernétique (Nantes)
autre partenaire : Université de Nantes. Faculté des sciences et des techniques - Centrale Nantes (1991-....)

Résumé

FR  |  
EN

Les préoccupations inhérentes au domaine de l’embarqué et du temps réel, telle que la maîtrise du temps et des ressources impliquées, dépendent étroitement du support d’exécution. En outre, les besoins de réutilisation des applications sur différents supports d’exécution orientent le développement logiciel vers des conceptions indépendantes de tout support d’exécution. Pour faciliter l’adaptation des applications à ces supports, l’ingénierie dirigée par les modèles (IDM) propose alors une approche qui vise à spécialiser successivement le modèle d’une application pour des technologies précises (identifiées sous le terme de plate-forme), via des processus de transformations de modèles. Toutefois, peu de travaux ont été menés pour préciser comment considérer les plates-formes durant ces processus. Dans un premier temps, les travaux de cette thèse comparent donc différents processus de transformation d’un modèle d’application indépendant du support d’exécution en un modèle dépendant de ce support. Ce comparatif s’articule autour de la considération implicite ou explicite des plates-formes d’exécution de notre domaine d’intérêt (les systèmes d’exploitation temps réel embarqués). Dans un second temps, cette thèse explore une voie dans laquelle la plate-forme d’exécution est explicitement modélisée. Pour cela, un langage dédié à la modélisation des systèmes d’exploitation temps réel embarqués est proposé. Puis, un processus de déploiement d’applications basé sur ce langage est présenté et évalué. L’originalité de ce processus réside dans son articulation autour de règles de transformations génériques ou générées, et d’un langage dédié au déploiement d’applications