Architectures logicielles à composants reconfigurables pour les systèmes temps réel répartis embarqués (TR²E)

Reconfigurable components software architecture of distributed embedded systems

• Auteur / Autrice : Fatma Krichen
• Direction : Bernard Coulette, Brahim Hamid, Mohamed Jmaiel, Bechir Zalila
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 16/09/2013
• Etablissement(s) : Toulouse 2 en cotutelle avec Université de Sfax (Tunisie)
• Ecole(s) doctorale(s) : École doctorale Mathématiques, informatique et télécommunications (Toulouse)
• Partenaire(s) de recherche : Equipe de recherche : Institut de Recherche en Informatique de Toulouse (1995-....)
• Jury : Examinateurs / Examinatrices : Mohamed Abid
• Jury : Rapporteurs / Rapporteuses : Mohamed Mosbah, Frank Singhoff

Mots clés

Mots clés contrôlés

UML (informatique)

Systèmes embarqués (informatique)

Reconfiguration (informatique)

Mots clés libres

Reconfiguration dynamique

Systèmes embarqués

Meta-modèle

Profil UML

Propriétés non-fonctionnelles

Dynamic reconfiguration

Embedded systems

Meta-model

UML profile

Non-functional properties

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 permettant le passage automatisé et fiable des modèles vers l’implantation, sans rupture de la chaîne de production.

An embedded software system is reconfigurable when it can modify its behavior or its architecture. The reconfigurations are launched according to the evolution of context requirements and the variation of execution environment constraints. The constant growth of the complexity in embedded systems makes the reconfiguration more important and more difficult to achieve. The challenges concern as much the design model level as the runtime support level. The development of these systems according to the traditional processes is not more applicable in this context. New methods are necessary to conceive and to supply reconfigurable embedded software architectures. We propose a model driven approach that enables to specify dynamic embedded software architectures with respect to non-functional properties. We also propose a runtime support that enables to perform dynamic embedded applications generated from a high level description.