Model-based verification of adaptive embedded systems under environment constraints.
Ina SchaeferArnd Poetzsch-HeffterPublished in: SIGBED Rev. (2009)
Keyphrases
- embedded systems
- computing power
- embedded devices
- low cost
- resource limited
- embedded software
- real time systems
- processing power
- flash memory
- safety critical
- real time image processing
- hw sw
- communication technologies
- hardware software
- embedded real time systems
- computing platform
- real time
- cyber physical systems
- consumer electronics
- field programmable gate array