A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems

Autor:	Sri Kanajan, Gabriel Eirea, C. Pinello, Alberto Sangiovanni-Vincentelli, Mark L. McKelvin
Rok vydání:	2005
Předmět:	Fault tree analysis Computer science Software fault tolerance Distributed computing Fault coverage Control reconfiguration Dependability Fault tolerance Fault model Formal verification
Zdroj:	EMSOFT Scopus-Elsevier
DOI:	10.1145/1086228.1086272
Popis:	Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of both performance versus cost aspects and fault coverage of fault tolerant solutions. This further complicates the difficult task of deploying the embedded software that implements the control algorithms on a possibly distributed execution platform (for instance in automotive applications). In this paper, we present a novel technique for constructing a fault tree that models how component faults may lead to system failure. The fault tree enables us to use existing commercial analysis tools to assess a number of dependability metrics of the system. Our approach is centered on a model of computation, Fault Tolerant Data Flow (FTDF), that enables the integration of formal verification techniques. This new analysis capability is added to an existing design framework, also based on FTDF, that enables a synthesis-based, correct-by-construction, design methodology for the deployment of real-time feedback control systems in safety critical applications.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::642f95cb2243e591d62332cffeab4670 https://doi.org/10.1145/1086228.1086272 Zobrazit plný text záznamu