Design and optimization of multi-clocked embedded systems using formal technique.
Yu JiangZonghui LiHehua ZhangYangdong DengXiaoyu SongMing GuJiaguang SunPublished in: ESEC/SIGSOFT FSE (2013)
Keyphrases
- embedded systems
- hw sw
- computing power
- embedded software
- low cost
- embedded devices
- processing power
- real time systems
- case study
- hardware software
- real time image processing
- low power
- software systems
- design process
- relational databases
- consumer electronics
- hardware design
- safety critical
- open source
- multi agent
- resource limited
- real time