A Formal Model for Performance and Energy Evaluation of Embedded Systems.
Bruno Costa e Silva NogueiraPaulo Romero Martins MacielEduardo TavaresErmeson C. AndradeRicardo Massa Ferreira LimaGustavo Rau de Almeida CallouRodolfo FerrazPublished in: EURASIP J. Embed. Syst. (2011)
Keyphrases
- formal model
- embedded systems
- embedded devices
- low cost
- resource limited
- computing power
- real time systems
- processing power
- embedded software
- real time image processing
- hw sw
- security properties
- safety critical
- hardware software
- energy consumption
- artificial intelligence
- formal models
- flash memory
- communication technologies