電科太極普華微內核與虛擬化平臺實現“汽車”到“飛機”關鍵跨越
來源：新聞中心
發布時間：2025年09月12日 編輯：新聞中心
近日，電科太極所屬普華基礎軟件自主研發的龘微內核及Type-1虛擬化軟件平臺，憑借卓越的高安全、高隔離與高實時能力，成功中標國產航空軟件項目。這一突破標志著國產基礎軟件實現了從“車規平臺”延展至“航規場景”的關鍵跨越。
客艙信息系統作為乘客交互與服務的關鍵支撐平臺，面臨高安全等級、多系統隔離以及高實時保障等諸多技術挑戰。基礎軟件作為底層核心支撐，其技術突破為破解產業難題提供了關鍵助力。
如今的客艙已遠非簡單的“屏幕顯示+控制面板”，更像“空中智能座艙”。本質上，車載和機載系統在高安全等級場景下，對系統穩定性、隔離性、可認證性的要求有諸多相似之處，包括多OS共存，異構硬件資源調度，嚴格的功能安全與信息安全邊界，實時性保障以及軟件生命周期管理和審計可追溯等。正是這種核心訴求的共通性，促使普華基礎軟件將車規項目中打磨成熟的“微內核+Hypervisor”平臺進行體系升級，向航空級應用場景拓展，推動其在安全計算領域持續突破。
車規平臺轉移至航規應用場景，絕非簡單的代碼移植，技術升級面臨兩大核心挑戰。普華基礎軟件一方面突破形式化建模與驗證、Hypervisor資源訪問軌跡追蹤以及運行時安全隔離增強等技術，為通過嚴格的適航認證打下堅實基礎；另一方面突破了混合關鍵級系統調度、多核處理器時空隔離以及多級健康監控等技術，構建了滿足航規嚴苛要求的實時運行環境，確保任務端到端執行的可預期性與極端狀態下的快速恢復能力。
（來源/電科太極）
