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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 10th International IFIP TC 6 Conference on Networking - Volume Part I |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 343–354 |
ISBN (Print) | 9783642207563 |
Publication status | Published - 9 May 2011 |
Event | 10th International IFIP-TC6 Networking Conference - Valencia, Spain Duration: 9 May 2011 → 13 May 2011 http://www.networking2011.org/ |
Publication series
Name | NETWORKING'11 |
---|---|
Publisher | Springer-Verlag |
Conference
Conference | 10th International IFIP-TC6 Networking Conference |
---|---|
Country/Territory | Spain |
City | Valencia |
Period | 9/05/11 → 13/05/11 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- femtocell
- self-optimisation
- statistical verification