Model-based Evaluation for Dependability Assessment of CAUTION++ Instances (Comunicazione a convegno)

Type
Label
  • Model-based Evaluation for Dependability Assessment of CAUTION++ Instances (Comunicazione a convegno) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Alternative label
  • Di Giandomenico F.; Porcarelli S.; Viva D.; Bondavalli A.; Lollini P. (2004)
    Model-based Evaluation for Dependability Assessment of CAUTION++ Instances
    in Mobile Venue 2004, Athens, Greece
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Di Giandomenico F.; Porcarelli S.; Viva D.; Bondavalli A.; Lollini P. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Mobile Venue 2004 (Athens, Greece, 27-28 May 2004). (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • With reference to the European project CAUTION++, this paper addresses dependability analysis of the CAUTION++ architecture, specifically focusing on the instance chosen for the demonstrator involving GSM/GPRS and WLAN network technologies. The emphasis is on components correctness and reliability issues, which unavoidably need to be addressed to some extent to cope with malfunctions in such complex environment. We apply a modelling technique based on Petri nets in order to model and analyze the behavior of the chosen CAUTION++ instance. The utility of such study consists in a deep understanding of the impact of the correctness of the single architecture's components on the overall dependability of the CAUTION++ system, as well as the impact of fault tolerance measures, introduced to enhance system correctness. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Model-based Evaluation for Dependability Assessment of CAUTION++ Instances (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it