Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods

Maroua Idi, Maroua Idi, Sana Younes, Sana Younes, Riadh Robbana, Riadh Robbana

2022

Abstract

For the fifth-generation (5G), Cloud Radio Access Network (C-RAN) has been proposed as a cloud architecture to provide a common connected resource pool management. In this regard, considering the rapidly changing in network traffic load, the efficient management of radio resources is a challenge. Call Admission Control (CAC) is a resource allocation mechanism to guarantee the Quality of Service (QoS) to User Equipment (UE) in a mobile cellular network. This paper proposes a new CAC schema, based on a hysteresis mechanism, named Virtual Machine Hysteresis Allocation Strategy (VMHAS) in the context of C-RAN. We aim to provide a good QoS by improving the blocking probability of calls, adjusting the amount of active VMs being provisioned for the current traffic load, and providing a load balancing in the considered C-RAN. We use probabilistic model checking to evaluate the performance of the proposed strategy. First, we model the VMHAS CAC schema with Continuous-Time Markov Chains (CTMCs). Then, we specify QoS requirements through the CTMC using the Continuous-time Stochastic Logic (CSL). Finally, we quantify the performance measures of the considered strategy by checking CSL steady-state and transient formulas using the PRISM model checker.

Paper Citation

in Harvard Style

Idi M., Younes S. and Robbana R. (2022). Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods. In Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-588-3, pages 630-640. DOI: 10.5220/0011271300003266

in Bibtex Style

@conference{icsoft22,
author={Maroua Idi and Sana Younes and Riadh Robbana},
title={Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods},
booktitle={Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2022},
pages={630-640},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011271300003266},
isbn={978-989-758-588-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods
SN - 978-989-758-588-3
AU - Idi M.
AU - Younes S.
AU - Robbana R.
PY - 2022
SP - 630
EP - 640
DO - 10.5220/0011271300003266