Quality Analysis of Dependable Systems: A Developer Oriented Approach

Abstract : The quality of dependable systems (DS) is characterized by a number of non-functional properties (e.g., performance, reliability, availability, etc.). Assessing the DS quality against these properties imposes the application of quality analysis and evaluation. Quality analysis consists of checking, analytically solving, or simulating models of the system, which are specified using formalisms like CSP, CCS, Markov-chains, Petri-nets, Queuing-nets, etc. However, developers are usually not keen on using such formalisms for modeling and evaluating DS quality. On the other hand, they are familiar with using architecture description languages and object-oriented notations for building DS models. Based on the previous and to render the use of traditional quality analysis techniques more tractable, this paper proposes an architecture-based environment that facilitates the specification and quality analysis of DS at the architectural level.
Type de document :
Chapitre d'ouvrage
Lemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.197-218, 2003
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00414793
Contributeur : Valerie Issarny <>
Soumis le : jeudi 10 septembre 2009 - 09:45:36
Dernière modification le : mardi 17 avril 2018 - 11:24:01
Document(s) archivé(s) le : mardi 15 juin 2010 - 20:39:26

Fichier

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

Identifiants

  • HAL Id : inria-00414793, version 1

Collections

IMAG | INRIA | UGA

Citation

Apostolos Zarras, Christos Kloukinas, Valérie Issarny. Quality Analysis of Dependable Systems: A Developer Oriented Approach. Lemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.197-218, 2003. 〈inria-00414793〉

Partager

Métriques

Consultations de la notice

407

Téléchargements de fichiers

147