取得適航證是大型商用飛機能否投入商業運營的前提。隨著我國大型商用飛機計劃的實施,主機廠必將明確要求設備供應商供應的設備符合適航標準。
DO-178標準作為判斷軟件在機載環境中是否安全可靠的指南,即機載軟件適航認證的標準依據。DO-178強調面向目標,要求軟件必須滿足其級別對應的所有目標,同時要給出足夠的證據表明每一步是如何完成的,同時也要求驗證過程是可以重現的。
DO-178是面向整個軟件生命周期的,把機載軟件生命周期定義為:
圖1 機載軟件生命周期
對機載軟件進行適航認證,需要提供軟件生命周期中每個階段詳盡的數據和文檔——即適航認證所需要的軟件生命周期數據。如果軟件生命周期數據完整、真實地記錄了軟件的整個研制過程,它成為軟件適航取證的基本依據和關鍵所在。
北京旋極信息與國外著名的適航認證公司和專家合作,在國內開展適航驗證技術研究,加強能力建設,建立適航技術體系等實踐方面,取得了成功經驗。我們提供以下DO-178標準符合性服務。
軟件適航認證,提供認證數據包
差距分析
幫助客戶評估其內部軟件活動是否符合DO-178標準。差距分析可幫助客戶了解他們當前的計劃和開發過程怎樣符合特定標準的目標。進行包括計劃評估、開發評估及驗證評估的綜合評估。完成所需的評估,并且依據開發團隊的經驗水平、適當的認證標準及安全水平來進行增強。
關鍵技術攻關
針對DO-178中軟件保證級別對應的各種目標,提供目標的詳細解析和驗證方法,提供相應的解析和指導報告。
驗證平臺解決方案
依據國外的驗證經驗,提供適航驗證平臺的解決方案,包括目標碼覆蓋分析、MCDC覆蓋分析、控制耦合分析以及堆棧分析等。
生命周期驗證管理
基于云應用程序的生命周期管理,提供了從需求、設計、代碼、測試用例、測試結果以及相關文件的軟件生命周期數據的控制管理。
整個軟件開發生命周期中的所有需求、設計和驗證工件的雙向追蹤;
管理所有生命周期數據項的狀態,展示需求和工件的評審和歷史;
與生命周期中使用的需求管理系統、配置管理系統、測試管理系統的集成;
自動化完整性檢查,以確保沒有丟失數據;
變更影響分析識別所有受變更影響的區域;
生成與輸出超鏈接工件到電子媒體映像,形成完整的驗證數據包。