文件下载

Building an Open-Source Ecosystem for Auto Operating System

2021-11-25 | Presentation | By Xcalibyte and seL4

On 18th November, Xcalibyte CEO Yuning Liang, seL4 Foundation Chairman Gernot Heiser, and CEO June Andronick participated in a webinar held at Horizon Beijing office. During the webinar, Mr.Liang introduced the current status of the vehicle operating system and why the seL4 microkernel is the most preferred vehicle operating system, while Mr. Heiser and Ms. Andronick reviewed the features and functions of seL4, they also shared and discussed the implementation of formal verification technology.

请填写表格下载

First name*
Last name*
Job title*
Business email*
Company name*
Phone number*
Company size*
Country (or region)*
Industry*
Enter code
- By submitting this form, you agree to have a sales person contact you regarding our services
- By submitting this form, you hereby agree to the terms and conditions in the Xcalibyte Privacy Policy and to the processing of your personal data as described therein.
Consent
I would like to receive marketing communications from Xcalibyte.