Skip to Main content Skip to Navigation
New interface

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

Thomas Watteyne 1 Isabelle Augé-Blum Stéphane Ubéda 
1 ARES - Architectures of networks of services
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
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).
Document type :
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 7:37:30 PM
Last modification on : Friday, February 4, 2022 - 3:14:44 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:39:09 AM


  • HAL Id : inria-00070239, version 1


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⟩



Record views


Files downloads