Architecture et Services des Intergiciels Temps Réel

Abstract : 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 the construction of new middleware functions to support the RTOCBRA and DDS specifications. We also propose a guide to support other classes of middleware. Finally, we analyze the performance, the determinism and the memory footprint of significant configurations of our architecture.
Document type :
Theses
Domain :
Liste complète des métadonnées

Cited literature [128 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00001458
Contributor : Ecole Télécom Paristech <>
Submitted on : Tuesday, November 15, 2005 - 8:00:00 AM
Last modification on : Wednesday, February 20, 2019 - 2:40:56 PM
Document(s) archivé(s) le : Thursday, September 30, 2010 - 6:54:54 PM

Identifiers

  • HAL Id : pastel-00001458, version 1

Citation

Jerome Hugues. Architecture et Services des Intergiciels Temps Réel. domain_other. Télécom ParisTech, 2005. English. ⟨pastel-00001458⟩

Share

Metrics

Record views

349

Files downloads

1021