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.
Type de document :
Communication dans un congrès
IFAC. FET'07: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, Nov 2007, Toulouse, France, France. pp.119-126, 2007, 〈http://www.fet2007.org/〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00194273
Contributeur : Karen Godary-Dejean <>
Soumis le : lundi 7 janvier 2008 - 16:11:50
Dernière modification le : vendredi 12 janvier 2018 - 01:55:47
Document(s) archivé(s) le : lundi 12 avril 2010 - 06:23:41

Identifiants

  • HAL Id : lirmm-00194273, version 1

Citation

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

Partager

Métriques

Consultations de la notice

245

Téléchargements de fichiers

1154