Application level extension of bandwidth management in radio access network

Multi-access edge computing (MEC) provides processing and storage capabilities of the cloud into the radio access network. In this paper, we study the deployment of bandwidth management service in MEC environment. The bandwidth management service procedures are mapped onto functionality of the control protocol between radio access network and core network. An extension of the bandwidth management service is proposed that enables detecting of packets generated of specific applications and applying the appropriate enforcement actions. The proposed extension is described by typical use cases, information flows, required information, data model, as well as respective application programming interfaces. Models representing the status of bandwidth allocation as seen by the mobile edge application and network are proposed, formally described and verified. Formal model verification enables mathematical demonstration that the proposed extension is consistently implementable.