Formal QoS Validation Approach on a Real-Time MAC Protocol for Wireless Sensor Networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2005

Formal QoS Validation Approach on a Real-Time MAC Protocol for Wireless Sensor Networks

Thomas Watteyne
Isabelle Augé-Blum
  • Function : Author
Stéphane Ubéda

Abstract

Several wireless sensor network applications are currently popping up, in various domains. Their goal is often to monitor a geographic area. When a sensor detects a monitored event, it informs a sink node using alarm messages. The area surveillance application needs to react to such an event with a finite, bounded and known delay: these are real-time constraints. The network being linear, routing becomes unnecessary. This work proposes a new real-time MAC protocol with realistic assumptions on sensor networks. We present a formal validation of this protocol, and explicit the worst case times for the services offered by the protocol (initialization and alarm transmission using different modes).
Fichier principal
Vignette du fichier
RR-5782.pdf (521.4 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00070239 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070239 , version 1

Cite

Thomas Watteyne, Isabelle Augé-Blum, Stéphane Ubéda. Formal QoS Validation Approach on a Real-Time MAC Protocol for Wireless Sensor Networks. RR-5782, INRIA. 2005, pp.16. ⟨inria-00070239⟩
184 View
304 Download

Share

Gmail Facebook X LinkedIn More