Sciweavers

Share
PERCOM
2010
ACM

Towards automated verification of autonomous networks: A case study in self-configuration

9 years 16 days ago
Towards automated verification of autonomous networks: A case study in self-configuration
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the correctness of self-configuration. As a case study, we describe the configuration of physical cell identifiers (PCIs), a radio configuration parameter in cellular base stations. We provide formal models of PCI assignment algorithms and their desired properties. We then demonstrate how the potential for conflicting PCI assignments can be detected using model checking and resolved in the design stage. Through this case study, we argue that both simulation and verification should be adopted and highlight the potential of runtime verification approaches in this space. Keywords-network self-configuration; verification; modelchecking; autonomous networks
JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where PERCOM
Authors JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
Comments (0)
books