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

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

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

（查看更多seL4基金会成员：

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

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

seL4基金会主席

悉尼新南威尔士大学教授

Gernot Heiser

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

本次研讨会您将了解到：

seL4 基金会是什么？
seL4 的验证故事及其实际应用的意义
seL4的开源生态系统是什么？
Gernot Heiser教授在悉尼新南威尔士大学的研究课题
以及这些研究课题如何确保 seL4 继续定义安全操作系统技术的前沿。

2021年9月16日下午2点

点击加入直播微信群https://www.bagevent.com/event/7748494?code=011G2Jll2Kx4M74yrDkl2qCAIV2G2Jlj&state=STATE

关于主讲人Gernot Heiser

Gernot Heiser 是悉尼新南威尔士大学 Scientia杰出教授和 John Lions 操作系统主席。他的研究兴趣是操作系统、实时系统、安全和安全。他的研究愿景是彻底改变网络安全游戏，从追赶攻击者到可证明安全的系统。作为 Trustworthy Systems 小组的负责人，他开创了大规模系统代码形式验证的先河，特别是 seL4 微内核的设计、实现和形式验证；seL4 现在被用于现实世界的安全和安全关键系统。

Gernot的前公司 Open Kernel Labs 于 2012 年被 General Dynamics 收购，该公司推出了 OKL4 微内核，该微内核搭载了数十亿个移动无线芯片，并部署在所有 iOS 设备的安全区域。他目前担任 HENSOLDT Cyber 首席软件科学家、Neutrality 首席科学家和 seL4 基金会主席。Gernot 是 ACM、IEEE 和澳大利亚技术与工程学院 (ATSE) 的研究员，也是 ACM 杰出讲师。

关于 seL4 基金会

seL4 基金会类似于其他开源项目的基金会，例如 Linux 基金会的云原生基金会、RISC-V 基金会等。它形成了一个开放、透明和中立的组织，负责发展 seL4 生态系统。它将 seL4 内核的开发人员、基于 seL4 的组件和框架的开发人员以及在实际系统中采用 seL4 的开发人员聚集在一起。它的重点是协调、指导和标准化 seL4 生态系统的开发，以减少采用障碍，为加速开发筹集资金，并确保验证声明的清晰度。

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

智能汽车操作系统哪家强？黑莓QNX领跑，中兴/华为撑起中国方案
随着整车智能化.电子架构的变革,操作系统(OS)成为所有硬件和软件的关键基础平台,提供硬件和应用软件之间的接口.包括智能座舱.车身及底盘控制.智能驾驶以及中央计算平台都需要建立在安全.可靠及高性能的O ...
【行业篇】二、汽车操作系统
基于Android的车载操作系统目录写在前面这边博客其实是写给自己的.从手机行业转到汽车领域也有一段时间了,但是一直本分于系统工程师本职工作,沉湎于自己的一亩三分田.工作中更是像一颗螺丝钉把自己 ...
世界上首个被数学证明安全的OS微内核seL4成立基金会
Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作,打造 seL4 操作系统微内核生态. 近日 Linux 基金会宣布托管 seL4 基金会,该基金会以澳大利亚国家科学机构 CSIRO 的 ...
中国银联基于软件定义网络的下一代金融云研究探索
一. 研究背景情况 (一) 问题和挑战银联基于 OpenStack开源技术的金融云平台已运行 5年,目前已达数千台级物理服务器规模,银联互联网.移动支付等关键业务,特别是提供多样化支付服务的全渠道系 ...
面试官：说说操作系统微内核和Dubbo微内核？
你好,我是 yes. 在之前的文章已经提到了 RPC 的核心,想必一个 RPC 通信大致的流程和基本原理已经清晰了. 这篇文章借着 Dubbo 来说说微内核这种设计思想,不会扯到 Dubbo 某个具体 ...
汽车操作系统研发：“广义”带动“狭义”——东软睿驰总经理曹斌谈“软件定义汽车”
开栏的话 "如果没有操作系统,芯片再强,汽车做得再好,都是在沙滩上起高楼.如果'缺芯少魂'这个问题不解决,汽车产业走不快,也走不远."去年下半年,行业权威人士曾提出,行业" ...
国外汽车操作系统布局
1. 大众– VW.OS平台 1)2019年6月,大众集团公开宣布正式成立"Car.Software"车载软件开发部门,该部门将开发"VW.OS"汽车操作系统 ...
操作系统微内核和Dubbo微内核各自优缺点！
导读这篇文章借着 Dubbo 来说说微内核这种设计思想,不会扯到 Dubbo 某个具体细节实现上,和 Dubbo 强相关的内容会在之后的文章写到.所以今天的重点在微内核,而这个概念我最早是从操作系统 ...
驱动万物 AliOS加速汽车操作系统普及
继阿里巴巴集团全新操作系统品牌AliOS正式发布并宣布其未来战略重点为IoT领域后,10月13日,在2017杭州•云栖大会上再次宣布重磅消息:AliOS携手斑马网络与神龙汽车就未来汽车智能化达成战略合 ...

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

2021年9月16日下午2点

点击加入直播微信群https://www.bagevent.com/event/7748494?code=011G2Jll2Kx4M74yrDkl2qCAIV2G2Jlj&state=STATE

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

最新文章

热门文章