Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
CDMA: principles of spread spectrum communication
CDMA: principles of spread spectrum communication
TED—a language for modeling telecommunication networks
ACM SIGMETRICS Performance Evaluation Review - Special issue on the telecommunications description language
Automated compositional Markov chain generation for a plain-old telephone system
Science of Computer Programming
Compositional performance modelling with the TIPPtool
Performance Evaluation - Special issue on modelling techniques and tools for performance evaluation
Communication and Concurrency
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
UMTS/IMT-2000 based on wideband CDMA
IEEE Communications Magazine
Hi-index | 0.00 |
The third generation UMTS system will be able to offer a wide variety of multimedia services (speech, teleconferencing, browsing on the net, etc.). In order to allocate resources to these heterogeneous traffic sources in an efficient way, shared channels have been introduced in addition to the traditional transfer on dedicated channels. Although initially conceived for not real-time packet users, shared channels can satisfy the performance requirements of real-time traffic, thanks to the short and efficient channel reservation signaling phase. This paper compares the performance of the radio resource allocation strategies based on dedicated and shared channels, and quantifies the increase in system capacity of an hybrid solution, where shared channels are used to convey the bursty low priority component of a real-time video service. Since the low priority packets that cannot be delivered are dropped, a specific minimum amount of shared resources is required to match the global quality of service requirements of the video service.Modeling and numerical analysis are carried out with the TIPPtool package. With its formal and effective notation and the provision of stochastic features, a compact system specification can be obtained and validated for proper behavior, and performance measures can be derived. In order to numerically evaluate the huge state-space of the complex system under study, a compositional approach is proposed: the system is decomposed into simpler components, which are analyzed separately and whose numerical results are associated for global performance evaluation.