inria-00070239, version 1

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

Thomas Watteyne ¹, Isabelle Augé-Blum, Stéphane Ubéda

N° RR-5782 (2005)

• 1 :  ARES (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes)
• http://www.citi.insa-lyon.fr/team/ares/
  INRIA – Institut National des Sciences Appliquées (INSA) - Lyon CITI Laboratory Domaine Scientifique de la Doua, INSA Lyon Batiment Leonard de Vinci 21, avenue Jean Capelle 69621 Villeurbanne Cedex France

Références bibliographiques

• Type de publication : Rapports
• Domaine : Informatique/Autre
• Titre : Formal QoS Validation Approach on a Real-Time MAC Protocol for Wireless Sensor Networks
• Résumé : 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).
• Langue du document : Anglais
• Nombre de pages : 16
• Date de publication : 12/2005
• Mots-clés : WIRELESS SENSOR NETWORKS / MAC PROTOCOL / HARD REAL-TIME CONSTRAINTS / FORMAL MODELING AND VALIDATION
• Date de rédaction : 12/2005
• Référence interne : RR-5782

Liste des fichiers attachés à ce document :

• inria-00070239, version 1
• http://hal.inria.fr/inria-00070239
• oai:hal.inria.fr:inria-00070239
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Vendredi 19 Mai 2006, 19:37:30
• Dernière modification le : Mercredi 31 Mai 2006, 14:24:23