Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.
Yu JiangHehua ZhangZonghui LiYangdong DengXiaoyu SongMing GuJia-Guang SunPublished in: IEEE Trans. Ind. Electron. (2015)
Keyphrases
- embedded systems
- computing power
- low cost
- hw sw
- embedded software
- resource limited
- real time systems
- processing power
- hardware software
- embedded devices
- embedded real time systems
- safety critical
- software systems
- design methodology
- real time image processing
- high level
- case study
- image processing
- communication technologies
- relational databases
- consumer electronics