News
地平线要闻：
地平线作为高级会员加入seL4® 基金会，与seL4协同共建安全的操作系统微内核，助力车载OS的开放生态系统构建。
seL4是一个高保障、高性能的操作系统微内核，它的设计是为了确保关键计算机系统的安全性和可靠性，其特有的能力管控模型为系统中运行的多个软件组件之间的隔离提供了最高保证。系统中若有某一部分产生传播性危害，seL4的存在将会使危害得到有效遏制。seL4内核全面实施了形式化验证，用严苛的数学推理精确论证了代码的正确性和安全性。seL4也支持硬件虚拟化扩展技术，可以使得多种不同运行环境的软件工程易于整合且高效运行。目前，seL4是支持汽车、航空、基础设施、医疗等各个领域积极使用的生态系统的基础部分。
随着汽车电子电气架构的迅速发展，无人驾驶时代的车辆架构将从传统分布式电子电气架构，转向域控制器电子电气架构，最终成为集中式电子电气架构，呈现出整合趋势。而在硬件逐渐整合的趋势下，软件整合和分离的需求同时产生。为了应对自主软件中的信息安全，功能安全和实时性挑战，一个高质量、先进的微内核成为汽车软硬件架构发展升级的必要选择。
来源：地平线
