Skip to Main content Skip to Navigation
Book sections

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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00414793
Contributor : Valerie Issarny <>
Submitted on : Thursday, September 10, 2009 - 9:45:36 AM
Last modification on : Thursday, March 26, 2020 - 1:17:02 AM
Document(s) archivé(s) le : Tuesday, June 15, 2010 - 8:39:26 PM

File

ZarrasKI02.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00414793, version 1

Collections

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⟩

Share

Metrics

Record views

579

Files downloads

325