Evaluating Complex MAC Protocols for Sensor Networks with APMC | Zendy

Michaël Cadilhac | Zendy; Thomas Hérault | Zendy; Richard Lassaigne | Zendy; Sylvain Peyronnet | Zendy; Sébastien Tixeuil | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Evaluating Complex MAC Protocols for Sensor Networks with APMC

Author(s) -

Michaël Cadilhac,

Thomas Hérault,

Richard Lassaigne,

Sylvain Peyronnet,

Sébastien Tixeuil

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.05.027

Subject(s) - time division multiple access , computer science , media access control , probabilistic logic , access control , protocol (science) , computer network , schedule , channel access method , wireless sensor network , network allocation vector , multiple access with collision avoidance for wireless , wireless network , distributed computing , wireless , ieee 802.11 , key distribution in wireless sensor networks , telecommunications , artificial intelligence , operating system , medicine , alternative medicine , pathology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research