Modelling Energy Consumption in Embedded Systems with VDM-RT.
José Antonio Esparza IsasaPeter Würtz Vinther JørgensenClaus Ballegård NielsenStefan HallerstedePublished in: ABZ (2014)
Keyphrases
- embedded systems
- energy consumption
- wireless sensor networks
- energy conservation
- sensor networks
- low cost
- energy efficient
- energy saving
- energy efficiency
- data center
- data transmission
- smart home
- base station
- routing protocol
- save energy
- software systems
- power management
- energy aware
- sensor nodes
- routing algorithm
- environmental impact
- multi hop
- resource constrained
- flash memory
- total energy
- electricity consumption
- communication technologies
- computer simulation
- residual energy
- data sets
- greenhouse gas emissions