Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
Yu JiangHehua ZhangHuafeng ZhangXinyan ZhaoHan LiuChengnian SunXiaoyu SongMing GuJia-Guang SunPublished in: SIGSOFT FSE (2014)
Keyphrases
- embedded systems
- low cost
- computing power
- embedded devices
- embedded software
- embedded real time systems
- processing power
- real time image processing
- real time systems
- hardware software
- resource limited
- field programmable gate array
- safety critical
- low power
- flash memory
- communication technologies
- model validation
- multi agent
- hw sw