QoS analysis of group communication protocols in wireless environment (Contributo in volume (capitolo o saggio))

Type
Label
  • QoS analysis of group communication protocols in wireless environment (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 2002-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-1-4757-3573-4_9 (literal)
Alternative label
  • Bondavalli A. 1, Coccoli A. 2, Di Giandomenico F. 3 (2002)
    QoS analysis of group communication protocols in wireless environment
    Kluwer Academic Publishers, Boston (Stati Uniti d'America) in Concurrency in Dependable Computing, 2002
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bondavalli A. 1, Coccoli A. 2, Di Giandomenico F. 3 (literal)
Pagina inizio
  • 169 (literal)
Pagina fine
  • 188 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta
  • Boston (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Concurrency in Dependable Computing (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • A1-03 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • This chapter describes 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 the study, the protocols have been analysed taking into account relevant phenomena affecting the environment in which such protocols are called to operate. Also, in order to enhance the correctness of the derived models, a formal description of the protocols has beeen 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 behavior and their environment (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • 1 UNIFI, 2 UNIPI, 3 CNR-ISTI (literal)
Titolo
  • QoS analysis of group communication protocols in wireless environment (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana
  • Concurrency in Dependable Computing, Chapter 9, pp. 169-188 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-1-4419-5278-3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • P. Ezhilchelvan and A. Romanovsky (eds.) (literal)
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. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it