Title :
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design
Author :
Ziani, Adel ; Hamid, Brahim ; Bruel, Jean-Michel
Author_Institution :
IRIT, Univ. of Toulouse, Toulouse, France
Abstract :
This paper proposes a model based framework for the design of dependable embedded systems. First we define a meta-model to encompass the different concepts to capture fault tolerance. This will be used to derive a UML profile for the specification and the management of the redundancy. Based on this profile, we propose a model library as reusable and composable UML components to construct a fault tolerant infrastructure. As proof of concept, a GPS use case with fault tolerance requirements is evaluated using the proposed framework.
Keywords :
Global Positioning System; Unified Modeling Language; embedded systems; formal specification; software fault tolerance; software libraries; software reusability; GPS use case; UML component composability; UML component reusability; UML profile; dependable embedded systems design; fault tolerance requirements; meta-model; model library; model-driven engineering framework; redundancy management; redundancy specification; Connectors; Embedded systems; Fault tolerant systems; Global Positioning System; Redundancy; Unified modeling language; Embedded Systems; Fault tolerance; Meta-model; Model Driven Engineering; UML Pro?le;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2012 38th EUROMICRO Conference on
Conference_Location :
Cesme, Izmir
Print_ISBN :
978-1-4673-2451-9
DOI :
10.1109/SEAA.2012.47
