Sliding Time Interval based MAC Protocol and its Temporal Validation

Karen Godary-Dejean 1 David Andreu 2, 3 Guillaume Souquet 3
1 EXPLORE - Robotique mobile pour l'exploration de l'environnement
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 DEMAR - Artificial movement and gait restoration
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In the context of distributed systems, the communication requirements are very different depending on the supported application, the system topology and the environment. The functional electrical stimulation is a critical and real time application domain: communications have to be safe (no loss, neither long nor unexpected delay). Therefore, an important part of this system from an efficiency point of view is the medium access mechanism. To fit with the specific constraints of our context, a new MAC protocol has been designed: STIMAP (Sliding Time Interval based Medium Access Protocol). This article presents a formal validation of this new protocol, allowing the validation of its behavior in an exhaustive way.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00194273
Contributor : Karen Godary-Dejean <>
Submitted on : Monday, January 7, 2008 - 4:11:50 PM
Last modification on : Thursday, February 14, 2019 - 8:44:01 AM
Long-term archiving on: Monday, April 12, 2010 - 6:23:41 AM

Identifiers

  • HAL Id : lirmm-00194273, version 1

Citation

Karen Godary-Dejean, David Andreu, Guillaume Souquet. Sliding Time Interval based MAC Protocol and its Temporal Validation. FET'07: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, Nov 2007, Toulouse, France, France. pp.119-126. ⟨lirmm-00194273⟩

Share

Metrics

Record views

441

Files downloads

1273