Evaluating complex MAC protocols for sensor networks with APMC

From LRDE

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

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.}
}