Skip to Main content Skip to Navigation
Conference papers

Femtocell Coverage Optimisation Using Statistical Verification

Abstract : 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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Thursday, September 7, 2017 - 11:58:11 AM
Last modification on : Thursday, September 7, 2017 - 3:24:22 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Tiejun Ma, Peter Pietzuch. Femtocell Coverage Optimisation Using Statistical Verification. 10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.343-354, ⟨10.1007/978-3-642-20757-0_27⟩. ⟨hal-01583425⟩



Record views


Files downloads