Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., Calabṛ A., Di Giandomenico F., Nostro N. Dependability and Performance Assessment of Dynamic CONNECTed Systems. Bernardo, Marco; Issarny, Valerie (eds.). (Lecture Notes in Computer Science, vol. 6659). Berlin Heidelberg: Springer Verlag, 2011.
In this chapter we present approaches for analysis and mon- itoring of dependability and performance of Connected systems, and their combined usage. These approaches need to account for dynam- icity and evolvability of Connected systems. In particular, the chap- ter covers the quantitative assessment of dependability and performance properties through a stochastic model-based approach: first an overview of dependability-related measurements and stochastic model-based ap- proaches provides the necessary background. Then, our proposal in Con- nect of an automated and modular dependability analysis framework for dynamically Connected systems is described. This framework can be used on-line for system design (specifically, in Connect, for Connector synthesis), and on-line, to continuously assess system behaviour and detect possible issues arising at run-time. For the latter purpose, a generic, exible and modular monitoring infrastructure has been developed. Monitoring is at the core of the Connect vision, in order to ensure run-time observation of specified quantitative properties and possibly trigger adequate reactions. We focus here on the interaction chain between monitoring and analysis, to allow for on-line continuous validation of specified dependability and performance properties. Illustrative examples of applications of analysis and monitoring are provided with reference to the Connect Terrorist Alert scenario.
DOI: 10.1007/978-3-642-21455-4
Subject Dependability
Model- based stochastic analysis
Dynamic connectors

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional