Femtocell Coverage Optimisation Using Statistical Verification - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Femtocell Coverage Optimisation Using Statistical Verification

(1) , (1)
Tiejun Ma
  • Function : Author
  • PersonId : 1015786
Peter Pietzuch
  • Function : Author
  • PersonId : 978525


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.
Fichier principal
Vignette du fichier
978-3-642-20757-0_27_Chapter.pdf (1.1 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01583425 , version 1 (07-09-2017)


Attribution - CC BY 4.0



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⟩
40 View
34 Download



Gmail Facebook Twitter LinkedIn More