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