Dependability Analysis and Verification for Connected Systems
Résumé
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.
Domaines
Informatique mobile
Origine : Fichiers produits par l'(les) auteur(s)
Loading...