Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.
Ahmed HammadHassan MountassirSamir ChoualiPublished in: MODELSWARD (2013)
Keyphrases
- energy consumption
- wireless sensor networks
- energy efficient
- energy efficiency
- sensor nodes
- energy saving
- sensor networks
- energy conservation
- data transmission
- energy aware
- data aggregation
- base station
- routing protocol
- multi hop
- save energy
- data gathering
- cluster head
- residual energy
- resource constrained
- routing algorithm
- data center
- energy efficient routing
- network lifetime
- wireless communication
- formal methods
- topology control
- resource limitations
- data dissemination
- mac protocol
- electricity consumption
- load distribution
- duty cycling
- node selection
- power management
- ad hoc networks
- total energy
- sensor data
- reduce the energy consumption
- network topology
- data streams