Architecture et services des intergiciels temps réel

par Jérôme Hugues

Thèse de doctorat en Informatique et réseaux

Sous la direction de Laurent Pautet et de Fabrice Kordon.

Soutenue en 2005

à Paris, ENST .


  • 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

  • Titre traduit

    Architecture and services for real-time middleware


  • Résumé

    Middleware for Distributed Real-time Embedded systems (DRE) must come with a complete analysis of its properties, the proof of its correct execution and an evaluation of its impact on the application's semantics. Besides, middleware must be versatile enough to support multiple constraints and requirements (execution platform, resources, communication,. . . ). This thesis defines a middleware architecture supporting 1) adaptability of its functions to meet user's requirements, 2) formal verification of the middleware configuration to deploy. This architecture extends the schizophrenic middleware architecture. It enforces a strict decoupling between control and functional elements, and helps the deployment of precise resource management and concurrency policies. We validated our proposal through the formal verification of the causal properties of two configurations of the middleware and theconstruction of new middleware functions to support the RT-CORBA and DDS specifications. We also propose a guide to support otherclasses of middleware. Finally, we analyze the performance, the determinism and the memory footprint of significant configurations of our architecture

Autres versions

Cette thèse a donné lieu à une publication en 2005 par École nationale supérieure des télécommunications à Paris

Architecture et services des intergiciels temps réel


Cette thèse a donné lieu à une publication en 2005 par [CCSD] [diffusion/distribution] à Villeurbanne

Architecture et services des intergiciels temps réel

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (174 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 146 réf.

Où se trouve cette thèse\u00a0?