Skip to Main content Skip to Navigation
Theses

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs

Abstract : Nowadays, more and more industrial systems rely on distributed real-time embedded software (DRES) applications. Implementing such applications requires answering to an important set of heterogeneous, or even conflicting, constraints. To satisfy these constraints, it is sometimes necessary to equip DRES with adaptation capabilities. Moreover, real-time applications often control systems of which failures can have dramatic economical - or worst human - consequences. In order to design such application, named critical applications, it is necessary to rely on rigorous methodologies, of which certain have already been used in industry. However, growth complexity of critical DRES applications requires proposing always new methodologies in order to answer to all of these stakes. Yet, as far as we know, existing design processes do not tackle the issue of adaptation mechanisms that require to modify deeply the software configuration. This PhD thesis work presents a new methodology that answers this problem by relying on the notion of operational mode : each possible behaviour of the system is represented by an operational mode, and a software configuration is associated to this mode. Modeling transition rules betwen these modes, it becomes possible to generate and analyze the reconfigurations of the software architecture that implement the system adaptations. The generated code respects the implementation requirements of critical systems, and relies on safe and analyzable adaptation mechanisms. To achieve this objective, we define a new architecture description language (COAL : Component Oriented Architecture Language), specific to this domain, that enables to profit from advantages of component-based software engineering (based on Lightweight CCM), and analysis, static deployment and configuration techniques that provides architecture description languages (and in particular AADL : Architecture Analysis and Design Language). This methodology also relies on a new component framework, MyCCM-HI (Make your Component Container Model - High Integrity), that exploits COAL constructs so as to (i) generate AADL models enabling static deployment and configuration of DRES applications, (ii) generate code to deploy and configure Lightweight CCM components, (iii) generate code implementing the system adaptation mechanisms, and (iv) formally analyse the behaviour of the system, including during adaptation. The adopted approach thus reduces complexity of development of adaptative and critical DRES by automating production of adaptation mechanisms while easing their analysis. These two steps, analysis and production, are then part of the automatic production tool chain pro- vided by MyCC-HI. This component framework is availabe under (L)GPL license at address http ://myccm-hi.sourceforge.net.
Complete list of metadatas

Cited literature [57 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00563947
Contributor : Etienne Borde <>
Submitted on : Monday, February 7, 2011 - 4:12:54 PM
Last modification on : Wednesday, October 14, 2020 - 1:43:24 PM
Long-term archiving on: : Sunday, May 8, 2011 - 3:43:41 AM

Identifiers

  • HAL Id : pastel-00563947, version 1

Citation

Etienne Borde. Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs. Systèmes embarqués. Télécom ParisTech, 2009. Français. ⟨pastel-00563947⟩

Share

Metrics

Record views

1080

Files downloads

2390