活动

直播回顾|seL4基金会做客地平线

2021年11月26日 网络研讨会

seL4 微内核是世界上第一个具有实现正确性和安全执行的数学、机器检查证明的操作系统内核。seL4基金会目前联合国内合作伙伴鉴释,将为广大基金会成员单位提供更多服务,通过线下走访研讨会的方式,了解基金会成员单位对于基金会的期待和需求,以及探讨技术上的支持和合作,致力于推动seL4真正的落地和工程实现。文末附视频回放。

seL4基金会拜访成员的第一站来到了AI汽车芯片及解决方案供应商——地平线。(文末附完整PPT下载方式)鉴释CEO梁宇宁、seL4基金会主席Gernot Heiser 及其 CEO June Andronick,一起通过线上线下方式参与在地平线北京办公室举办的以车载OS为主题的研讨会。本次研讨会也对他们演讲和讨论进行了线上直播,让更多关注seL4的企业和相关人员参与进来。
在会上,梁宇宁主要介绍了车载操作系统的现状以及为什么选择seL4微内核是车载操作系统的最优选。鉴释未来的发展也会专注在工具链、编译器以及支持seL4平台的开发和发展。

 

Gernot和June首先回顾介绍seL4的特点和功能,并且重点分享和讨论有关形式化验证技术的落地。会议最后seL4基金会跟地平线团队深入探讨了对于车载操作系统等一系列问题的思考和想法。

点击此处,下载研讨会完整PPT。

观看直播回放

 


点击此处,了解爱科识是如何帮助开发人员识别难以找出的漏洞,或联系我们获取产品演示

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策