Sliding Time Interval based MAC Protocol and its Temporal Validation - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2007

Sliding Time Interval based MAC Protocol and its Temporal Validation

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.
Fichier principal
Vignette du fichier
STIMAPValidation.pdf (143.94 Ko) Télécharger le fichier
Loading...

Dates and versions

lirmm-00194273 , version 1 (07-01-2008)

Identifiers

  • HAL Id : lirmm-00194273 , version 1

Cite

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⟩
267 View
872 Download

Share

Gmail Facebook X LinkedIn More