PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Di Giandomenico F., Kwiatkowska M., Martinucci M., Masci P., Qu H. Dependability analysis and verification for connected systems. In: ISoLA 2010 - Leveraging Applications of Formal Methods, Verification, and Validation. 4th International Symposium on Leveraging Applications (Heraklion, GREECE, 18-21 October 2010). Proceedings, vol. II pp. 263 - 277. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 6416). Springer, 2010.
 
 
Abstract
(English)
The Connect project targets at enabling seamless communication among heterogeneous networked systems. Veri cation and Validation (V&V) ensure Connected systems to satisfy dependability requirements. Stochastic model checking and state-based stochastic method are two appealing V&V approaches to accomplish the task. In this paper, we demonstrate the application of two approaches in Con- nect settings by analysing dependability properties for a typical scenario of Connected systems. Not only will we show that a set of basic properties can be cross-validated by both approaches, but also we check additional properties, which can only be handled easily by one of the approaches, to investigate relative strengths and weakness of each approach.
Subject Stochastic state-based analysis
Model-checking
Labelled Transition Systems
Dependability analysis
C.4 PERFORMANCE OF SYSTEMS


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional