Contribution à la reconfiguration dynamique de logiciels embarqués temps-réel (application à un environnement de télécommunication par satellite)

Autrefois confinées à un rôle de traitement de signal, les charges utiles des satellites de télécommunication assurent à présent des services réseaux qui nécessitent la mise en œuvre de moyens logiciels complexes. Le caractère critique de ces fonctions logicielles et l'évolution de la nature des flux de données transférés sur une longue période d'exploitation soulèvent la problématique de la mise à jour de ces fonctions tout en assurant la continuité du service offert aux utilisateurs. Les approches de reconfiguration des applications spatiales reposent actuellement sur la technique de rustine logicielle. Or, celle-ci induit un arrêt de service conséquent. De plus, les autres approches ne gèrent la continuité de service qu'au travers du maintient de la consistance logique applicative et ignorent ainsi les contraintes temps-réel. Ce double constat nous amène à proposer une nouvelle méthodologie de reconfiguration dynamique reposant sur une validation formelle du respect des contraintes applicatives intrinsèques et extrinsèques en préalable à l'exécution de la reconfiguration. Pour cela, nous avons introduit un profil UML temps-réel dont les forces sont l'expression explicite des synchronisations et du comportement temps-réel des composants logiciels. La sémantique de ce profil est obtenue par traduction vers le langage formel RT-LOTOS supporté par un outil de validation. A l'aide de ce profil, la modélisation conjointe de l'application et d'un scénario exprimant l'ordonnancement des opérations de reconfiguration permet de valider formellement le respect des contraintes applicatives et de continuité de service. Un environnement support a été développé afin d'interpréter à bord les scénarios de reconfiguration après validation. Cette interprétation s'appuie sur des mécanismes logiciels tels que l'intégration dynamique de code. La méthodologie a été appliquée avec succès sur un logiciel charge utile de télécommunication avec commutation embarquée de paquets.TOULOUSE-ENSEEIHT (315552331) / SudocSudocFranceF