A formalism for describing and simulating systems with interacting components.

This thesis addresses the problem of descriptive complexity presented by systems involving a high number of interacting components. It investigates the evaluation measure of performability and its application to such systems. A new description and simulation language, ICE and it's application to performability modelling is presented. ICE (Interacting ComponEnts) is based upon an earlier description language which was first proposed for defining reliability problems. ICE is declarative in style and has a limited number of keywords. The ethos in the development of the language has been to provide an intuitive formalism with a powerful descriptive space. The full syntax of the language is presented with discussion as to its philosophy. The implementation of a discrete event simulator using an ICE interface is described, with use being made of examples to illustrate the functionality of the code and the semantics of the language. Random numbers are used to provide the required stochastic behaviour within the simulator. The behaviour of an industry standard generator within the simulator and different methods of number allocation are shown. A new generator is proposed that is a development of a fast hardware shift register generator and is demonstrated to possess good statistical properties and operational speed. For the purpose of providing a rigorous description of the language and clarification of its semantics, a computational model is developed using the formalism of extended coloured Petri nets. This model also gives an indication of the language's descriptive power relative to that of a recognised and well developed technique. Some recognised temporal and structural problems of system event modelling are identified. and ICE solutions given. The growing research area of ATM communication networks is introduced and a sophisticated top down model of an ATM switch presented. This model is simulated and interesting results are given. A generic ICE framework for performability modelling is developed and demonstrated. This is considered as a positive contribution to the general field of performability research

Quality of service optimization of multimedia traffic in mobile networks

Mobile communication systems have continued to evolve beyond the currently deployed Third Generation (3G) systems with the main goal of providing higher capacity. Systems beyond 3G are expected to cater for a wide variety of services such as speech, data, image transmission, video, as well as multimedia services consisting of a combination of these. With the air interface being the bottleneck in mobile networks, recent enhancing technologies such as the High Speed Downlink Packet Access (HSDPA), incorporate major changes to the radio access segment of 3G Universal Mobile Telecommunications System (UMTS). HSDPA introduces new features such as fast link adaptation mechanisms, fast packet scheduling, and physical layer retransmissions in the base stations, necessitating buffering of data at the air interface which presents a bottleneck to end-to-end communication. Hence, in order to provide end-to-end Quality of Service (QoS) guarantees to multimedia services in wireless networks such as HSDPA, efficient buffer management schemes are required at the air interface. The main objective of this thesis is to propose and evaluate solutions that will address the QoS optimization of multimedia traffic at the radio link interface of HSDPA systems. In the thesis, a novel queuing system known as the Time-Space Priority (TSP) scheme is proposed for multimedia traffic QoS control. TSP provides customized preferential treatment to the constituent flows in the multimedia traffic to suit their diverse QoS requirements. With TSP queuing, the real-time component of the multimedia traffic, being delay sensitive and loss tolerant, is given transmission priority; while the non-real-time component, being loss sensitive and delay tolerant, enjoys space priority. Hence, based on the TSP queuing paradigm, new buffer managementalgorithms are designed for joint QoS control of the diverse components in a multimedia session of the same HSDPA user. In the thesis, a TSP based buffer management algorithm known as the Enhanced Time Space Priority (E-TSP) is proposed for HSDPA. E-TSP incorporates flow control mechanisms to mitigate congestion in the air interface buffer of a user with multimedia session comprising real-time and non-real-time flows. Thus, E-TSP is designed to provide efficient network and radio resource utilization to improve end-to-end multimedia traffic performance. In order to allow real-time optimization of the QoS control between the real-time and non-real-time flows of the HSDPA multimedia session, another TSP based buffer management algorithm known as the Dynamic Time Space Priority (D-TSP) is proposed. D-TSP incorporates dynamic priority switching between the real-time and non-real-time flows. D-TSP is designed to allow optimum QoS trade-off between the flows whilst still guaranteeing the stringent real-time component’s QoS requirements. The thesis presents results of extensive performance studies undertaken via analytical modelling and dynamic network-level HSDPA simulations demonstrating the effectiveness of the proposed TSP queuing system and the TSP based buffer management schemes

Extended Abstracts: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems

Coordinated Science Laboratory was formerly known as Control Systems LaboratoryThe pages of the front matter that are missing from the PDF were blank

Online QoS/Revenue Management for Third Generation Mobile Communication Networks

This thesis shows how online management of both quality of service (QoS) and provider revenue can be performed in third generation (3G) mobile networks by adaptive control of system parameters to changing traffic conditions. As a main result, this approach is based on a novel call admission control and bandwidth degradation scheme for real-time traffic. The admission controller considers real-time calls with two priority levels: calls of high priority have a guaranteed bit-rate, whereas calls of low priority can be temporarily degraded to a lower bit-rate in order to reduce forced termination of calls due to a handover failure. A second contribution constitutes the development of a Markov model for the admission controller that incorporates important features of 3G mobile networks, such as code division multiple access (CDMA) intra- and inter-cell interference and soft handover. Online evaluation of the Markov model enables a periodical adjustment of the threshold for maximal call degradation according to the currently measured traffic in the radio access network and a predefined goal for optimization. Using distinct optimization goals, this allows optimization of both QoS and provider revenue. Performance studies illustrate the effectiveness of the proposed approach and show that QoS and provider revenue can be increased significantly with a moderate degradation of low-priority calls. Compared with existing admission control policies, the overall utilization of cell capacity is significantly improved using the proposed degradation scheme, which can be considered as an 'on demand' reservation of cell capacity.To enable online QoS/revenue management of both real-time and non real-time services, accurate analytical traffic models for non real-time services are required. This thesis identifies the batch Markovian arrival process (BMAP) as the analytically tractable model of choice for the joint characterization of packet arrivals and packet lengths. As a key idea, the BMAP is customized such that different packet lengths are represented by batch sizes of arrivals. Thus, the BMAP enables the 'two-dimensional', i.e., joint, characterization of packet arrivals and packet lengths, and is able to capture correlations between the packet arrival process and the packet length process. A novel expectation maximization (EM) algorithm is developed, and it is shown how to utilize the randomization technique and a stable calculation of Poisson jump probabilities effectively for computing time-dependent conditional expectations of a continuous-time Markov chain required by the expectation step of the EM algorithm. This methodological work enables the EM algorithm to be both efficient and numerical robust and constitutes an important step towards effective, analytically/numerically tractable traffic models. Case studies of measured IP traffic with different degrees of traffic burstiness evidently demonstrate the advantages of the BMAP modeling approach over other widely used analytically tractable models and show that the joint characterization of packet arrivals and packet lengths is decisively for realistic traffic modeling at packet level

Telecommunications Networks

This book guides readers through the basics of rapidly emerging networks to more advanced concepts and future expectations of Telecommunications Networks. It identifies and examines the most pressing research issues in Telecommunications and it contains chapters written by leading researchers, academics and industry professionals. Telecommunications Networks - Current Status and Future Trends covers surveys of recent publications that investigate key areas of interest such as: IMS, eTOM, 3G/4G, optimization problems, modeling, simulation, quality of service, etc. This book, that is suitable for both PhD and master students, is organized into six sections: New Generation Networks, Quality of Services, Sensor Networks, Telecommunications, Traffic Engineering and Routing

Safety and Reliability - Safe Societies in a Changing World

The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk managemen

Journal of Telecommunications and Information Technology, nr 4

kwartalni