2026-05-28T08:01:58Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/381742026-02-03T11:33:25Zcom_10630_2254col_10630_37953
RIUMA. Repositorio Institucional de la Universidad de Málaga
author
Panizo-Jaime, Laura
author
Gallardo-Melgarejo, María del Mar
author
Luque Schempp, Francisco
author
Merino-Gómez, Pedro
2025-03-20T10:03:45Z
2025-03-20T10:03:45Z
2025-03-12
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.
https://hdl.handle.net/10630/38174
10.1016/j.jlamp.2025.101059
"This work has been supported by the Spanish Ministry of Science and Innovation grant agreement PID2022-142181OB-I00 (LearnFDT)
and the Spanish Ministry of
Economic Affairs and Digital Transformation project TSI-063000-2021-11 (5G+TACTILE-1) and the European Union Horizon 2020 Smart Networks and Services
Joint 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 offering
differentiated quality of service (QoS) to specific groups of users or devices. Such groups could
include public safety agencies, connected vehicles, citizens streaming video content, fixed Internet
of 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 divided
into multiple slices, with each slice supporting a group’s requirements. Such network slicing is
becoming a key feature for telecom operators, who need to face the challenge of validating its
correct behavior.
In this paper, we propose a monitoring system to check that a 5G network is offering slicing in the
proper way. To this end, we use the tool STAn, a general purpose runtime verification tool where
the requirements to be monitored are expressed using temporal formulae. The paper identifies
first 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-called
eXtended 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 suitable
to monitor and check if real 5G networks properly support slicing. This way, we provide a complete
new system for runtime monitoring of 5G network slicing.
eng
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Redes de ordenadores - Arquitecturas
Sistemas de comunicaciones inalámbricos
Sistemas expertos - Verificación
Runtime monitoring of 5G network slicing using STAn
journal article
CjEuIEFjZXB0YW5kbyBlc3RhIGxpY2VuY2lhLCB1c3RlZCAoZWwgYXV0b3IvZXMgbyBlbCBwcm9waWV0YXJpby9zIGRlIGxvcyBkZXJlY2hvcyBkZSBhdXRvcikgZ2FyYW50aXphIGEgbGEgVW5pdmVyc2lkYWQgZGUgTcOhbGFnYSBlbCBkZXJlY2hvIG5vIGV4Y2x1c2l2byBkZSBhcmNoaXZhciwgcmVwcm9kdWNpciwgY29udmVydGlyIChjb21vIHNlIGRlZmluZSBtw6FzIGFiYWpvKSwgY29tdW5pY2FyIHkvbyBkaXN0cmlidWlyIHN1IGRvY3VtZW50byBtdW5kaWFsbWVudGUgZW4gZm9ybWF0byBlbGVjdHLDs25pY28uCgoyLiBUYW1iacOpbiBlc3TDoSBkZSBhY3VlcmRvIGNvbiBxdWUgbGEgVW5pdmVyc2lkYWQgZGUgTcOhbGFnYSBwdWVkYSBjb25zZXJ2YXIgbcOhcyBkZSB1bmEgY29waWEgZGUgZXN0ZSBkb2N1bWVudG8geSwgc2luIGFsdGVyYXIgc3UgY29udGVuaWRvLCBjb252ZXJ0aXJsbyBhIGN1YWxxdWllciBmb3JtYXRvIGRlIGZpY2hlcm8sIG1lZGlvIG8gc29wb3J0ZSwgcGFyYSBwcm9ww7NzaXRvcyBkZSBzZWd1cmlkYWQsIHByZXNlcnZhY2nDs24geSBhY2Nlc28uCgozLiBEZWNsYXJhIHF1ZSBlbCBkb2N1bWVudG8gZXMgdW4gdHJhYmFqbyBvcmlnaW5hbCBzdXlvIHkvbyBxdWUgdGllbmUgZWwgZGVyZWNobyBwYXJhIG90b3JnYXIgbG9zIGRlcmVjaG9zIGNvbnRlbmlkb3MgZW4gZXN0YSBsaWNlbmNpYS4gVGFtYmnDqW4gZGVjbGFyYSBxdWUgc3UgZG9jdW1lbnRvIG5vIGluZnJpbmdlLCBlbiB0YW50byBlbiBjdWFudG8gbGUgc2VhIHBvc2libGUgc2FiZXIsIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSBuaW5ndW5hIG90cmEgcGVyc29uYSBvIGVudGlkYWQuCgo0LiBTaSBlbCBkb2N1bWVudG8gY29udGllbmUgbWF0ZXJpYWxlcyBkZSBsb3MgY3VhbGVzIG5vIHRpZW5lIGxvcyBkZXJlY2hvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBzaW4gcmVzdHJpY2Npw7NuIGRlbCBwcm9waWV0YXJpbyBkZSBsb3MgZGVyZWNob3MgZGUgYXV0b3IgcGFyYSBvdG9yZ2FyIGEgbGEgVW5pdmVyc2lkYWQgZGUgTcOhbGFnYSBsb3MgZGVyZWNob3MgcmVxdWVyaWRvcyBwb3IgZXN0YSBsaWNlbmNpYSwgeSBxdWUgZXNlIG1hdGVyaWFsIGN1eW9zIGRlcmVjaG9zIHNvbiBkZSB0ZXJjZXJvcyBlc3TDoSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyB5IHJlY29ub2NpZG8gZW4gZWwgdGV4dG8gbyBjb250ZW5pZG8gZGVsIGRvY3VtZW50byBlbnRyZWdhZG8uCgo1LiBTaSBlbCBkb2N1bWVudG8gc2UgYmFzYSBlbiB1bmEgb2JyYSBxdWUgaGEgc2lkbyBwYXRyb2NpbmFkYSBvIGFwb3lhZGEgcG9yIHVuYSBhZ2VuY2lhIHUgb3JnYW5pemFjacOzbiBkaWZlcmVudGUgZGUgbGEgVW5pdmVyc2lkYWQgZGUgTcOhbGFnYSwgc2UgcHJlc3Vwb25lIHF1ZSBzZSBoYSBjdW1wbGlkbyBjb24gY3VhbHF1aWVyIGRlcmVjaG8gZGUgcmV2aXNpw7NuIHUgb3RyYXMgb2JsaWdhY2lvbmVzIHJlcXVlcmlkYXMgcG9yIGVzdGUgY29udHJhdG8gbyBhY3VlcmRvLgoKNi4gTGEgVW5pdmVyc2lkYWQgZGUgTcOhbGFnYSBpZGVudGlmaWNhcsOhIGNsYXJhbWVudGUgc3UvcyBub21icmUvcyBjb21vIGVsL2xvcyBhdXRvci9lcyBvIHByb3BpZXRhcmlvL3MgZGUgbG9zIGRlcmVjaG9zIGRlbCBkb2N1bWVudG8sIHkgbm8gaGFyw6EgbmluZ3VuYSBhbHRlcmFjacOzbiBkZSBzdSBkb2N1bWVudG8gZGlmZXJlbnRlIGEgbGFzIHBlcm1pdGlkYXMgZW4gZXN0YSBsaWNlbmNpYS4KCg==
URL
https://riuma.uma.es/bitstreams/bbc884c3-f438-4502-8f1b-39210727301b/download
File
MD5
2f1cb2edfeaa34de9d4d63a3b3ab6660
1611748
application/pdf
Panizo_etal_JLAMP.pdf