Skip to Main content Skip to Navigation
Conference papers

Dependability and Performance Assessment of Dynamic CONNECTed Systems

Abstract : 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 dynamicity and evolvability of Connected systems. In particular, the chapter covers the quantitative assessment of dependability and performance properties through a stochastic model-based approach: rst an overview of dependability-related measurements and stochastic model-based approaches provides the necessary background. Then, our proposal in Connect of an automated and modular dependability analysis framework for dynamically Connected systems is described. This framework can be used o -line for system design (speci cally, in Connect, for Con- nector 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 speci ed 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 speci ed dependability and performance properties. Illustrative examples of applications of analysis and monitoring are provided with reference to the Connect Terrorist Alert scenario
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-00649205
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Wednesday, December 7, 2011 - 12:38:42 PM
Last modification on : Tuesday, July 31, 2018 - 4:58:01 PM
Long-term archiving on: : Friday, November 16, 2012 - 2:40:44 PM

File

BertinoroSchool2011.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00649205, version 1

Collections

Citation

Antonia Bertolino, Antonello Calabro, Felicita Di Giandomenico, Nicola Nostro. Dependability and Performance Assessment of Dynamic CONNECTed Systems. 11th International School SFM 2011, Jun 2011, Bertinoro, Italy. pp. 350-392. ⟨hal-00649205⟩

Share

Metrics

Record views

56

Files downloads

261