文件下载

seL4 Summit 2022

2022-11-01 | Presentation | By Yuning Liang

We shared some progress about making seL4 iso 26262 compliant.

As seL4 moves onto automotive applications, having industry standards will be a big step forward for mass adoption. Iso 26262 ASIL-D is well known and established standard for the automotive software supply chain. And MISRA C standard is well suited to making C-language-written software compliant with Iso 26262 ASIL-D standard.

 

 

请填写表格下载

    • 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政策及隐私政策