Evaluating complex MAC protocols for sensor networks with APMC
From LRDE
- 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
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.}
}