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