A formal approach to robustness maximization of complex heterogeneous embedded systems.
Arne HamannRazvan RacuRolf ErnstPublished in: CODES+ISSS (2006)
Keyphrases
- embedded systems
- computing power
- real time systems
- low cost
- resource limited
- embedded software
- processing power
- embedded devices
- real time image processing
- real world
- hw sw
- embedded real time systems
- hardware software
- field programmable gate array
- cooperative
- communication technologies
- open source
- high level
- case study