近日，普華基礎軟件面向智能駕駛操作系統龘EasyAda微內核與龘Hypervisor順利通過ISO 26262 ASIL-D級汽車功能安全最高等級認證，標志著普華基礎軟件在操作系統領域的安全性與可靠性上再邁堅實一步，更意味著國產智能駕駛操作系統微內核與虛擬化軟件在功能安全領域已達到國際先進水平。

ISO 26262是國際公認的汽車功能安全標準，旨在規范道路車輛電子電氣系統在全生命周期內的功能安全管理。該標準要求企業在設計、開發、生產、測試及運維等各階段建立系統化的安全流程，通過預防、檢測和緩解電子系統失效，降低安全風險，從而提升車輛的安全性與可靠性，為道路交通安全提供有力保障。

龘EasyAda微內核架構圖

龘EasyAda微內核不僅為汽車行業提供高性能、高安全、高實時和可伸縮的底層內核支持，還可以支撐高效構建實時操作系統、虛擬化軟件以及可信計算基礎平臺，最終構筑起車用操作系統的統一技術底座，有效解決多芯片平臺適配復雜、開發效率低下的行業痛點，有效實現功能安全與信息安全的深度融合，為構建可演進、可擴展的整車軟件架構奠定堅實基礎。

龘Hypervisor提供了在同一硬件平臺上承載異構操作系統及不同安全等級軟件系統的靈活性，并且通過安全隔離與健康監控等機制保障了資源復用與算力共享的安全性與可靠性。

形式化驗證

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

未來，普華基礎軟件將與生態伙伴攜手并進，持續打造龘EasyAda微內核及系列產品，聚焦高性能、高安全、高實時、高可靠等特性，更好地支持客戶在下一代智能系統中的深度應用。