QoS Analysis of Group Communication Protocols in Wireless Environment

  • Andrea Bondavalli
  • Andrea Coccoli
  • Felicita Di Giandomenico


QoS 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 with user requirements. The area of distributed applications, whose development is increasing more and more, favoured by the high connectivity provided by advanced Internet and Web technologies, poses special challenges in this respect. In this chapter, we describe an analytical approach for the evaluation of the QoS offered by two group communication protocols in a wireless environment. Experimental data are used both to feed the models and to validate them. Specific performance and dependability related indicators have been defined and evaluated. To improve the utility of our study, we analysed the protocols taking into account relevant phenomena affecting the environment in which such protocols are called to operate. Specifically, the fading phenomenon and the user mobility have been explicitly introduced in our models, to evaluate their impact on the correlation among successive packet transmissions. Also, in order to enhance the correctness of the derived models, a formal description of the protocols has been performed, adopting the timed asynchronous system model. The aim of this work is to provide a fast, cost effective, and formally sound way to analyse and understand protocols behaviour and their environment.


Fading Channel Mobile Station Wireless Local Area Network Correct Station Broadcast Message 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    B. Teitelbaum, J. Sikora, and T. Hanss, “Quality of Service for Internet2,” presented at First Internet2 Joint Applications/Engineering Workshop: Enabling Advanced Applica-fions Through QoS, Santa Clara, CA, 1998.Google Scholar
  2. [2]
    M. Mock, E. Nett, and S. Schemmer, “Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks,” presented at 3rd European Dependable Computing Conference, Prague, Czech Republic, 1999.Google Scholar
  3. [3]
    IEEE_802.11, IEEE 802.11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) speci-fications, 1997.Google Scholar
  4. [4]
    F. Cristian and C. Fetzer, “The Timed Asynchronous Distributed System Model,” presented at 28th Int. Symp. On Fault-Tolerant Computing (FTCS-28), Munich, Germany, 1998.Google Scholar
  5. [5]
    W. H. Sanders and W. D. Obal II, “Dependability Evaluation Using UltraSAN,” presented at 23rd Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, 1993.Google Scholar
  6. [6]
    W. H. Sanders, W. D. Obal, M. A. Qureshi, and F. K. Widjanarko, “The UltraSAN Modeling Environment,” Performance Evaluation, vol. 24, pp. 89–115, 1995.zbMATHCrossRefGoogle Scholar
  7. [7]
    A. Coccoli, S. Schemmer, F. D. Giandomenico, M. Mock, and A. Bondavalli, “Analysis of Group Communi-cation Protocols to Assess Quality of Service Properties,” presented at HASE00, Albuquerque, NM, USA, 2000.Google Scholar
  8. [8]
    V. Hadzilacos and S. Toueg, “Fault-tolerant Broadcasts and Related Problems,” in Distributed Systems, S. J. Mullender, Ed. Reading: Addison-Wesley, 1993, pp. 97–145.Google Scholar
  9. [9]
    F. Cristian, “Understanding Fault-tolerant Distributed System,” Communications of ACM, vol. 34, pp. 56–78, 1991.CrossRefGoogle Scholar
  10. [10]
    W. H. Sanders and J. F. Meyer, “A Unified Approach for Specifying Measures of Performance, Dependability and Performability,” in Dependable Computing for Critical Applications, vol. 4 of Dependable Computing and Fault-Tolerant Systems, H. K. A. Avizienis, and J. Laprie, Ed.: Springer-Verlag, 1991, pp. 215–237.Google Scholar
  11. [11]
    T. S. Rappaport, Wireless Communications - Principles and Practice, 1996.Google Scholar
  12. [12]
    M. Zorzi, R. R. Rao, and L. B. Milstein, “On The Accuracy Of A First-Order Markov Model For Data Block Transmission On Fading Channels,” presented at IEEE ICUPC’95, 1995.Google Scholar
  13. [13]
    W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko, “UltraSAN Version 3: Architecture, Features, and Implementation,” presented at AIAA Computing in Aerospace 10 Conference, San Antonio, TX, 1995.Google Scholar
  14. [14]
    L. F. Chang, “Throughput Estimation Of Arq Protocols For A Rayleigh Fading Channel Using Fade- And Interfade-Durations Statistics,” IEEE Trans. Veh. Tech., vol. VT-40, pp. 23–229, 1991.Google Scholar
  15. [15]
    K. S. Miller, Multidimensional Gaussian Distributions. New York, 1964.Google Scholar

Copyright information

© Springer Science+Business Media New York 2002

Authors and Affiliations

  • Andrea Bondavalli
    • 1
  • Andrea Coccoli
    • 2
  • Felicita Di Giandomenico
    • 3
  1. 1.Univ. of FirenzeFirenzeItaly
  2. 2.Univ. of PisaPisaItaly
  3. 3.IEI-CNRPisaItaly

Personalised recommendations