Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Antennas and Propagation for Wireless Communication Systems
Antennas and Propagation for Wireless Communication Systems
Computer Networks
Wireless sensor networks: a survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
RAP: A Real-Time Communication Architecture for Large-Scale Wireless Sensor Networks
RTAS '02 Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02)
An Implicit Prioritized Access Protocol for Wireless Sensor Networks
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
ICDCSW '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Spatial TDMA and CSMA with Preamble Sampling for Low Power Ad Hoc Wireless Sensor Networks
ISCC '02 Proceedings of the Seventh International Symposium on Computers and Communications (ISCC'02)
SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Scheduling Communication in Real-Time Sensor Applications
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
MC-CDMA Based IEEE 802.11 Wireless LAN
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
On Real-Time Capacity Limits of Multihop Wireless Sensor Networks
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Proposition of a Hard Real-Time MAC Protocol for Wireless Sensor Networks
MASCOTS '05 Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Research challenges for wireless sensor networks
ACM SIGBED Review - Special issue on embedded sensor networks and wireless computing
Worst-case lifetime computation of a wireless sensor network by model-checking
Proceedings of the 4th ACM workshop on Performance evaluation of wireless ad hoc, sensor,and ubiquitous networks
Activity recognition from on-body sensors: accuracy-power trade-off by dynamic sensor selection
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
Feedback based real-time MAC (RT-MAC) protocol for wireless sensor networks
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
A MAC protocol for cognitive wireless body area sensor networking
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Real-time traffic in ad-hoc sensor networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Journal of Network and Computer Applications
Mobile Networks and Applications
Design of a MAC protocol for e-emergency WSNs
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
Formal verification of real-time wireless sensor networks protocols with realistic radio links
Proceedings of the 21st International conference on Real-Time Networks and Systems
| Hi-index | 0.00 |
Several wireless sensor network applications are currently appearing in various domains. Their goal is often to monitor a geographical 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. This work proposes a real-time MAC protocol with realistic assumptions for a random linear network, where sensors are deployed randomly along a line. We present a formal validation of this protocol both for initialization and run-time, and present simulation results on a realistic scenario.