Modeling, specification and verification of ad-hoc sensor networks using SPIN.
Vladimir A. OleshchukPublished in: Comput. Stand. Interfaces (2005)
Keyphrases
- sensor networks
- wireless sensor networks
- sensor data
- resource constrained
- communication cost
- environmental monitoring
- sensor nodes
- data collection
- data streams
- communication bandwidth
- energy efficient
- underwater acoustic
- formal methods
- data aggregation
- colored petri nets
- sensor readings
- energy consumption
- data gathering
- camera network
- model checking
- key establishment
- mobile sensor networks
- reduce communication cost
- access control
- routing protocol
- wireless sensor nodes