L4Re certification ready for automotive industries

SAFECOMP Conference

The Kernkonzept open-source microkernel-based L4Re operating system framework is well known in the High Assurance market, with a wide range of accredited products up to GERMAN SECRET or NATO SECRET. The L4Re Operating System Framework is also frequently used in the automotive industry, providing highest flexibility and safety for HPC-based cars.

At Safecomp conference 2022 our CTO Adam Lackorzynski and Senior Operating System Engineer Marcus Hähnel, together with our partner Elektrobit, will share their experiences on Safety Analysis and Certification.

We are looking forward to interesting talks about benefits of our open-source L4Re technology for the automotive industry and in safety and security certifications. Use your chance for a one-on-one chat with our CTO!

Please mail us to schedule an appointment.

Walther-von-Dyck-Straße 12

85748 Garching

Germany

KERNKONZEPT

Welcome aboard!

Thank you for your interest in the workshop! Your registration has been received. Should the workshop be fully booked, we’ll place you on the waiting list — and we’ll reach out to you personally either way.

KERNKONZEPT

Message sent!

Thank you for reaching out!

We’ve received your message and will get back to you personally as soon as we can.

KERNKONZEPT

Almost there!

To complete your subscription, please check your inbox for a confirmation email. Click the link in the email to confirm your subscription. If you don’t see the confirmation email in your inbox, make sure to check your spam or junk folder.

Kernkonzept Whitepaper L4Re Micro Hypervisor Cover

Download

Almost there!

Thank you for your interest in our work. After your free download, we would love to hear your opinion about it. Feel free to contact us per mail or on LinkedIn!