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
LRI - Laboratoire de Recherche en Informatique, LIFL - Laboratoire d'Informatique Fondamentale de Lille, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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.
Type de document :
Communication dans un congrès
Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47, 2006
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00089494
Contributeur : Stephan Merz <>
Soumis le : vendredi 18 août 2006 - 19:39:58
Dernière modification le : jeudi 5 avril 2018 - 12:30:12
Document(s) archivé(s) le : mardi 18 septembre 2012 - 16:43:39

Fichier

Identifiants

  • 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. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47, 2006. 〈inria-00089494〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

120