Dependability analysis and verification for CONNECTed systems
- Citation:
- Giandomenico FD, Kwiatkowska M, Martinucci M, Masci P, Qu H. 2010. Dependability analysis and verification for CONNECTed systems. Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II. :263–277. copy at www.tinyurl.com/hh376rm
Tertiary Title:
ISoLA'10Abstract:
The Connect project aims to enable the seamless composition of heterogeneous networked systems. In this context, Verification and Validation (V&V) techniques are sought to ensure that the Connected system satisfies 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 confidence in the correctness of the analysis, and (ii) how the complementarity of these approaches can be fruitfully exploited to extend the analysis.
Citation Key:
DiGiandomenico:2010DOI:
10.1007/978-3-642-16561-0_27
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.