航天嵌入式软件可信性度量方法及应用研究

作     者：王婧 陈仪香 顾斌 郭向英 王保华 金晟毅 徐建 张居阳 

作者机构：北京控制工程研究所北京100190 华东师范大学软件学院上海200062 中国空间技术研究院总体设计部北京100094 

基　　金：国家中长期科技发展规划重大专项 国家自然科学基金(批准号:91118007)资助项目 

出 版 物：《中国科学：技术科学》 (Scientia Sinica(Technologica))

年 卷 期：2015年第45卷第2期

页      码：221-228页

摘      要：航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.

主 题 词：航天嵌入式软件 软件可信性 度量模型 分级模型 可信属性 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1360/N092014-00479

馆 藏 号：203112018...