Abstract
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.
This work has been partly performed in the framework of the DECOR project, involving GMD (Germany) and CNR (Italy).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
IEEE_802.11, IEEE 802.11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) speci-fications, 1997.
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.
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.
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.
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.
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.
F. Cristian, “Understanding Fault-tolerant Distributed System,” Communications of ACM, vol. 34, pp. 56–78, 1991.
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.
T. S. Rappaport, Wireless Communications - Principles and Practice, 1996.
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.
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.
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.
K. S. Miller, Multidimensional Gaussian Distributions. New York, 1964.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Bondavalli, A., Coccoli, A., Di Giandomenico, F. (2002). QoS Analysis of Group Communication Protocols in Wireless Environment. In: Ezhilchelvan, P., Romanovsky, A. (eds) Concurrency in Dependable Computing. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3573-4_9
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3573-4_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5278-3
Online ISBN: 978-1-4757-3573-4
eBook Packages: Springer Book Archive