Airborne Software Full Lifecycle Airworthiness Compliance Solution
工業和信息化部在《“十四五”軟件和信息技術服務業發展規劃》中對工業軟件提出了明確增長目標，同時新型工業化、制造強國、數字中國、數字融合等一系列戰略部署對以機載軟件開發工具為代表的航空工業軟件發展提出了新的更高要求。目前以SCADE等為代表的機載軟件開發工具鏈普遍由美西方企業壟斷，核心機載軟件工具受制于人的局面對航空領域的自主可控發展、高質量發展提出了嚴峻挑戰。掌握關鍵核心技術是實現高水平科技自立自強的內在要求，在當前國際形勢下，加快突破關鍵核心技術是應對科技競爭的必然選擇。根據航空軟件標準DO-178C，機上軟件生命周期可由圖1描述。機載軟件全生命周期工具覆蓋需求管理、架構設計、建模開發、測試驗證等全流程，涉及需求定義、自動代碼生成、代碼分析、集成測試、目標機測試和等多項核心技術。
隨著航空電子系統復雜性的不斷提高，機載軟件在航空系統中的作用日益凸顯，機載軟件質量直接關系到飛行安全和系統可靠性。因此，上?？匕册槍C載軟件全生命周期提出適航符合性解決方案，通過SmartRocket系列產品實現對機載軟件全生命周期的覆蓋，其中紅色部分為上?？匕睸martRocket系列產品能力覆善部分。同時搭配全流程適航認證咨詢，包括軟硬件適航研制體系構建、軟硬件全生命周期符合性支持、專項疑難問題符合性方法設計和實施指導，符合性數據開發和評審等，專注幫助企業解決適航取證過程中的技術難題，協助其通過中國民航局CAAC等適航性認證，促進企業合規性建設，助力產品落地。
覆蓋軟件需求和HLR評審和分析過程，該工具覆蓋需求工程的各項活動，包括需求定義，需求版本、基線、變更、追溯管理、需求評審等。
覆蓋軟件底層需求開發和軟件編碼過程，該工具具備圖形化建模功能基于LUSTRE v6同步語言，支持數據流、控制流和狀態機混合建模；具備代碼生成功能，通過模型、LUSTRE語言、代碼轉換，實現C代碼自動生成。
覆蓋源代碼評審與靜態分析、軟件低層測試、軟件集成測試和軟/硬件集成測試過程。該工具包含靜態分析、單元測試、集成測試和目標機測試模塊，其中靜態分析模塊支持根據國軍標、MISRA等標準對源碼進行代碼合規性檢查；單元測試模塊支持函自動分析被測C/C++工程并基于動態符號執行技術自動生成高覆蓋、低冗余的測試用例；集成測試模塊支持調用函數集成程度的自主控制及基于調用覆蓋的測試用例自動生成；目標機測試模塊支持STM3或GD32/CH32/APM32等類似級別的ARM CortexM或RISC-V單片機、TI的C2000系列DSP、NXP的MPC5554。
