Loading…
Dresden, Germany
October 17–18, 2018
Click Here for Information & Registration
Back To Schedule
Wednesday, October 17 • 13:55 - 14:45
Open-Source Automotive Safety with the L4Re Microhypervisor - Michael Hohmuth and Adam Lackorzynski, Kernkonzept

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share
Autonomous driving and Car-to-X connectivity are driving demand for increasing compute capacity and software complexity in vehicles. This complexity is at odds with safety and security requirements. A promising solution to this conflict is software isolation using a trusted hypervisor that's fit for automotive certification.

Kernkonzept has set out to provide such a certification-ready open-source hypervisor. L4Re integrates well with AGL, Android and OP-TEE. Also, Kernkonzept partners with Elektrobit to create a commercial, precertified version of L4Re as part of the EB corbos automotive software suite.

The talk introduces the L4Re hypervisor, maps out the road towards open-source certification readiness, and presents use cases for using L4Re and AGL in safety-critical systems. It also explains the L4Re-based AGL/Android virtualization demo shown at the Kernkonzept/Elektrobit booth.
Speakers
avatar for Michael Hohmuth

Michael Hohmuth

CEO, Kernkonzept
Michael Hohmuth is CEO of Kernkonzept, a Dresden, Germany-based company developing the open-source L4Re microkernel and OS for security/safety-critical and virtualization-enabled applications. After receiving a PhD degree from TU Dresden in 2002, he was a systems researcher at TU... Read More →
avatar for Adam Lackorzynski

Adam Lackorzynski

CTO, Kernkonzept GmbH
Adam Lackorzynski is an operating-systems researcher and chief architect of Kernkonzept, a Dresden, Germany-based company developing the open-source L4Re microkernel and OS for security/safety-critical and virtualization-enabled applications. He received a PhD degree from TU Dresden... Read More →

Kernkonzept3 pdf
Wednesday October 17, 2018 13:55 - 14:45 CEST
Salon St. Petersburg
  Breakout