Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070239
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:37:30 PM
Last modification on : Wednesday, July 8, 2020 - 12:42:10 PM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:39:09 AM

Identifiers

  • HAL Id : inria-00070239, version 1

Citation

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⟩

Share

Metrics

Record views

411

Files downloads

587