基于DO-178C的无关代码和非激活代码适航研究  

Research on DO-178C Based Airworthiness Technology for Extraneous Code and Deactivated Code

作　　者：李燕琳 郑雪峰 潘路平 钟旭旭 曾析 胡胤杰 LI Yan-lin;ZHENG Xue-feng;PAN Lu-ping;ZHONG Xu-xu;ZENG Xi;HU Yin-jie(Chengdu Airborne Equipment Center,CAAC Airworthiness Certification Center,Chengdu 610000,China;China Electronics Technology Group Avionics Corporation,Chengdu 611000,China;COMAC Software Co.,Ltd.,Chengdu 614000,China)

机构地区：[1]中国民用航空适航审定中心成都机载设备审定分中心,四川成都610000 [2]中电科航空电子有限公司,四川成都611000 [3]商飞软件有限公司,四川成都614000

出　　处：《航空计算技术》2024年第4期76-79,共4页Aeronautical Computing Technique

基　　金：四川省重大科技专项资助(2021ZDZX0006)。

摘　　要：目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适航方案迎审不通过的问题。通过解析DO-178C标准中的理论核心要点,提出了一种代码类型判定流程。总结国内外成功适航经验,对不同项目应用了本判定流程,结合适航关注点给出了实践建议,望给后续项目提供参考和便利。At present,the quantity of certification projects for self-developed civil airborne equipment in our country has seen a significant increase,with a focus on advancing the function criticality towards high levels.The software involved in these projects often incorporates non-self-developed software modules such as open-source code,library functions,and low-level drivers.Consequently,when attempting to meet the structural coverage requirements defined in DO-178C,inaccuracies in code type determination have led to issues with airworthiness certification.Firstly,by elucidating the theoretical core points of the DO-178C,a code type determination process was proposed.Then,successful domestic and international airworthiness experiences were summarized,the determination process was applied to different projects,and practical recommendations were provided taking into account airworthiness concerns,aiming to offer reference and convenience for subsequent projects.

关 键 词：DO-178C 结构覆盖 无关代码 死代码 非激活代码 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]