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.
Model-based Evaluation of a Radio Resource Management System for Wireless Networks / S. Porcarelli; F. Di Giandomenico; A. Bondavalli; P. Lollini. - ELETTRONICO. - (2004), pp. 51-59. (Intervento presentato al convegno 1st conference on Computing frontiers (CF '04) tenutosi a Ischia, Italy nel April 14–16, 2004) [10.1145/977091.977100].
Model-based Evaluation of a Radio Resource Management System for Wireless Networks
DI GIANDOMENICO, FELICITA;BONDAVALLI, ANDREA;LOLLINI, PAOLO
2004
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
%p51.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
173.03 kB
Formato
Adobe PDF
|
173.03 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.