复杂嵌入式系统中的软件构造技术研究

航天器中人机交互系统是一个复杂的嵌入式计算系统。由于引入虚拟仪器、增强虚拟现实、可重构计算及虚拟计算等新技术的原因，其软件的设计也变得非常复杂。本项目针对航天器中人机交互系统中的软件设计，研究这种复杂嵌入式软件的构造技术，包括基于领域知识的需求分析方法和以可信性需求为代表的非功能性需求的形式化描述和规约方法；基于构件和领域模型驱动的嵌入式软件构造技术，嵌入式软件的建模、构造方法与代码生成等模型驱动开发技术，以硬件仿真平台和构件交互验证技术为基础的软件协同验证技术等；最后结合实证方法，与传统软件构造技术就生成软件的质量进行对比、度量和评估，对综合协同验证技术和模型驱动方法的软件构造技术的效能进行全面验证，最终将研究中形成的理论和方法用于航天器中某交互装置的软件设计。