Newcomer Session - Philipp Ahmann, ADIT GmbH & Elana Copperman,... 13:00 - 14:00
General Welcome & Established Working Group Updates 14:00 - 15:00
Evolution of the Development Pro... 15:00 - 15:30
Break
Linux in Safety Systems - Challe... 15:45 - 16:15
eBPF Verifier: Lessons Learned f... 16:15 - 16:45
Kernel Testing Frameworks - Shua... 16:45 - 17:15
Discovery Linux Kernel Subsystem... 17:30 - 18:00
Enforce Properties During Kernel... 18:00 - 18:30
How We Are Stronger Together - S... 18:30 - 19:00
Networking Hour - Philipp Ahmann, ADIT GmbH & Elana Copperman, M... 13:00 - 14:00
Certification Using the 'New Approach to Safety' - Paul Albertel... 14:00 - 15:00
Break 15:00 - 15:30
SW Quality Process Guidance for... 15:30 - 16:00
Understanding the Z Model - Luka... 16:00 - 16:30
Using STPA for ISO-26262 - Shaun Mooney, Codethink Ltd 16:30 - 17:30
Isolation Techniques for Safety - Elana Copperman, Mobileye, Int... 13:00 - 14:00
Dynamic Memory Allocation in Saf... 14:00 - 14:30
Safety Standards and the Communi... 14:30 - 15:00
Requirements Traceability Using... 15:30 - 16:00
The Red Hat Approach to Linux Qu... 16:00 - 16:30
ELISA Goal Setting for Next Quarter & Wrap Up 16:30 - 17:30