A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks

Luz Judith R Esparza, Kebin Zeng, Bo Friis Nielsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    385 Downloads (Pure)

    Abstract

    We present a probabilistic model for the network setup phase of the Lightweight Medium Access Protocol (LMAC) for concurrent Wireless Sensor Networks. In the network setup phase, time slots are allocated to the individual sensors through resolution of successive collisions. The setup phase involving collisions should preferably be as short as possible for efficiency and energy consumption reasons. This concurrent stochastic process has inherent internal nondeterminism, and we model it using combinatorics. The setup phase is modeled by a discrete time Markov chain such that we can apply results from the theory of phase type distributions. Having obtained our model we are able to find optimal protocol parameters. We have simultaneously developed a simulation model, partly to verify our analytical derivations and partly to be able to deal with systems of excessively high order or stiff systems that might cause numerical challenges. Our abstracted model has a state space of limited size where the number of states are of the order binomial (n+r+1n), where n is number of sensors, and r is the maximum back off time. We have developed a tool, named LMAC analyzer, on the MATLAB platform to assist automatic generation and analysis of the model.
    Original languageEnglish
    Title of host publication2011 11th International Conference on Application of Concurrency to System Design (ACSD)
    Publication date2011
    Pages98-107
    ISBN (Print)978-1-61284-974-4
    DOIs
    Publication statusPublished - 2011
    EventInternational Conference on Application of Concurrency to System Design - Newcastle upon Tyne, United Kingdom,
    Duration: 1 Jan 2011 → …
    Conference number: 11

    Conference

    ConferenceInternational Conference on Application of Concurrency to System Design
    Number11
    CityNewcastle upon Tyne, United Kingdom,
    Period01/01/2011 → …
    SeriesProceedings of the International Conference on Application of Concurrency to System Design
    ISSN1550-4808

    Fingerprint Dive into the research topics of 'A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks'. Together they form a unique fingerprint.

    Cite this