基于DO-178C的非激活代碼符合性舉證方法研究

陳剛　羅旭升

摘要：根據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對非激活代碼的要求為基礎，結合相關文獻、適航條例及國外機載軟件供應商的適航取證經驗，研究了非激活代碼的定義、分類、研制及符合性表明方法，為國內民用飛機機載軟件適航符合性舉證提供一定的參考?！?br>