Publications/cadilhac.06.avocs

Authors

Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil

Where

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS)

Type

inproceedings

Projects

APMC

Date

2006-07-27

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 its performance.

Documents

• Paper

Bibtex (lrde.bib)

@InProceedings{	  cadilhac.06.avocs,
  author	= {Micha\"el Cadilhac and Thomas H\'erault and Richard
		  Lassaigne and Sylvain Peyronnet and Sebastien Tixeuil},
  title		= {Evaluating complex {MAC} protocols for sensor networks
		  with {APMC}},
  booktitle	= {Proceedings of the 6th International Workshop on Automated
		  Verification of Critical Systems (AVoCS)},
  year		= 2006,
  series	= {Electronic Notes in Theoretical Computer Science Series},
  pages		= {33--46},
  volume	= 185,
  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 its
		  performance.}
}