近日，普華基礎(chǔ)軟件面向智能駕駛操作系統(tǒng)龘EasyAda微內(nèi)核與龘Hypervisor順利通過ISO 26262 ASIL-D級汽車功能安全最高等級認(rèn)證，標(biāo)志著普華基礎(chǔ)軟件在操作系統(tǒng)領(lǐng)域的安全性與可靠性上再邁堅(jiān)實(shí)一步，更意味著國產(chǎn)智能駕駛操作系統(tǒng)微內(nèi)核與虛擬化軟件在功能安全領(lǐng)域已達(dá)到國際先進(jìn)水平。

ISO 26262是國際公認(rèn)的汽車功能安全標(biāo)準(zhǔn)，旨在規(guī)范道路車輛電子電氣系統(tǒng)在全生命周期內(nèi)的功能安全管理。該標(biāo)準(zhǔn)要求企業(yè)在設(shè)計(jì)、開發(fā)、生產(chǎn)、測試及運(yùn)維等各階段建立系統(tǒng)化的安全流程，通過預(yù)防、檢測和緩解電子系統(tǒng)失效，降低安全風(fēng)險(xiǎn)，從而提升車輛的安全性與可靠性，為道路交通安全提供有力保障。

龘EasyAda微內(nèi)核架構(gòu)圖

龘EasyAda微內(nèi)核不僅為汽車行業(yè)提供高性能、高安全、高實(shí)時(shí)和可伸縮的底層內(nèi)核支持，還可以支撐高效構(gòu)建實(shí)時(shí)操作系統(tǒng)、虛擬化軟件以及可信計(jì)算基礎(chǔ)平臺(tái)，最終構(gòu)筑起車用操作系統(tǒng)的統(tǒng)一技術(shù)底座，有效解決多芯片平臺(tái)適配復(fù)雜、開發(fā)效率低下的行業(yè)痛點(diǎn)，有效實(shí)現(xiàn)功能安全與信息安全的深度融合，為構(gòu)建可演進(jìn)、可擴(kuò)展的整車軟件架構(gòu)奠定堅(jiān)實(shí)基礎(chǔ)。

龘Hypervisor提供了在同一硬件平臺(tái)上承載異構(gòu)操作系統(tǒng)及不同安全等級軟件系統(tǒng)的靈活性，并且通過安全隔離與健康監(jiān)控等機(jī)制保障了資源復(fù)用與算力共享的安全性與可靠性。

形式化驗(yàn)證

在汽車智能化加速推進(jìn)的當(dāng)下，安全始終是不可逾越的底線。作為智能駕駛系統(tǒng)的“大腦”，同時(shí)也是實(shí)現(xiàn)智能駕駛功能的核心平臺(tái)，智能駕駛操作系統(tǒng)安全的重要性愈發(fā)凸顯。經(jīng)過持續(xù)的迭代升級，最新發(fā)布的開源龘微內(nèi)核V2.3成為全球首個(gè)采用形式化驗(yàn)證技術(shù)的開源智駕操作系統(tǒng)微內(nèi)核，這是汽車操作系統(tǒng)領(lǐng)域的重要突破。與傳統(tǒng)軟件測試方法相比，形式化驗(yàn)證通過建立數(shù)學(xué)模型定義的軟件系統(tǒng)行為規(guī)范（形式化規(guī)約），再用數(shù)學(xué)方法證明軟件系統(tǒng)符合行為規(guī)范。這意味著它能夠覆蓋可能的輸入和系統(tǒng)狀態(tài)，確保軟件的可能行為都經(jīng)過驗(yàn)證。形式化驗(yàn)證還能夠在設(shè)計(jì)和編碼階段進(jìn)行，以便于更早發(fā)現(xiàn)問題，減少后期錯(cuò)誤修復(fù)的成本。同時(shí)也可滿足關(guān)鍵行業(yè)對最高級別系統(tǒng)安全性與可靠性的市場需求。

未來，普華基礎(chǔ)軟件將與生態(tài)伙伴攜手并進(jìn)，持續(xù)打造龘EasyAda微內(nèi)核及系列產(chǎn)品，聚焦高性能、高安全、高實(shí)時(shí)、高可靠等特性，更好地支持客戶在下一代智能系統(tǒng)中的深度應(yīng)用。