• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail

Analysing the PGM protocol with Uppaal

Petit, Antoine; Bouyer, Patricia; Bérard, Béatrice (2004), Analysing the PGM protocol with Uppaal, International Journal of Production Research, 42, 14, p. 2773-2791. http://dx.doi.org/00207540410001705220

View/Open
BerardBouyerPetitanalysingthePGM.pdf (301.3Kb)
Type
Article accepté pour publication ou publié
Date
2004
Journal name
International Journal of Production Research
Volume
42
Number
14
Publisher
Taylor & Francis Ltd
Pages
2773-2791
Publication identifier
http://dx.doi.org/00207540410001705220
Metadata
Show full item record
Author(s)
Petit, Antoine
Bouyer, Patricia cc
Bérard, Béatrice
Abstract (EN)
Pragmatic General Multicast (PGM) is a reliable multicast protocol, designed to minimize both the probability of negative acknowledgement implosion and the load of the network due to the retransmission of lost packets. This protocol was presented to the Internet Engineering Task Force as an open reference specification. In this paper, we focus on the main reliability property which PGM intends to guarantee: a receiver either receives all data packets from transmissions and repairs or is able to detect unrecoverable data packet loss. We first propose a modelization of (a simplified version of) PGM via a network of timed automata. Using the UPPAAL model-checker, we then study the validity of the above reliability property, which does not always turn out to be verified, but to depend on the values of several parameters, which we underscore.
Subjects / Keywords
Computer engineering; Computer networks; Computer network protocols; Data transmission systems; Multicasting

Related items

Showing items related by title and author.

  • Thumbnail
    Timed temporal logics for abstracting transient states 
    Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François (2006) Communication / Conférence
  • Thumbnail
    A New Modality for Almost Everywhere Properties in Timed Automata 
    Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François (2005) Communication / Conférence
  • Thumbnail
    Intersection of Regular Signal-Event (Timed) Languages 
    Bérard, Béatrice; Gastin, Paul; Petit, Antoine (2006) Communication / Conférence
  • Thumbnail
    Timed substitutions for regular signal-event languages 
    Bérard, Béatrice; Gastin, Paul; Petit, Antoine (2007) Article accepté pour publication ou publié
  • Thumbnail
    Refinements and Abstractions of Signal-Event (Timed) Languages 
    Petit, Antoine; Gastin, Paul; Bérard, Béatrice (2006) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo