Architecture et services des intergiciels temps réel
Auteur / Autrice : | Jérôme Hugues |
Direction : | Laurent Pautet, Fabrice Kordon |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique et réseaux |
Date : | Soutenance en 2005 |
Etablissement(s) : | Paris, ENST |
Mots clés
Mots clés libres
Résumé
L'utilisation d'intergiciels pour la réalisation de systèmes temps réel répartis embarqués (TRE) nécessite la preuve des propriétés debon fonctionnement de l'intergiciel et une mesure de son impact sur la sémantique du système. Parallèlement, l'intergiciel doit être adaptable et répondre à de nombreuses contraintes (plate-forme d'exécution, ressources, interfaces de communication,. . . ). Cette thèse propose une architecture adaptable d'intergiciel qui permet 1) l'adaptabilité de ses fonctions élémentaires auxbesoins de l'utilisateur, 2) la vérification formelle des propriétés de l'intergiciel. Cette architecture étend celle de l'intergiciel schizophrène. Elle fournit une séparation claire entre la boucle de contrôle et lesservices fonctionnels de l'intergiciel, facilitant le support de plusieurs politiques de concurrence et de gestions des ressources. Nous avons validé notre proposition en vérifiant formellement les propriétés causales de deux configurations de l'intergiciel, enétendant les mécanismes de l'intergiciel pour proposer une implantation complète des spécifications RT-CORBA et DDS, ainsiqu'un guide pour le support d'autres classes d'intergiciels. Enfin, nous proposons une analyse complète des performances, du déterminisme et de l'empreinte mémoire de configurationssignificatives de l'intergiciel