隨著國產民用航空器自主化進程加速，關鍵系統(tǒng)需要實現(xiàn)國產替代?？团撔畔⑾到y(tǒng)作為乘客交互與服務的關鍵支撐平臺，面臨高安全等級、多系統(tǒng)隔離以及高實時保障等諸多技術挑戰(zhàn)?；A軟件作為底層核心支撐，其技術突破為破解產業(yè)難題提供了關鍵助力。

近日，普華基礎軟件自主研發(fā)的龘微內核及Type-1虛擬化軟件平臺，憑借卓越的高安全、高隔離與高實時能力，成功中標某國產航空軟件項目。這一突破不僅是對普華基礎軟件微內核和虛擬化技術的實戰(zhàn)檢驗，更充分驗證了整個基礎軟件架構向高等級安全應用平滑演進的強大潛力，標志著國產基礎軟件實現(xiàn)了從“車規(guī)平臺”延展至“航規(guī)場景”的關鍵跨越。

從車規(guī)項目到“空中智能座艙”：

需求驅動技術遷移

客艙信息系統(tǒng)作為現(xiàn)代民機乘客交互與服務的平臺，正經(jīng)歷著前所未有的深刻變革。如今的客艙已遠非簡單的“屏幕顯示+控制面板”，更像“空中智能座艙”。普華基礎軟件龘微內核技術團隊負責人肖堃指出，本質上，車載和機載系統(tǒng)在高安全等級場景下，對系統(tǒng)穩(wěn)定性、隔離性、可認證性的要求有諸多相似之處，包括多OS共存，異構硬件資源調度，嚴格的功能安全與信息安全邊界，實時性保障以及軟件生命周期管理和審計可追溯等。正是這種核心訴求的共通性，促使普華基礎軟件將車規(guī)項目中打磨成熟的“微內核+Hypervisor”平臺進行體系升級，向航空級應用場景拓展，推動其在安全計算領域持續(xù)突破。

打破產業(yè)邊界：直面航規(guī)級嚴苛挑戰(zhàn)

車規(guī)平臺轉移至航規(guī)應用場景，絕非簡單的代碼移植。肖堃介紹，此次技術升級面臨兩大核心挑戰(zhàn)。

一方面，從滿足汽車領域ISO 26262最高功能安全產品等級ASILD，轉向滿足航空領域DO-178C軟件開發(fā)生命周期管理、ARP4754A 系統(tǒng)工程約束，以及形式化建模與測試閉環(huán)。為此，普華基礎軟件突破了形式化建模與驗證、Hypervisor資源訪問軌跡追蹤以及運行時安全隔離增強等技術，為通過嚴格的適航認證打下堅實的基礎。

另一方面，客艙信息系統(tǒng)涉及多終端交互、控制指令分發(fā)與內容實時處理，需要確保系統(tǒng)具備確定性調度與快速響應能力。普華基礎軟件突破了混合關鍵級系統(tǒng)調度、多核處理器時空隔離以及多級健康監(jiān)控等技術，構建了滿足航規(guī)嚴苛要求的實時運行環(huán)境，確保任務端到端執(zhí)行的可預期性與極端狀態(tài)下的快速恢復能力。

此次中標，意味著普華基礎軟件的技術體系已從一個專注于特定領域的“車規(guī)項目工具箱”，成為一個具備向多安全關鍵領域泛化延展能力的通用平臺底座。未來，普華基礎軟件將持續(xù)加大研發(fā)投入，深耕基礎軟件核心技術，為筑牢我國關鍵信息基礎設施安全可靠的防線提供堅實支撐。