Stepwise Construction and Refinement of Dependability Models
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Service-Level Availability Estimation of GPRS
IEEE Transactions on Mobile Computing
A modular approach for model-based dependability evaluation of a class of systems
ISAS'04 Proceedings of the First international conference on Service Availability
Hi-index | 0.00 |
This paper focuses on dependability analysis of an interoperable platform for radio resource management and mobility support in multiple radio environments. The emphasis is on reliability and availability issues, which unavoidably need to be addressed to some extent to cope with malfunctions in such complex environment. With reference to the European project CAUTION++, which aims to build a capacity and network management platform for increased utilization of present and future wireless systems, means to help system design and verification w.r.t dependability requirements are here presented. For this purpose, we introduce and apply a modelling technique based on Petri nets in order to compare different architectural fault tolerant solutions. This evaluation is carried out in terms of the probability of correct/incorrect emission and correct/incorrect omission of a reconfiguration action decided by the CAUTION++ system.