PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Di Giandomenico F., Porcarelli S., Viva D., Bondavalli A., Lollini P. Model-based Evaluation for Dependability Assessment of CAUTION++ Instances. In: Mobile Venue 2004 (Athens, Greece, 27-28 May 2004).
 
 
Abstract
(English)
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.
Subject Metrics
Simulation and modeling
Computer-Communication Networks
D.2.8 SOFTWARE ENGINEERING. Metrics
I.6 SIMULATION AND MODELING
C.2 COMPUTER-COMMUNICATION NETWORKS


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