Femtocell Coverage Optimisation Using Statistical Verification

Tiejun Ma, Peter Pietzuch

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the 10th International IFIP TC 6 Conference on Networking - Volume Part I
Place of PublicationBerlin, Heidelberg
ISBN (Print)9783642207563
Publication statusPublished - 9 May 2011
Event10th International IFIP-TC6 Networking Conference - Valencia, Spain
Duration: 9 May 201113 May 2011

Publication series



Conference10th International IFIP-TC6 Networking Conference
Internet address

Keywords / Materials (for Non-textual outputs)

  • femtocell
  • self-optimisation
  • statistical verification


Dive into the research topics of 'Femtocell Coverage Optimisation Using Statistical Verification'. Together they form a unique fingerprint.

Cite this