Loading...
Please wait, while we are loading the content...
Similar Documents
Proposition et validation formelle d'un protocole MAC temps réel pour réseaux de capteurs linéaires sans fils
| Content Provider | Semantic Scholar |
|---|---|
| Author | Watteyne, Thomas Augé-Blum, Isabelle |
| Copyright Year | 2005 |
| Abstract | Several wireless sensor network applications are currently popping up, in areas ranging from Defense, security, to health or smart homes. Their goal is often to monitor a geographic area and when a sensor detects a feared event, it informs the sink using an alarm message. When such an event happens, the application needs to react with a finite bounded and known delay; these are real-time constraints. What’s more, only few works on communication protocols deal with such constraints, and to our knowledge, the only real-time proposal makes very restrictive assumptions on the sensor network. In this work, we chose to use a highway car accident system as an application example, the network is then linear and routing becomes unnecessary. This work proposes a new real-time MAC protocol with realistic assumptions on sensor networks. What’s more, we present a formal validation of this protocol, and explicit the worst case times for the services offered by the protocol (initialization, alarm transmission using the different modes). This work lead to a paper submission for the 13 Annual Meeting of the IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS’05), which will be held in Atlanta, U.S, September 26-29 2005. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://twatteyne.files.wordpress.com/2013/05/watteyne05masters.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
