Using priced timed automata for the specification and verification of CSMA/CA in WSNs.
Zohra HmidiLaïd KahloulSaber BenharzallahPublished in: Int. J. Inf. Commun. Technol. (2020)
Keyphrases
- timed automata
- model checking
- formal verification
- formal specification
- wireless sensor networks
- formal methods
- temporal logic
- reachability analysis
- cellular automata
- asynchronous circuits
- ad hoc networks
- energy consumption
- routing algorithm
- base station
- resource constrained
- specification language
- concurrent systems
- sensor nodes
- multi hop
- data gathering
- energy efficient
- sensor networks
- mac protocol
- protocol specification
- secure routing
- data collection
- data aggregation
- resource limitations
- real time
- scheme for wireless sensor networks
- theorem proving
- theorem prover
- wireless communication
- routing protocol
- wireless networks
- energy aware
- covering arrays
- high level