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 :
Rapport
[Research Report] RR-3350, INRIA. 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00073339
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:34:50
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:42:56

Fichiers

Identifiants

  • HAL Id : inria-00073339, version 1

Citation

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

Partager

Métriques

Consultations de la notice

200

Téléchargements de fichiers

753