| 航天嵌入式软件可信性度量方法及应用研究 |
| |
| 引用本文： | 王婧,陈仪香,顾斌,郭向英,王保华,金晟毅,徐建,张居阳.航天嵌入式软件可信性度量方法及应用研究[J].中国科学:信息科学,2015(2):221-228. |
| |
| 作者姓名： | 王婧 陈仪香 顾斌 郭向英 王保华 金晟毅 徐建 张居阳 |
| |
| 作者单位： | 北京控制工程研究所;华东师范大学软件学院;中国空间技术研究院总体设计部 |
| |
| 基金项目： | 国家中长期科技发展规划重大专项;国家自然科学基金(批准号:91118007)资助项目 |
| |
| 摘 要： | 航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.
|
| 关 键 词： | 航天嵌入式软件 软件可信性 度量模型 分级模型 可信属性 |
| 本文献已被 CNKI 等数据库收录！ |
|
