Dependability Analysis and Verification for Connected Systems

Abstract : The Connect project aims to enable the seamless composition of heterogeneous networked systems. In this context, Verication and Validation (V&V) techniques are sought to ensure that the Con- nected system satises dependability requirements. Stochastic model checking and state-based stochastic methods are two appealing V&V approaches to accomplish this task. In this paper, we report on the application of the two approaches in a typical Connect scenario. Specifically, we make clear (i) how the two approaches can be employed to enhance the condence in the correctness of the analysis, and (ii) how the complementarity of these approaches can be fruitfully exploited to extend the analysis.
Type de document :
Communication dans un congrès
ISOLA 2010, 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraklion, Greece. 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00534202
Contributeur : Emmanuelle Grousset <>
Soumis le : mardi 9 novembre 2010 - 09:54:29
Dernière modification le : mardi 31 juillet 2018 - 16:58:01
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:17:27

Fichier

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

Identifiants

  • HAL Id : inria-00534202, version 1

Collections

Citation

Felicita Di Giandomenico, Marta Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu. Dependability Analysis and Verification for Connected Systems. ISOLA 2010, 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraklion, Greece. 2010. 〈inria-00534202〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

83