中文摘要：

随着体系结构从单核模式到异构多核模式，处理对象从简单控制系统到异构信息物理融合系统的渐进演化，嵌入式系设计的复杂性越来越高。大量的时间与资源被消耗在系统功能验证上，在时间与效率方面功能验证已经成为了系统设计的主要瓶颈。本项目将基于系统设计高阶规约，研究如何提高自顶向下设计流程各个测试验证环节的效率，有效降低异构系统验证的复杂性。研究内容主要包括1)研究异构系统高阶规约的形式化建模与模型自动抽取方法，提高对系统基本功能特征的描述与自动化分析能力；2)研究基于高阶规约的自动化测试用例生成的优化方法，提高异构系统设计与开发的效率；3)研究如何提高异构系统自顶向下设计过程中各阶段验证结果的重用技术，确保系统从系统高阶规约到具体实现逐步精化过程中的一致性与正确性。从而提高系统的整体验证效率。在缩短嵌入式产品开发周期的同时，保证系统高可靠性。