Enabling formal analysis of energy-aware automotive embedded systems in East-adl.
Eun-Young KangPierre-Yves SchobbensPublished in: SpringSim (TMS-DEVS) (2013)
Keyphrases
- embedded systems
- formal analysis
- energy aware
- smart home
- low cost
- high performance computing
- routing protocol
- wireless sensor networks
- energy consumption
- data center
- formal methods
- energy efficiency
- sensor networks
- agent model
- software systems
- ad hoc networks
- routing algorithm
- computing systems
- parallel computing
- shortest path