|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 21 van 129 gevonden artikelen
| Titel: |
Analysing the PGM protocol with UPPAAL |
| Auteur: |
Berard, Beatrice Bouyer, Patricia Petit, Antoine |
| Verschenen in: |
International journal of production research |
| Paginering: | Jaargang 42 (2004) nr. 14 pagina's 2773-2791 |
| Jaar: |
2004-07-15 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 21 van 129 gevonden artikelen
| << vorige | volgende >> |