Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Evénements

Soutenance de thèse de Fatma Krichen à la maison de la recherche (Université Toulouse Le Mirail) - 16 septembre 2013 - 10h30

Composition du jury


- Bernard Coulette, Professeur, Université de Toulouse 2 / Le Mirail, Directeur de thèse
- Mohamed Jmaiel, Professeur, Université de Sfax, Directeur de thèse
- Brahim Hamid, Maître de Conférences, Université Toulouse 2 / Le Mirail, Co-directeur de thèse
- Bechir Zalila, Maître assistant, Université de Sfax, Co-directeur de thèse
- Mohamed Mosbah, professeur, Université de Bordeaux 1, Rapporteur
- Frank Singhoff, professeur, Université de Bretagne Occidentale, Rapporteur
- Mohamed Abid, professeur, Université de Sfax, Examinateur

Mots-clés

Reconfiguration dynamique, systèmes TR²E, propriétés non-fonctionnelles, IDM, intergiciel.

Résumé

Un système logiciel embarqué est dit reconfigurable, s’il peut modifier son comportement ou son architecture selon l’évolution des exigences de son contexte d’utilisation et la variation des contraintes de son environnement d’exécution. La croissance constante de la complexité afférente et l’autonomie indispensable à la gestion des systèmes logiciels embarqués rendent la reconfiguration de plus en plus importante. Les défis concernent autant le niveau modèle de conception que le niveau environnement et support d’exécution. Les contributions de ce travail portent sur la reconfiguration dynamique guidée par les modèles dans le processus de développement des systèmes logiciels embarqués. Elles ciblent à la fois le niveau modélisation et le niveau plate-forme d’exécution. Par ailleurs, nous proposons une approche basée sur l’ingénierie dirigée par les modèles nous permettant le passage automatisé et fiable des modèles vers l’implantati on sans rupture de la chaîne de production.