近日，普华基础软件面向智能驾驶操作系统龘EasyAda微内核与龘Hypervisor顺利通过ISO 26262 ASIL-D级汽车功能安全最高等级认证，标志着普华基础软件在操作系统领域的安全性与可靠性上再迈坚实一步，更意味着国产智能驾驶操作系统微内核与虚拟化软件在功能安全领域已达到国际先进水平。

ISO 26262是国际公认的汽车功能安全标准，旨在规范道路车辆电子电气系统在全生命周期内的功能安全管理。该标准要求企业在设计、开发、生产、测试及运维等各阶段建立系统化的安全流程，通过预防、检测和缓解电子系统失效，降低安全风险，从而提升车辆的安全性与可靠性，为道路交通安全提供有力保障。

龘EasyAda微内核架构图

龘EasyAda微内核不仅为汽车行业提供高性能、高安全、高实时和可伸缩的底层内核支持，还可以支撑高效构建实时操作系统、虚拟化软件以及可信计算基础平台，最终构筑起车用操作系统的统一技术底座，有效解决多芯片平台适配复杂、开发效率低下的行业痛点，有效实现功能安全与信息安全的深度融合，为构建可演进、可扩展的整车软件架构奠定坚实基础。

龘Hypervisor提供了在同一硬件平台上承载异构操作系统及不同安全等级软件系统的灵活性，并且通过安全隔离与健康监控等机制保障了资源复用与算力共享的安全性与可靠性。

形式化验证

在汽车智能化加速推进的当下，安全始终是不可逾越的底线。作为智能驾驶系统的“大脑”，同时也是实现智能驾驶功能的核心平台，智能驾驶操作系统安全的重要性愈发凸显。经过持续的迭代升级，最新发布的开源龘微内核V2.3成为全球首个采用形式化验证技术的开源智驾操作系统微内核，这是汽车操作系统领域的重要突破。与传统软件测试方法相比，形式化验证通过建立数学模型定义的软件系统行为规范（形式化规约），再用数学方法证明软件系统符合行为规范。这意味着它能够覆盖可能的输入和系统状态，确保软件的可能行为都经过验证。形式化验证还能够在设计和编码阶段进行，以便于更早发现问题，减少后期错误修复的成本。同时也可满足关键行业对最高级别系统安全性与可靠性的市场需求。

未来，普华基础软件将与生态伙伴携手并进，持续打造龘EasyAda微内核及系列产品，聚焦高性能、高安全、高实时、高可靠等特性，更好地支持客户在下一代智能系统中的深度应用。