Graph theory: Application to system recovery
- 1 September 2012
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The aim of the work presented in this paper is to introduce a method for assisting the recovery of a given system in case of failure detection. The proposed method rely on a graph-based algorithm that allows the identification of the alternative system configuration. In this way, the method guarantees the system under study functionalities/missions even in case of fault. The method is detailed in the sequel. Furthermore, in order to provide user with automated means which are at the same time simple, intuitive and rigorous, the whole of the developed mechanisms have been implemented in a prototype tool with an intuitive graphical interface that offers interesting facilities in terms of system recovery. The method is illustrated using an intelligent and autonomous vehicle case study.Keywords
This publication has 5 references indexed in Scilit:
- Online supervision of intelligent vehicle using functional and behavioral modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Global planning on the Mars Exploration Rovers: Software integration and surface testingJournal of Field Robotics, 2009
- From control to supervisionAnnual Reviews in Control, 2001
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993
- Software safety: why, what, and howACM Computing Surveys, 1986