Software Architecture and Dependability

Abstract : Dependable systems are characterized by a number of attributes including: reliability, availability, safety and security. For some attributes (namely for reliability, availability, safety), there exist probability- based theoretic foundations, enabling the application of dependability analysis techniques. The goal of dependability analysis is to forecast the values of dependability attributes, based on certain properties (e.g. failure rate, MTBF, etc.) that characterize the system's constituent elements. Nowadays, architects, designers and developers build systems based on an architecture-driven approach. They specify the system's software architecture using Architecture Description Languages or other standard modeling notations like UML. Given the previous, we examine what we need to specify at the architectural level to enable the automated generation of models for dependability analysis. In this paper, we further present a prototype implementation of the proposed approach, which relies on UML specifications of dependable systems' software architectures. Moreover, we exemplify our approach using a case study system.
Type de document :
Communication dans un congrès
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures : SFM 2003, 2003, Bertinoro, Italy. pp.259-286, 2003
Liste complète des métadonnées

Littérature citée [41 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00414798
Contributeur : Valerie Issarny <>
Soumis le : jeudi 10 septembre 2009 - 09:46:15
Dernière modification le : vendredi 25 mai 2018 - 12:02:02
Document(s) archivé(s) le : mardi 15 juin 2010 - 23:25:01

Fichier

IssarnyZ03.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00414798, version 1

Collections

Citation

Valérie Issarny, Apostolos Zarras. Software Architecture and Dependability. Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures : SFM 2003, 2003, Bertinoro, Italy. pp.259-286, 2003. 〈inria-00414798〉

Partager

Métriques

Consultations de la notice

198

Téléchargements de fichiers

174