高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究

在当今网络时代，嵌入式系统成为一个将先进计算、网络通信、MEMS和领域应用等技术高度融合的知识集成系统。随着嵌入式应用系统的平台化、网络化、智能化、普适化发展，嵌入式软件的系统功能比重不断增大，可靠性问题日益突出。本课题面向高可靠的关键嵌入式实时应用需求，针对嵌入式软件的固有特性和新型特征，重点研究构件化嵌入式软件设计与验证方法及其实现技术，突出解决适应构件化嵌入式软件非功能性描述的统一设计模型、适合嵌入式构件及其组合验证与确认的有效方法、可定制嵌入式软件运行环境与故障仿真、工具链一体化的集成环境设计等关键问题，研制面向高可靠构件化嵌入式软件的设计、验证、仿真与测试一体化的集成支撑环境，课题力求取得设计与验证方法及其工具的创新成果，并在探月工程等国家重大专项和高空长航时无人飞机等国家重点型号工程中得到试用，取得重要的社会效益和经济效益。