Analysis and estimation of the quality of service of group communication protocols

QoS (defined as a proper set of quantitative characteristics) analysis is a necessary step for the early verification and validation of an appropriate design, and for taking design decisions about the most rewarding choice, in relation to user requirements. We describe an analytical approach for the evaluation of the QoS offered by a family of group communication protocols in a wireless environment, and use experimental data to feed our models. Specific indicators have been defined and evaluated, which capture the main characteristics of the protocols and of the environment, focusing our attention on performance and dependability attributes. The defined models account for the correlation among successive packet transmissions due to fading and user mobility. The main purpose of our analysis is to provide a fast, cost effective, and formally sound way to further analyze and understand the protocol behavior and its environment.

[1]  H. O. Posten.  Multidimensional Gaussian Distributions , 1964 .

[2]  M. A. Lifshits.  Multi-Dimensional Gaussian Distributions , 1995 .

[3]  A. M. Abdullah,et al.  Wireless lan medium access control (mac) and physical layer (phy) specifications , 1997 .

[4]  Michele Zorzi,et al.  Performance of TCP on wireless fading links with memory , 1998, ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220).

[5]  L. B. Milstein,et al.  On the accuracy of a first-order Markov model for data transmission on fading channels , 1995, Proceedings of ICUPC '95 - 4th IEEE International Conference on Universal Personal Communications.

[6]  Sam Toueg,et al.  Fault-tolerant broadcasts and related problems , 1993 .

[7]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

[8]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[9]  Edgar Nett,et al.  Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks , 1999, EDCC.

[10]  Gregor von Bochmann,et al.  Distributed Multimedia and QOS: A Survey , 1995, IEEE Multim..

[11]  L. F. Chang.  Throughput estimation of ARQ protocols for a Rayleigh fading channel using fade- and interfade-duration statistics , 1991 .

[12]  Theodore S. Rappaport,et al.  Wireless communications - principles and practice , 1996 .

[13]  Andrea Bondavalli,et al.  Analysis of group communication protocols to assess quality of service properties , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).