Fault Tolerant Software Architectures

Titos Saridakis 1 Valérie Issarny 1
1 SOLIDOR - Design of Distributed Operating Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : 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.
Type de document :
[Research Report] RR-3350, INRIA. 1998
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:34:50
Dernière modification le : vendredi 16 novembre 2018 - 01:23:43
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:42:56



  • HAL Id : inria-00073339, version 1


Titos Saridakis, Valérie Issarny. Fault Tolerant Software Architectures. [Research Report] RR-3350, INRIA. 1998. 〈inria-00073339〉



Consultations de la notice


Téléchargements de fichiers