TY - JOUR AU - Al-Maitah, Mohammed AB - 1 Introduction and state-of-the-art The creation of the 5G platform was a response to the growing need to solve problems such as [1–3]: growth in mobile traffic, an increase in wireless network-connected devices number, and a need to reduce delays when introducing new services. The main means to solve this impressive list of problems are three leading technologies [4, 5]: Ultra-Reliable Low-Latency Communications (URLLC), enhanced Mobile BroadBand (eMBB), and massive Machine-Type Communications (mMTC). The mMTC technology is focused on serving the traffic of a huge number of applications and devices that do not demand latency. The URLLC technology is designed to support mission-critical communications with low latency, high security and reliability. Finally, eMBB technology aims to provide high data transfer rates. This issue is discussed in more detail in [2]. The most relevant platform for the real application of all the capabilities of the 5G platform is the information space of a smart city. To a first approximation, this space can be segmented into industrial, specialized and civil clusters that require wireless communication coverage. At the same time, it is civic clusters that dominate the information and communication landscape of the modern agglomeration. This circumstance allows us to further call the “civilian” 5G cluster ordinary. At the same time, typical information exchange in such a 5G cluster requires the implementation of URLLC (ensuring the information needs of critical infrastructure and institutions) and eMBB (ensuring the information needs of citizens and the service sector) technologies [6]. In this context, the urgent problem arises of providing high-quality service to the needs of users of an ordinary 5G cluster while simultaneously using URLLC and eMBB technologies. Aspects of the joint use of URLLC and eMBB technologies are being studied by many teams of scientists. This is confirmed by current review articles [7–11] and the impressive list of specialized studies that are mentioned in them. The authors of articles [12, 13] propose to allocate resources for URLLC traffic, prioritizing the reliability of connections. In [12, 14, 15], a possible architecture for joint transmission of URLLC and eMBB types of traffic was explored. The works [16, 17] discuss the main scenarios for the implementation of URLLC and eMBB types of traffic service, technical requirements, as well as features of non-orthogonal resource sharing provided that eMBB, mMTC and URLLC consumers are located in the network. Articles [17–19] present the results of the study of the effectiveness of various modulation options for orthogonal frequency division multiplexing in the parametric space of their spectral efficiency, reliability, etc. The works [20, 21] consider options for non-orthogonal use of resources to support URLLC and eMBB connections. Among the relevant studies, we highlight the approach [22] where resource reservation is used to improve the Quality of Service for URLLC and eMBB types of traffic. In [23–25], the application of Network Slicing technology in the case of heterogeneous multiple access (both orthogonal and non-orthogonal) was studied. In addition to URLLC priority access, the authors of articles [26, 27] focus on maintaining the QoS of eMBB traffic, using methods of stochastic geometry and queuing theory. In all the works mentioned above, the authors either view the 5G cluster as a closed system or do not take into account the features of the simultaneous operation of URLLC and eMBB technologies on the 5G platform. At the same time, the closest analogues to this research are works [28, 29]. A feature of the works [28, 29] is the use of queuing systems with random requirements for modelling URLLC-eMBB interactions. At the same time, we note that the authors of the mentioned studies try to abstract from the conditions in which the 5G cluster will operate. Thus, while increasing the universality of the results obtained, the proposed solutions lose adequacy for specific objects. We should also pay attention to the fact that the authors formulate their models [26–28] in a well-looking, but cumbersome mathematical basis, which does not allow the methods obtained to be used to analyze real 5G clusters with a large amount of communication resources. In this article, we focus on addressing these limitations. Next, we summarize the main attributes of our research in a compact form. The object of the study is the process of managing the quality of service of typified incoming requests in the open 5G ecosystem of a smart city cluster with predominant URLLC and eMBB traffic. The subject of research includes methods of probability theory and mathematical statistics, recovery theory, Markov process theory, and experiment planning theory. The aim of the research is formulated as follows: to create a computationally efficient, holistic concept for evaluating an arbitrary instance of the QoS policy of an ordinary 5G smart city cluster with predominant URLLC and eMBB traffic, which will make it possible to close the research gap identified as a result of the analysis of analogues. Research objectives are: to determine the parametric space of stable and controlled characteristics that characterize the research object (presented in Section 2.1), to formulate a comprehensive qualitative metric for evaluating an arbitrary instance of the implementation of the research object (presented in Section 2.2), to formulate an accurate parameterized concept for evaluating an arbitrary instance of the QoS policy of an ordinary 5G smart city cluster (presented in Section 2.3), to formulate a computationally efficient approximate parameterized concept for evaluating an arbitrary instance of the QoS policy of an ordinary 5G smart city cluster (presented in Section 2.3), to analytically investigate partial cases of QoS policy implementation of an ordinary 5G smart city cluster in terms of an approximate evaluation concept (presented in Section 2.4), justify the adequacy of a mathematical apparatus proposed and demonstrate its functionality in the context of a research aim (presented in Section 3 and discussed in Section 4). We define the main contribution of the research as follows. As a baseline, this research considers a QoS policy with constraints for context-defined URLLC and eMBB classes of incoming requests. Evaluating the QoS policy instance defined within the framework of the basic concept requires the formalization of both a complete qualitative metric and a computationally efficient mathematical apparatus for its calculation. The article presents accurate and approximate methods of calculating such quality parameters as the probability of loss of typed requests and the utilization ratio of the communication resource, which depend on the implementation of the estimated QoS policy. At the same time, the original parametric space includes both fixed characteristics (amount of available communication resources, load according to request classes) and controlled characteristics due to the specifics of the implementation of the basic QoS concept. The article is organized as follows. Section 2 presents the main scientific result of the study. In particular, the research was set up, including the formation of the main parametric space of the model of the studied process. Next, a qualitative metric is formulated for evaluating an arbitrary instance of the studied process. Exact and approximate methods are formulated for the evaluation of the QoS policy model of an ordinary 5G smart city cluster (including some typical cases). In Section 3, from the standpoint of mathematical statistics and the experiment planning theory, the results of evaluating an instance of a QoS policy model of an ordinary 5G smart city cluster are presented, both using the author’s approach and in comparison with an analogue. Section 4 analyzes the obtained empirical results. Section 5 draws general conclusions on the work and formulates directions for promising further research. 2 Materials and methods 2.1. Statement of the research The focus of our study was the process of supporting 5G cluster application groups with different quality of service (QoS) requirements. Focusing on the 5G platform, three such groups are distinguished: URLLC, eMBB and mMTC. An ordinary 5G smart city cluster mainly deals with applications that belong to the first two groups (mMTC group applications are typical of industrially oriented 5G clusters). Accordingly, for an ordinary 5G cluster, an actual problem is the evaluation of QoS policies aimed at supporting URLLC and eMBB applications. Suppose that the channel resource of an ordinary 5G cluster includes C∈ℕ units, which are oriented to support Poisson flows of: a new incoming requests of URLLC type with intensity ηu; a new incoming requests of eMBB type with intensity ηe; a handover of incoming requests of URLLC type with intensity ηhu; a handover of incoming requests of eMBB type with intensity ηhe; One channel resource unit is sufficient to support a URLLC request, while a≤C channel resource units are required to support an eMBB request. To simplify the model, let’s resort to the admissible assumption that eMBB requests are inelastic (at the moment of completion of the service of such a request, all resource units allocated for its support are released at the same time). All functions that characterize the distribution of time spent on supporting {u,e,hu,he}-requests belong to the exponential type but with different means, which are determined by parameters {μu,μe,μhu,μhe}, respectively. Let’s define the QoS policy considering that the class of URLLC-requests has a higher priority than a class of eMBB-requests, and within the corresponding class, handover requests have a higher priority than new ones. We will ensure the balance of the QoS policy under the following conditions: the number of accepted u-requests cannot exceed the threshold Tu, if, upon receipt of a hu-request, the base station has at least one free resource unit at its disposal, it is directed to support this request, the number of accepted e-requests cannot exceed the threshold Te, the number of accepted he-requests cannot exceed the threshold The, 0C, then a states stationary probability distribution of a process F will take a form (9) where p(0,0) is determined as a result of normalization, where With a stationary probability distribution of target process F states calculated according to expressions (8) or (9), the desired quality indicators of the formed QoS policy are calculated according to expressions (3)–(7). The proposed approach to evaluating the QoS policy of an ordinary 5G smart city cluster is accurate. The use of this term is correct, because to calculate , , with the help of a mathematical apparatus presented in this section, researchers will have to generate the entire phase space of the states of the evaluated model. At the same time, for a large value of C, researchers will have difficulties with the calculations of expressions (8) or (9), because they will have to calculate a large number factorials and also raise to a power either values close to zero (at a low load on the 5G cluster) or large values (when the 5G cluster is heavily loaded). This circumstance prompted the authors to formalize the concept of the approximate calculation of the metric (3)–(7), which is presented in the following subsections of Section 2. 2.1. Statement of the research The focus of our study was the process of supporting 5G cluster application groups with different quality of service (QoS) requirements. Focusing on the 5G platform, three such groups are distinguished: URLLC, eMBB and mMTC. An ordinary 5G smart city cluster mainly deals with applications that belong to the first two groups (mMTC group applications are typical of industrially oriented 5G clusters). Accordingly, for an ordinary 5G cluster, an actual problem is the evaluation of QoS policies aimed at supporting URLLC and eMBB applications. Suppose that the channel resource of an ordinary 5G cluster includes C∈ℕ units, which are oriented to support Poisson flows of: a new incoming requests of URLLC type with intensity ηu; a new incoming requests of eMBB type with intensity ηe; a handover of incoming requests of URLLC type with intensity ηhu; a handover of incoming requests of eMBB type with intensity ηhe; One channel resource unit is sufficient to support a URLLC request, while a≤C channel resource units are required to support an eMBB request. To simplify the model, let’s resort to the admissible assumption that eMBB requests are inelastic (at the moment of completion of the service of such a request, all resource units allocated for its support are released at the same time). All functions that characterize the distribution of time spent on supporting {u,e,hu,he}-requests belong to the exponential type but with different means, which are determined by parameters {μu,μe,μhu,μhe}, respectively. Let’s define the QoS policy considering that the class of URLLC-requests has a higher priority than a class of eMBB-requests, and within the corresponding class, handover requests have a higher priority than new ones. We will ensure the balance of the QoS policy under the following conditions: the number of accepted u-requests cannot exceed the threshold Tu, if, upon receipt of a hu-request, the base station has at least one free resource unit at its disposal, it is directed to support this request, the number of accepted e-requests cannot exceed the threshold Te, the number of accepted he-requests cannot exceed the threshold The, 0C, then a states stationary probability distribution of a process F will take a form (9) where p(0,0) is determined as a result of normalization, where With a stationary probability distribution of target process F states calculated according to expressions (8) or (9), the desired quality indicators of the formed QoS policy are calculated according to expressions (3)–(7). The proposed approach to evaluating the QoS policy of an ordinary 5G smart city cluster is accurate. The use of this term is correct, because to calculate , , with the help of a mathematical apparatus presented in this section, researchers will have to generate the entire phase space of the states of the evaluated model. At the same time, for a large value of C, researchers will have difficulties with the calculations of expressions (8) or (9), because they will have to calculate a large number factorials and also raise to a power either values close to zero (at a low load on the 5G cluster) or large values (when the 5G cluster is heavily loaded). This circumstance prompted the authors to formalize the concept of the approximate calculation of the metric (3)–(7), which is presented in the following subsections of Section 2. 2.3. Approximate evaluation of the QoS policy model of an ordinary 5G smart city cluster Let’s formulate the concept of approximate calculation of the metric (3)–(7), for the implementation of which it will not be necessary to generate an entire estimated QoS model states phase space. An initial postulate for the concept explained below is that tabulated values are used in expressions (8), and (9). With a large difference between the values of the parameters of different types of traffic, this circumstance will allow us to achieve the desired simplification of the calculation of stationary probabilities of the states of the evaluated model with high accuracy. First, let’s assume that for the evaluated model, URLLC traffic characteristics prevail over eMBB traffic characteristics: μΣu>>μΣe. At the same time, we take into account that URLLC connections are short-lived compared to eMBB connections [2], however, the share of active URLLC connections in the traffic of the studied 5G cluster is dominant. Let’s divide the state graph of a investigated model by a value of a state vector’s first component: (10) where . For the classes formed as a result of the implementation of partition (10) to an original phase space of a model F states, it is characteristic that a transitions probabilities between states belonging to a same class significantly exceed a transitions probabilities between states belonging to different classes. We cluster a states Fi classes into the integral state 〈i〉. The corresponding clustering function is described by an expression , . Such a clustering function defines an integral model, which is described by a one-dimensional Markov chain with state space . Accordingly, the states stationary probability distribution is defined as (11) where is the stationary probability distribution of a states within the class Si, and where is a stationary probability distribution of an integral model states. When determining these stationary state probability distributions, we will consider such cases as and . We denote a model phase matrix elements with a space of states Fi as qi(j,l). For the case h1, generating matrix elements are defined in the same way: (12) After analyzing expression (12), we conclude that a stationary probability distribution of a model states with a state space Fi is identical to the stationary probability distribution of an Erlang model of type M/M/C−i/0 [32] states with state-dependent intensities of an arrival of new requests and an intensity μΣu of serving received requests by a single device. Based on this conclusion, we write: (13) where (14) Having generalized expressions (14) and (2), we formalize the relationship for calculating the generating matrix , : (15) The relations defined by expression (15) will allow us to determine a stationary probability distribution of a model states (a one-dimensional birth and death Markov process): (16) where (17) Finally, having determined the characteristics (13)–(17), we formalize the expressions for the approximate estimation of the metric (3)–(7) for the evaluated instance of the QoS policy model at μΣu>>μΣe: (18) (19) (20) (21) (22) where For a case h2, a stationary probability distribution of a model states with state space Si, , is also determined by relation (15), and a stationary probability distribution of a model states with state space Si, , is identical to a stationary probability distribution of an Erlang model M/M/C−i/0 states with load wΣu. Accordingly, expressions (19)–(22) obtained for a case h1 will remain adequate for the case h2. The qualitative indicator Pu for the case h2 is characterized by the expression (23) 2.4. Approximate evaluation of typical QoS policy models of an ordinary 5G smart city cluster Let’s consider several typical implementations of the QoS policy of an ordinary 5G smart city cluster. We formalize the evaluation procedure of the fully available QoS policy, the characteristic feature of which is to ignore the differences between URLLC and eMBB traffic types: Te = The = Tu = C (this corresponds to the case h2 described in the previous subsection). It is obvious that in such a case Pu = Phu = Pe = Phe = P. Considering the PASTA theorem, let us generalize expressions (19)–(23) for the following partial case: where EB(x,y) is the classical expression for an Erlang model M/M/y/0 (Erlang B Model) at load x. The stationary distribution (15) for this partial case is defined as a stationary distribution of a model M/M/C−i/0 states probabilities with load wΣu: Now we formalize the QoS evaluation procedure of a single-threshold policy, the characteristic feature of which is to ignore discrepancies between new and handover requests for both URLLC and eMBB traffic types: Te = The, Tu = C, The