基于DO-178C的非激活代码符合性举证方法研究
2019-09-25陈刚罗旭升
数字技术与应用 2019年6期
陈刚 罗旭升
摘要:根据RTCA DO-178C中对非激活代码的要求,对非激活代码的定义、分类以及适航相关要求进行了进一步的研究,并提出了证明该部分的适航符合性需要向局方提供的信息。为国内民用飞机机载软件适航取证过程提供参考。
关键词:机载软件;符合性;非激活代码;DO-178C;举证方法
中图分类号:TP311.5 文献标识码:A 文章编号:1007-9416(2019)06-0122-01
0 引言
2013年FAA发布AC 20-115C,标志着RTCA DO-178C作为民用飞机机载软件的适航符合性方法正式被FAA采用。尽管目前中国民航局通过咨询通告正式认可的现行有效的适航符合性方法仍是DO-178B,但国内在研民机型号中已经将DO-178C作为机载软件的适航符合性方法。
由于软件具有测试无法穷举的特性,DO-178C采用以过程控制的严格程度来保证软件的正确性或可靠程度。在软件研制过程中,研制单位需要向局方提供证据资料,以表明软件确实按照相应的严格程度来开发和管理。目前研制单位普遍采用的是标准V软件生存周期模型,国内大部分软件承研商由于以下两方面原因,造成普遍只能提供部分适航符合性证据,不能满足民机适航的要求:
(1)标准要求理解不到位,特别对于DO-178C中对于一些特殊特性软件的规定,如参数数据项、用户可更改软件、商用货架软件、非激活代码、选项可选软件等方面;(2)缺乏相关的举证经验。本文以DO-178C对非激活代码的要求为基础,结合相关文献、适航条例及国外机载软件供应商的适航取证经验,研究了非激活代码的定义、分类、研制及符合性表明方法,为国内民用飞机机载软件适航符合性举证提供一定的参考。……
登录APP查看全文
