Analyzing the schedulability of hierarchical real-time systems is difficult because of the systems' complex behavior. It gets more complicated when shared resources or dependencies among tasks are included. This paper introduces a framework based on UPPAAL that can analyze the schedulability of hierarchical real-time systems.

In this paper, we propose two channel allocation schemes for supporting voice and multimedia traffic in hierarchical cellular systems. They are guaranteed to satisfy the required quality of service for multimedia traffic in accordance with their characteristics such as a mobile velocity for voice calls and a delay tolerance for multimedia calls. In the first, only slow-speed voice calls are allowed to overflow from macrocell to microcell and only adaptive multimedia calls can overflow from microcell to macrocell after reducing their bandwidth to the minimum channel bandwidth. In the second, in addition to the first scheme, non-adaptive multimedia calls can occupy the required channel bandwidth through reducing the channel bandwidth of adaptive multimedia calls. The proposed schemes are analyzed using the 2-dimensional Markov model. Through computer simulations, it is shown that the proposed schemes yield a significant improvement in terms of the forced termination probability of handoff calls. In particular, the second decreases the blocking probability of new calls as well as the forced termination probability of handoff calls.

In order to serve traffic hot spots, the hierarchical cellular systems or the hybrid TDMA/CDMA have been proposed, recently. In order to depress the multi-user interference and increase capacity, the forward link power control strategy is adopted in the macrocell/microcell hierarchical cellular system using code division multiple access (CDMA). Its effects are estimated in this paper. Especially, the impact of -th distance power control laws on the forward link outage probability and capacity plane for the hierarchical cellular system are investigated. The coverage area user capacity of the overlaid macrocell/microcell cellular system is obtained. The numerical results and discussions with previous published results are presented in detail.