Model-based Evaluation for Dependability Assessment of CAUTION++ Instances

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.