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

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

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

需求驅(qū)動(dòng)技術(shù)遷移

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

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

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

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

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

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