航空嵌入式软件可信性度量模型研究

本项目以航空嵌入式软件为载体，在充分调研和分析航空嵌入式软件特点的基础上，构造航空嵌入式软件多维、多尺度可信属性定性、定量指标体系，研究嵌入式软件可信属性定性、定量度量的转换方法。从航空嵌入式软件结构、功能和行为出发建立可信性度量模型，探索在包括操作错误、环境影响、外部攻击等干扰条件下的可信性综合评估策略与方法，为航空嵌入式软件的需求描述、软件设计、测试验证、质量保证提供依据。依托相关航空工业部门的配合（本课题选定洪都航空工业集团有限责任公司、航空部631所为协作单位），构建航空嵌入式软件可信性度量的实验原型系统。