We propose a new finite population model for cellular mobile systems with traveling users. In this model, mobile users arrive according to a Poisson process from outside the system, independently travel in the system, and leave the system in due time. A mobile user is either in call (active) or out of call (inactive). We find that if two minor modifications are made to the model, the joint distribution of the number of calls in progress in each cell has the product form. Making the two modifications is referred to as product-form approximation in this paper. Under the product-form approximation, the probability that channels are fully occupied in a cell is given by the Erlangloss formula. We evaluate the accuracy of the product-form approximation through several simulation experiments, and find that the Erlang-loss formula remains applicable to the performance evaluation and channel provisioning of cellular mobile systems.Keywords: Telecommunication, mathematical modeling, cellular mobile systems, Erlang-loss formula, insensitivity
IntroductionInvestigating the performance characteristics of cellular mobile networks has been the focus of considerable research reported in literature. The performance of cellular mobile systems is often described in terms of the probability of call blocking or that of hand-off blocking. Thus, it is crucial to find a simple method to evaluate these performance indices in order to design cellular mobile networks.In traditional wired telephone networks, the Erlang-loss formula has been used to evaluate the call blocking probability. The Erlang-loss formula holds when new calls are generated according to a Poisson process. In wired telephone networks, calls are generated by users, the number of which is much larger than the number of available channels, and thus the call arrival rate does not depend on the number of calls in progress. Under such infinite population models, the use of the Poisson-arrival assumption is appropriate. However, the infinite population model may not be applicable to cellular mobile systems because the number of mobile users (mobile units) in a small cell cannot be regarded as "infinite" compared with that of available channels. In this sense, the finite population model would suite cellular mobile systems. Note that, due to user mobility, the number of mobile users within a cell should fluctuate over time. Most existing formulas based on finite population models like the Engset formula, however, do not take the fluctuation of the population over time into account.Recently, Machihara proposed a finite population model for cellular mobile systems [7]. In Machihara's model, mobile users arrive according to a Poisson process from outside the system, travel independently within the system, and leave the system in due time. He found that, in this model with a certain modification, the call blocking or hand-off blocking probability is given by the Erlang-loss formula. In addition, he showed that an insensitive property holds; the stationary