Designing Fault-Tolerant Component Based Applications with a Model Driven Approach

Authors:
Brahim Hamid;Ansgar Radermacher;Agnes Lanusse;Christophe Jouvray;Sébastien Gérard;François Terrier
Affiliations:
CEA, LIST Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués, Gif sur Yvette, France F-91191;CEA, LIST Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués, Gif sur Yvette, France F-91191;CEA, LIST Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués, Gif sur Yvette, France F-91191;CEA, LIST Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués, Gif sur Yvette, France F-91191;CEA, LIST Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués, Gif sur Yvette, France F-91191;CEA, LIST Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués, Gif sur Yvette, France F-91191
Venue:
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Year:
2008

Citing 6
Cited 6

Unreliable failure detectors for reliable distributed systems

Journal of the ACM (JACM)
An Adaptive Algorithm for Tolerating Value Faults and Crash Failures

IEEE Transactions on Parallel and Distributed Systems
The ensemble system

The ensemble system
Guest Editor's Introduction: Model-Driven Engineering

Computer
An Infrastructure for Adaptive Fault Tolerance on FT-CORBA

ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Architecting and implementing versatile dependability

Architecting Dependable Systems III

Towards the integration of advanced engineering paradigms into RCES: raising the issues for the safety-critical model-driven product-line case

Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile

Software and Systems Modeling (SoSyM)
Automated addition of fault recovery to cyber-physical component-based models

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Enforcing S&D pattern design in RCES with modeling and formal approaches

Proceedings of the 14th international conference on Model driven engineering languages and systems
UsiComp: an extensible model-driven composer

Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Flexibility in MDE for scaling up from simple applications to real case studies: illustration on a Nuclear Power Plant

Proceedings of the 25ième conférence francophone on l'Interaction Homme-Machine

Quantified Score

Hi-index	0.00

Visualization

Abstract

The requirement for higher reliability and availability of systems is continuously increasing even in domains not traditionally strongly involved in such issues. Solutions are expected to be efficient, flexible, reusable on rapidly evolving hardware and of course at low cost. Model driven approaches can be very helpful for this purpose. In this paper, we propose a study associating model-driven technology and component-based development. This work is illustrated by the realization of a use case from aerospace industry that has fault-tolerance requirements: a launch vehicle.UML based modeling is used to capture application structure and related non-functional requirements thanks to the profiles CCM (CORBA Component Model) and QoS&FT (Quality of Service and Fault Tolerance). The application model is enriched with infrastructure component dedicated to fault-tolerance. From this model we generate CCM descriptor files which in turns are used to build bootcode (static deployment) which instantiates, configures and connects components. Within this process, component replication and FT properties are declaratively specified at model level and are transparent for the component implementation.