复杂嵌入式系统抽象概念模型及性能分析方法

针对嵌入式系统正面临着设计内容不断增加、用户需求持续增长、设计周期反而缩短等设计复杂性问题，本课题提出在复杂系统设计之初，拟创建一种适合在抽象概念层建模的面向对象的形式化建模语言；建立嵌入式系统及构件的量化指标体系；研究根据用户需求建立可执行系统规格说明模型的建模方法，以及相应的基于模拟实验的性能评估理论和技术，并研制支持建模及模拟的软件平台和工具；在此基础上，对系统规格说明空间进行充分探索，有效调整系统相应规格及参数，探讨使系统设计方案逐步优化的方法。. 开展本课题的研究，在系统设计之初就可以评估与筛选众多的复杂嵌入式系统的设计方案，确保设计方案的正确性，避免系统设计出现不断的反复；这对嵌入式系统设计方法论有深远的影响，也有助于在系统设计早期发现新功能、新结构，形成自主知识产权的嵌入式系统和技术。