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

Song, J., Ma, Tiejun and Piezuch, P. (2010) Towards automated verification of autonomous networks: a case study in self-configuration. In, 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) , Mannheim, DE, 29 Mar - 02 Apr 2010. New York, US, Institute of Electrical and Electronics Engineers, 582-587. (doi:10.1109/PERCOMW.2010.5470504).


Full text not available from this repository.


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

Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1109/PERCOMW.2010.5470504
ISBNs: 9781424466054
Subjects: T Technology > T Technology (General)
Divisions : Faculty of Business and Law > Southampton Business School
ePrint ID: 204609
Accepted Date and Publication Date:
April 2010Published
Date Deposited: 01 Dec 2011 11:01
Last Modified: 31 Mar 2016 13:47

Actions (login required)

View Item View Item