随着设计复杂度越来越高而投放市场时间却越来越严苛，嵌入式系统的可信构造变得越来越困难。由于设计流程抽象层次多、运行环境不确定、以及缺乏高效的自动化综合与验证技术而导致的问题日益突出。本报告将从功能与性能两个维度出发，介绍自顶向下嵌入式系统可信构造相关的成果，聚焦规约驱动的嵌入式系统综合与验证方法与技术，旨在保证系统设计与实现功能正确与性能最优的情况下，缩短嵌入式系统可信构造的时间。
[嵌入式系统, 系统设计]
陈铭松
