Skip to Main content Skip to Navigation

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 :
Domain :
Complete list of metadata

Cited literature [128 references]  Display  Hide  Download
Contributor : Ecole Télécom ParisTech Connect in order to contact the contributor
Submitted on : Tuesday, November 15, 2005 - 8:00:00 AM
Last modification on : Friday, October 23, 2020 - 4:37:48 PM
Long-term archiving on: : Thursday, September 30, 2010 - 6:54:54 PM


  • HAL Id : pastel-00001458, version 1



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



Record views


Files downloads