Fault Tolerant Software Architectures - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1998

Fault Tolerant Software Architectures


Coping explicitly with failures during the conception and the design of software development complicates significantly the designer's job. The design complexity leads to software descriptions difficult to understand, which have to undergo many simplifications until their first functioning version. To support the systematic development of complex, fault tolerant software, this paper proposes a layered framework for the analysis of the fault tolerance software properties, where the top-most layer provides the means for specifying the abstract failure semantics expressed in the initial conception stage, and each successive layer is a refinement towards an elaborated description of a fault tolerant software architecture. We present the logical vehicle that permits reasoning on the equivalence or the compatibility of the various expressions of fault tolerance properties at various abstraction levels. In addition, we propose a mapping schema, which permits the correct transformation of abstract entities into concrete ones, during a refinement process.
Fichier principal
Vignette du fichier
RR-3350.pdf (248.86 Ko) Télécharger le fichier

Dates and versions

inria-00073339 , version 1 (24-05-2006)


  • HAL Id : inria-00073339 , version 1


Titos Saridakis, Valérie Issarny. Fault Tolerant Software Architectures. [Research Report] RR-3350, INRIA. 1998. ⟨inria-00073339⟩
126 View
840 Download


Gmail Facebook X LinkedIn More