Enable javascript in your browser for better experience. Need to know to enable it? Go here.
发布于 : Oct 23, 2024
Oct 2024
试验 ?

在软件定义汽车 (SDV) 或其他安全关键场景中,操作系统的实时稳定性至关重要。由于该领域的高准入门槛,少数公司垄断了这一领域,因此像 seL4这样的开源解决方案显得尤为珍贵。seL4 是一个高保障、高性能的操作系统微内核。它使用 形式化验证 方法来“数学上”确保操作系统的行为符合规范。其微内核架构还将核心职责最小化,以确保系统的稳定性。我们已经看到像蔚来汽车 (NIO) 这样的电动汽车公司参与 seL4 生态系统,未来在这一领域可能会有更多的发展。

下载 PDF

 

English | Español | Português | 中文

订阅技术雷达简报

 

立即订阅

查看存档并阅读往期内容