Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata.
Yasmina AbdeddaïmDamien MassonPublished in: RTCSA (2012)
Keyphrases
- embedded systems
- timed automata
- real time systems
- low cost
- model checking
- reachability analysis
- energy consumption
- theorem prover
- embedded devices
- real time image processing
- embedded software
- resource limited
- flash memory
- processing power
- computing power
- theorem proving
- first order logic
- software systems
- hardware software
- embedded real time systems
- energy saving
- field programmable gate array
- safety critical
- hw sw
- hardware and software
- temporal logic
- open source
- expert systems
- cooperative
- consumer electronics
- database systems
- image processing