Dependability Analysis and Verification for Connected Systems (Contributo in atti di convegno)

Type
Label
  • Dependability Analysis and Verification for Connected Systems (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Felicita Di Giandomenico; Marta Kwiatkowska; Marco Martinucci; Paolo Masci; Hongyang Qu (2010)
    Dependability Analysis and Verification for Connected Systems
    in 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Heraklion, GREECE, OCT 18-21, 2010
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Felicita Di Giandomenico; Marta Kwiatkowska; Marco Martinucci; Paolo Masci; Hongyang Qu (literal)
Pagina inizio
  • 263 (literal)
Pagina fine
  • 277 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Leveraging Applications of Formal Methods, Verification, and Validation (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 6416 (literal)
Note
  • ISI Web of Science (WOS) (literal)
  • Scopus (literal)
  • Google Scholar (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR, University of Oxford, University of Pisa (literal)
Titolo
  • Dependability Analysis and Verification for Connected Systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-16560-3 (literal)
Abstract
  • 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. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it