A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks
[chapter]
2007
Lecture Notes in Computer Science
In this paper we report about modelling and verification of a medium access control protocol for wireless sensor networks, the LMAC protocol. Our approach is to systematically investigate all possible connected topologies consisting of four and of five nodes. The analysis is performed by timed automaton model checking using Uppaal. The property of main interest is detecting and resolving collision. To evaluate this property for all connected topologies more than 8000 model checking runs were
doi:10.1007/978-3-540-73210-5_14
fatcat:cwlqxnrs25hyhojd5m2udjxkse