Most wireless communication and mobile computing systems are expected to be operational 24 hours a day, 7 days a week. However, wireless communication systems encounter failures. Performability modelling and evaluation of wireless and mobile systems have been of interest for recent research work. Especially, because of the complexity of the next generation wireless and mobile systems, modelling and performance evaluation is essential to improve the architecture according to the quality of service (QoS) requirements and performance characteristics. This paper presents a performability evaluation framework for wireless cellular networks in wireless environments using analytical modelling approaches. The availability and mobility issues are also considered in the proposed models. Well-known approximate Markov reward model solution and the exact Spectral expansion solution approaches are considered. Performability measures of proposed models, such as blocking probability and mean queue length are presented.