Prediction of performance of the DVB-SH system relying on mutual information

DVB-SH (Digital Video Broadcasting-Satellite Handled) is a broadcasting standard dedicated to hybrid broadcasting systems combining a satellite and a terrestrial part. On the satellite part, dedicated interleaving and time slicing mechanisms are proposed to mitigate the effects of Land Mobile Satellite (LMS) channel, based on a convolutional interleaver. Depending on the parameters of this interleaver, this mechanism enables to split in time a codeword on duration from 100 ms to about 30s. This mechanism signi?cantly improves the error recovery performance of the code but in literature, exact evaluation at system level of this improvement is missing. The objective of this paper is to propose a prediction method compatible with fast simulations, to quantitatively evaluate the system performance in terms of Packet Error Rate (PER). The main dif?culty is to evaluate the decoding probability of a codeword submitted to several levels of attenuation. The method we propose consists in using as metric the Mutual Information (MI) between coded bit at the emitter side and the received symbol. It is shown that, by averaging the MI over the codeword and by using the decoding performance function g such that PER=g(MI)determined on the Gaussian channel, we can signi?cantly improve the precision of the prediction compared to the two other methods based on SNR and Bit Error Rate (BER). We evaluated these methods on three arti?cial channels where each codeword is transmitted with three or four different levels of attenuations. The prediction error of the SNR-based (resp. the input BER-based) method varies from 0.5 to 1.7 dB (resp. from 0.7 to 1.2 dB) instead of the MI-based method achieves a precision in the order of 0.1 dB in the three cases. We then evaluate this method on real LMS channels with various DVB-SH interleavers and show that the instantaneous PER can also be predicted with high accuracy

Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance

Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner. Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''. The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few. This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage. The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling

A survey of self organisation in future cellular networks

This article surveys the literature over the period of the last decade on the emerging field of self organisation as applied to wireless cellular communication networks. Self organisation has been extensively studied and applied in adhoc networks, wireless sensor networks and autonomic computer networks; however in the context of wireless cellular networks, this is the first attempt to put in perspective the various efforts in form of a tutorial/survey. We provide a comprehensive survey of the existing literature, projects and standards in self organising cellular networks. Additionally, we also aim to present a clear understanding of this active research area, identifying a clear taxonomy and guidelines for design of self organising mechanisms. We compare strength and weakness of existing solutions and highlight the key research areas for further development. This paper serves as a guide and a starting point for anyone willing to delve into research on self organisation in wireless cellular communication networks

Contributions to channel modelling and performance estimation of HAPS-based communication systems regarding IEEE Std 802.16TM

New and future telecommunication networks are and will be broadband type. The existing terrestrial and space radio communication infrastructures might be supplemented by new wireless networks that make and will make use of aeronautics-technology. Our study/contribution is referring to radio communications based on radio stations aboard a stratospheric platform named, by ITU-R, HAPS (High Altitude Platform Station). These new networks have been proposed as an alternative technology within the ITU framework to provide various narrow/broadband communication services. With the possibility of having a payload for Telecommunications in an aircraft or a balloon (HAPS), it can be carried out radio communications to provide backbone connections on ground and to access to broadband points for ground terminals. The latest implies a complex radio network planning. Therefore, the radio coverage analysis at outdoors and indoors becomes an important issue on the design of new radio systems. In this doctoral thesis, the contribution is related to the HAPS application for terrestrial fixed broadband communications. HAPS was hypothesised as a quasi-static platform with height above ground at the so-called stratospheric layer. Latter contribution was fulfilled by approaching via simulations the outdoor-indoor coverage with a simple efficient computational model at downlink mode. This work was assessing the ITU-R recommendations at bands recognised for the HAPS-based networks. It was contemplated the possibility of operating around 2 GHz (1820 MHz, specifically) because this band is recognised as an alternative for HAPS networks that can provide IMT-2000 and IMT-Advanced services. The global broadband radio communication model was composed of three parts: transmitter, channel, and receiver. The transmitter and receiver parts were based on the specifications of the IEEE Std 802.16TM-2009 (with its respective digital transmission techniques for a robust-reliable link), and the channel was subjected to the analysis of radio modelling at the level of HAPS and terrestrial (outdoors plus indoors) parts. For the channel modelling was used the two-state characterisation (physical situations associated with the transmitted/received signals), the state-oriented channel modelling. One of the channel-state contemplated the environmental transmission situation defined by a direct path between transmitter and receiver, and the remaining one regarded the conditions of shadowing. These states were dependent on the elevation angle related to the ray-tracing analysis: within the propagation environment, it was considered that a representative portion of the total energy of the signal was received by a direct or diffracted wave, and the remaining power signal was coming by a specular wave, to last-mentioned waves (rays) were added the scattered and random rays that constituted the diffuse wave. At indoors case, the variations of the transmitted signal were also considering the following matters additionally: the building penetration, construction material, angle of incidence, floor height, position of terminal in the room, and indoor fading; also, these indoors radiocommunications presented different type of paths to reach the receiver: obscured LOS, no LOS (NLOS), and hard NLOS. The evaluation of the feasible performance for the HAPS-to-ground terminal was accomplished by means of thorough simulations. The outcomes of the experiment were presented in terms of BER vs. Eb/N0 plotting, getting significant positive conclusions for these kind of system as access network technology based on HAPS

Packet Loss in Terrestrial Wireless and Hybrid Networks

The presence of both a geostationary satellite link and a terrestrial local wireless link on the same path of a given network connection is becoming increasingly common, thanks to the popularity of the IEEE 802.11 protocol. The most common situation where a hybrid network comes into play is having a Wi-Fi link at the network edge and the satellite link somewhere in the network core. Example of scenarios where this can happen are ships or airplanes where Internet connection on board is provided through a Wi-Fi access point and a satellite link with a geostationary satellite; a small office located in remote or isolated area without cabled Internet access; a rescue team using a mobile ad hoc Wi-Fi network connected to the Internet or to a command centre through a mobile gateway using a satellite link. The serialisation of terrestrial and satellite wireless links is problematic from the point of view of a number of applications, be they based on video streaming, interactive audio or TCP. The reason is the combination of high latency, caused by the geostationary satellite link, and frequent, correlated packet losses caused by the local wireless terrestrial link. In fact, GEO satellites are placed in equatorial orbit at 36,000 km altitude, which takes the radio signal about 250 ms to travel up and down. Satellite systems exhibit low packet loss most of the time, with typical project constraints of 10−8 bit error rate 99% of the time, which translates into a packet error rate of 10−4, except for a few days a year. Wi-Fi links, on the other hand, have quite different characteristics. While the delay introduced by the MAC level is in the order of the milliseconds, and is consequently too small to affect most applications, its packet loss characteristics are generally far from negligible. In fact, multipath fading, interference and collisions affect most environments, causing correlated packet losses: this means that often more than one packet at a time is lost for a single fading even