文件下载

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.

请填写表格下载

    • 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.

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