%0 Conference Proceedings
%T Femtocell Coverage Optimisation Using Statistical Verification
%+ Imperial College London
%A Ma, Tiejun
%A Pietzuch, Peter
%Z Part 7: Network Topology Configuration
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 10th IFIP Networking Conference (NETWORKING)
%C Valencia, Spain
%Y Jordi Domingo-Pascual
%Y Pietro Manzoni
%Y Sergio Palazzo
%Y Ana Pont
%Y Caterina Scoglio
%I Springer
%3 NETWORKING 2011
%V LNCS-6640
%N Part I
%P 343-354
%8 2011-05-09
%D 2011
%R 10.1007/978-3-642-20757-0_27
%K Femtocell
%K Self-Optimisation
%K Statistical Verification
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Femtocells are small base stations that provide radio coverage for mobile devices in homes or office areas. In this paper, we consider the optimisation of a number of femtocells that provide joint coverage in enterprise environments. In such an environment, femtocells should minimise coverage overlap and coverage holes and ensure a balanced traffic workload among them. We use statistical verification techniques to monitor the probabilistic correctness of a given femtocell configuration at runtime. If there is any violation of the desired level of service, a self-optimisation procedure is triggered to improve the current configuration. Our evaluation results show that, compared with fixed time, interval-based optimisation, our approach achieves better coverage and can detect goal violations quickly with a given level of confidence when they occur frequently. It can also avoid unnecessary self-optimisation cycles, reducing the cost of self-optimisation.
%G English
%Z TC 6
%2 https://inria.hal.science/hal-01583425/document
%2 https://inria.hal.science/hal-01583425/file/978-3-642-20757-0_27_Chapter.pdf
%L hal-01583425
%U https://inria.hal.science/hal-01583425
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC6
%~ IFIP-NETWORKING
%~ IFIP-LNCS-6640