取得適航證是大型商用飛機(jī)能否投入商業(yè)運(yùn)營(yíng)的前提。隨著我國(guó)大型商用飛機(jī)計(jì)劃的實(shí)施，主機(jī)廠必將明確要求設(shè)備供應(yīng)商供應(yīng)的設(shè)備符合適航標(biāo)準(zhǔn)。

       DO-178標(biāo)準(zhǔn)作為判斷軟件在機(jī)載環(huán)境中是否安全可靠的指南，即機(jī)載軟件適航認(rèn)證的標(biāo)準(zhǔn)依據(jù)。DO-178強(qiáng)調(diào)面向目標(biāo)，要求軟件必須滿足其級(jí)別對(duì)應(yīng)的所有目標(biāo)，同時(shí)要給出足夠的證據(jù)表明每一步是如何完成的，同時(shí)也要求驗(yàn)證過(guò)程是可以重現(xiàn)的。

       DO-178是面向整個(gè)軟件生命周期的，把機(jī)載軟件生命周期定義為：

圖1 機(jī)載軟件生命周期

      對(duì)機(jī)載軟件進(jìn)行適航認(rèn)證，需要提供軟件生命周期中每個(gè)階段詳盡的數(shù)據(jù)和文檔——即適航認(rèn)證所需要的軟件生命周期數(shù)據(jù)。如果軟件生命周期數(shù)據(jù)完整、真實(shí)地記錄了軟件的整個(gè)研制過(guò)程，它成為軟件適航取證的基本依據(jù)和關(guān)鍵所在。

      北京旋極信息與國(guó)外著名的適航認(rèn)證公司和專家合作，在國(guó)內(nèi)開(kāi)展適航驗(yàn)證技術(shù)研究，加強(qiáng)能力建設(shè)，建立適航技術(shù)體系等實(shí)踐方面，取得了成功經(jīng)驗(yàn)。我們提供以下DO-178標(biāo)準(zhǔn)符合性服務(wù)。

軟件適航認(rèn)證，提供認(rèn)證數(shù)據(jù)包

差距分析
       幫助客戶評(píng)估其內(nèi)部軟件活動(dòng)是否符合DO-178標(biāo)準(zhǔn)。差距分析可幫助客戶了解他們當(dāng)前的計(jì)劃和開(kāi)發(fā)過(guò)程怎樣符合特定標(biāo)準(zhǔn)的目標(biāo)。進(jìn)行包括計(jì)劃評(píng)估、開(kāi)發(fā)評(píng)估及驗(yàn)證評(píng)估的綜合評(píng)估。完成所需的評(píng)估，并且依據(jù)開(kāi)發(fā)團(tuán)隊(duì)的經(jīng)驗(yàn)水平、適當(dāng)?shù)恼J(rèn)證標(biāo)準(zhǔn)及安全水平來(lái)進(jìn)行增強(qiáng)。
關(guān)鍵技術(shù)攻關(guān)
       針對(duì)DO-178中軟件保證級(jí)別對(duì)應(yīng)的各種目標(biāo)，提供目標(biāo)的詳細(xì)解析和驗(yàn)證方法，提供相應(yīng)的解析和指導(dǎo)報(bào)告。
驗(yàn)證平臺(tái)解決方案
       依據(jù)國(guó)外的驗(yàn)證經(jīng)驗(yàn)，提供適航驗(yàn)證平臺(tái)的解決方案，包括目標(biāo)碼覆蓋分析、MCDC覆蓋分析、控制耦合分析以及堆棧分析等。
生命周期驗(yàn)證管理
       基于云應(yīng)用程序的生命周期管理，提供了從需求、設(shè)計(jì)、代碼、測(cè)試用例、測(cè)試結(jié)果以及相關(guān)文件的軟件生命周期數(shù)據(jù)的控制管理。

       整個(gè)軟件開(kāi)發(fā)生命周期中的所有需求、設(shè)計(jì)和驗(yàn)證工件的雙向追蹤；
       管理所有生命周期數(shù)據(jù)項(xiàng)的狀態(tài)，展示需求和工件的評(píng)審和歷史；
       與生命周期中使用的需求管理系統(tǒng)、配置管理系統(tǒng)、測(cè)試管理系統(tǒng)的集成；
       自動(dòng)化完整性檢查，以確保沒(méi)有丟失數(shù)據(jù)；
       變更影響分析識(shí)別所有受變更影響的區(qū)域；
       生成與輸出超鏈接工件到電子媒體映像，形成完整的驗(yàn)證數(shù)據(jù)包。