Evaluating complex MAC protocols for sensor networks with APMC - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Evaluating complex MAC protocols for sensor networks with APMC

Abstract

In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by constructing a Time Division Media Access (TDMA) schedule. APMC (Approximate Probabilistic Model Checker) is a tool that uses approximation-based verification techniques in order to analyse the behavior of complex probabilistic systems. Using APMC, we approximately computed the probabilities of several properties of the MAC protocol being studied, thus giving some insights about it performance.
Fichier principal
Vignette du fichier
article.pdf (229.11 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00089494 , version 1 (18-08-2006)

Identifiers

  • HAL Id : inria-00089494 , version 1

Cite

Michaël Cadilhac, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil. Evaluating complex MAC protocols for sensor networks with APMC. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47. ⟨inria-00089494⟩
155 View
180 Download

Share

Gmail Facebook X LinkedIn More