PUMA
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.
 
 
Abstract
(English)
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
Performance
Monitoring
Model- based stochastic analysis
Dynamic connectors
Interoperability
C.4 PERFORMANCE OF SYSTEMS
D.2 SOFTWARE ENGINEERING


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