Dependability and Performance Assessment of Dynamic CONNECTed Systems

Abstract : In this chapter we present approaches for analysis and monitoring 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: first 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 ff-line for system design (speci fically, 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, flexible 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 fied 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 specifi ed dependability and performance properties. Illustrative examples of applications of analysis and monitoring are provided with reference to the Connect Terrorist Alert scenario.
Type de document :
Chapitre d'ouvrage
Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00647701
Contributeur : Francesca Lonetti <>
Soumis le : vendredi 2 décembre 2011 - 15:14:01
Dernière modification le : mardi 31 juillet 2018 - 16:58:01
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 14:11:35

Fichier

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

Identifiants

  • HAL Id : hal-00647701, version 1

Collections

Citation

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro. Dependability and Performance Assessment of Dynamic CONNECTed Systems. Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011. 〈hal-00647701〉

Partager

Métriques

Consultations de la notice

95

Téléchargements de fichiers

82