RT Journal Article
T1 Runtime monitoring of 5G network slicing using STAn
A1 Panizo-Jaime, Laura
A1 Gallardo-Melgarejo, María del Mar
A1 Luque Schempp, Francisco
A1 Merino-Gómez, Pedro
K1 Redes de ordenadores - Arquitecturas
K1 Sistemas de comunicaciones inalámbricos
K1 Sistemas expertos - Verificación
AB "This work has been supported by the Spanish Ministry of Science and Innovation grant agreement PID2022-142181OB-I00 (LearnFDT) and the Spanish Ministry ofEconomic Affairs and Digital Transformation project TSI-063000-2021-11 (5G+TACTILE-1) and the European Union Horizon 2020 Smart Networks and ServicesJoint Undertaking (SNS JU) under grant agreement 101096328 (6G-SANDBOX)."The most recent technology in the evolution of mobile networks is 5G, which is aimed at offeringdifferentiated quality of service (QoS) to specific groups of users or devices. Such groups couldinclude public safety agencies, connected vehicles, citizens streaming video content, fixed Internetof Things devices, etc. Insofar as each group has different requirements in terms of bandwidth,latency, error rate, coverage or other relevant quality indicators, the network can be dividedinto multiple slices, with each slice supporting a group’s requirements. Such network slicing isbecoming a key feature for telecom operators, who need to face the challenge of validating itscorrect behavior.In this paper, we propose a monitoring system to check that a 5G network is offering slicing in theproper way. To this end, we use the tool STAn, a general purpose runtime verification tool wherethe requirements to be monitored are expressed using temporal formulae. The paper identifiesfirst a list of requirements that define the expected behavior of network slicing.Then, we describe how the initial logic eLTL supported by STAn is extended to the so-calledeXtended Event-driven Temporal Logic (xeLTL) in order to represent the slicing requirements.Finally, we validate that the new version of STAn and the catalogue of xeLTL formulae are suitableto monitor and check if real 5G networks properly support slicing. This way, we provide a completenew system for runtime monitoring of 5G network slicing.
PB Elsevier
YR 2025
FD 2025-03-12
LK https://hdl.handle.net/10630/38174
UL https://hdl.handle.net/10630/38174
LA eng
NO Laura Panizo, María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino, Runtime monitoring of 5G network slicing using STAn, Journal of Logical and Algebraic Methods in Programming, Volume 145, 2025, 101059, ISSN 2352-2208, https://doi.org/10.1016/j.jlamp.2025.101059.
NO This work has been supported by the Spanish Ministry of Science and Innovation grant agreement PID2022-142181OB-I00 (LearnFDT) and the Spanish Ministry ofEconomic Affairs and Digital Transformation project TSI-063000-2021-11 (5G+TACTILE-1) and the European Union Horizon 2020 Smart Networks and ServicesJoint Undertaking (SNS JU) under grant agreement 101096328 (6G-SANDBOX).
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026