Evaluating complex MAC protocols for sensor networks with APMC

Michaël Cadilhac 1 Thomas Hérault 2 Richard Lassaigne 3 Sylvain Peyronnet 1 Sébastien Tixeuil 2
2 GRAND-LARGE - Global parallel and distributed computing
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LIFL - Laboratoire d'Informatique Fondamentale de Lille, LRI - Laboratoire de Recherche en Informatique
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00089494
Contributor : Stephan Merz <>
Submitted on : Friday, August 18, 2006 - 7:39:58 PM
Last modification on : Thursday, February 21, 2019 - 10:52:50 AM
Long-term archiving on : Tuesday, September 18, 2012 - 4:43:39 PM

Identifiers

  • HAL Id : inria-00089494, version 1

Collections

Citation

Michaël Cadilhac, Thomas Hérault, 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⟩

Share

Metrics

Record views

431

Files downloads

280