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

陳剛　羅旭升

摘要：根據(jù)RTCA DO-178C中對非激活代碼的要求，對非激活代碼的定義、分類以及適航相關要求進行了進一步的研究，并提出了證明該部分的適航符合性需要向局方提供的信息。為國內民用飛機機載軟件適航取證過程提供參考。

關鍵詞：機載軟件;符合性;非激活代碼;DO-178C;舉證方法

中圖分類號：TP311.5 文獻標識碼：A 文章編號：1007-9416（2019）06-0122-01

0 引言

2013年FAA發(fā)布AC 20-115C，標志著RTCA DO-178C作為民用飛機機載軟件的適航符合性方法正式被FAA采用。盡管目前中國民航局通過咨詢通告正式認可的現(xiàn)行有效的適航符合性方法仍是DO-178B，但國內在研民機型號中已經將DO-178C作為機載軟件的適航符合性方法。

由于軟件具有測試無法窮舉的特性，DO-178C采用以過程控制的嚴格程度來保證軟件的正確性或可靠程度。在軟件研制過程中，研制單位需要向局方提供證據(jù)資料，以表明軟件確實按照相應的嚴格程度來開發(fā)和管理。目前研制單位普遍采用的是標準V軟件生存周期模型，國內大部分軟件承研商由于以下兩方面原因，造成普遍只能提供部分適航符合性證據(jù)，不能滿足民機適航的要求：

（1）標準要求理解不到位，特別對于DO-178C中對于一些特殊特性軟件的規(guī)定，如參數(shù)數(shù)據(jù)項、用戶可更改軟件、商用貨架軟件、非激活代碼、選項可選軟件等方面;（2）缺乏相關的舉證經驗。本文以DO-178C對非激活代碼的要求為基礎，結合相關文獻、適航條例及國外機載軟件供應商的適航取證經驗，研究了非激活代碼的定義、分類、研制及符合性表明方法，為國內民用飛機機載軟件適航符合性舉證提供一定的參考。……