【预告】网络研讨会|下一代汽车操作系统微内核seL4:seL4基金会主席谈物理系统安全工程实践

seL4 微内核是世界上第一个具有实现正确性和安全执行的数学、机器检查证明的操作系统 (OS) 内核。它在Arm和RISC-V处理器上的全面证明仍然是独一无二的。它也是开源的、免费使用的性能基准,并得到中立的、非营利的 seL4 基金会的支持。多年前,它已在军用自主空中和地面车辆中得到证明,现在正被设计用于自动驾驶汽车、医疗设备、物联网系统和关键基础设施。 

目前,包括鉴释在内,已有多家自动驾驶、芯片等独角兽企业加入seL4基金会,例如理想、蔚来、莲花汽车、地平线等,共同推动seL4微内核的发展。

(查看更多seL4基金会成员:

http://sel4.systems/Foundation/Membership/)

本次研讨会,我们很荣幸的邀请到

seL4基金会主席

悉尼新南威尔士大学教授

Gernot Heiser

跟大家分享他的见解和研究成果。

本次研讨会您将了解到:

  1. seL4 基金会是什么?
  2. seL4 的验证故事及其实际应用的意义
  3. seL4的开源生态系统是什么?
  4. Gernot Heiser教授在悉尼新
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值