Detail publikace

Parametric Analysis of PGM protocol

MATOUŠEK, P., SIGHIREANU, M.

Originální název

Parametric Analysis of PGM protocol

Typ

přednáška

Jazyk

angličtina

Originální abstrakt

PGM protocol is a reliable multicast protocol running over unreliable network. Its main property is reliability - PGM guarantees that a receiver either receives all data packets and repairs, or it is able to detect unrecoverable data packet loss. However, it is interesting to know under which conditions the full reliability is obtained. Our work is focused on finding the constraints between parameters that satisfies full reliability property. We presents a new model based on a global view of PGM communication. Using verification tool TReX we synthetize parameters fully automatically. We discovered that standard data structures like PDBMs do not allowed to compute the number of definitively lost packets because of assignments for counters. For this reason, we need another data structure. We introduce a new data structure based on parametric intervals.

Klíčová slova

parametric verification, protocol, modelling, symbolic model-checking

Autoři

MATOUŠEK, P., SIGHIREANU, M.

Vydáno

22. 1. 2004

Místo

Advance meeting, Paris

Strany počet

33

URL

http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf

BibTex

@misc{BUT64893,
  author="Petr {Matoušek} and Mihaela {Sighireanu}",
  title="Parametric Analysis of PGM protocol",
  year="2004",
  pages="33",
  address="Advance meeting, Paris",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf",
  note="lecture"
}