Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems

Abstract : Model-based analysis is a well-established method to assess the dependability of a system before deployment. It is well known that, in highly dynamic contexts, the accuracy of the analysis results can be limited because unpredictable phenomena may aect the system during its operation. In such contexts, the analysis typically needs to be rened with data obtained from real system executions. In this paper we tackle the issue of rening model-based dependability analysis in automated systems through monitoring. Specically, we report on our preliminary results on the development of a system that exploits the synergic use of an automated approach for model-based dependability analysis and a exible monitoring architecture.
Type de document :
Communication dans un congrès
International Symposium on Autonomous Decentralized Systems (ISADS) 2011, Mar 2011, Tokyo, Japan. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00573405
Contributeur : Emmanuelle Grousset <>
Soumis le : jeudi 3 mars 2011 - 16:43:39
Dernière modification le : mercredi 4 octobre 2017 - 11:24:02
Document(s) archivé(s) le : samedi 4 juin 2011 - 02:59:46

Fichier

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

Identifiants

  • HAL Id : inria-00573405, version 1

Collections

Citation

Antonia Bertolino, Antonello Calabro, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci. Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. International Symposium on Autonomous Decentralized Systems (ISADS) 2011, Mar 2011, Tokyo, Japan. 2011. 〈inria-00573405〉

Partager

Métriques

Consultations de la notice

66

Téléchargements de fichiers

64