Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.
Ehsan KhamespanahKirill MechitovMarjan SirjaniGul A. AghaPublished in: SPIN (2016)
Keyphrases
- model checking
- sensor networks
- real time
- temporal logic
- mobile sensor networks
- communication cost
- sensor data
- camera network
- data acquisition
- environmental monitoring
- wireless sensor
- formal verification
- data analysis
- wireless sensor networks
- automated verification
- energy consumption
- data sets
- data streams
- transition systems
- epistemic logic
- formal methods
- finite state machines
- base station
- image processing
- web services
- multi agent