基于DO-178C的民用机载软件工具鉴定研究

• 全文链接
• 请求原文

作   者：

钟珊;  孔德岐; 

作者机构：

航空工业西安航空计算技术研究所; 

关键词：

工具鉴定等级(TQL);  DO-178C;  DO-330;  工具鉴定;  工具鉴定数据; 

期刊名称：

航空计算技术

基金项目：

面向程序验证的自动定理证明理论、方法与工具研究

i s s n：

1671-654X

年卷期：

2018 年 05 期

页   码：

59-61

摘   要：

随着民用飞机机载系统复杂性的不断提高,软件工具在机载软件系统开发中使用得越来越广泛。在分析DO-178C、DO-330标准的基础上,从适航合格审定角度探讨了软件工具鉴定工作,以IMA系统综合工具-配置数据生成工具为例进行分析,分析了工具应遵循的工具鉴定等级,为软件工具所需开展的鉴定工作提供了参考。