Skip to main content

Open Source Summit (Sept 2021) Video: A Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in Linux

By November 11, 2021Blog, Industry Conference

Open Source Summit and Embedded Linux Conference, held in Seattle, Washington as well as virtually on September 27-30, gathered 1,944 total attendees.  Approximately, 482 of those attended in person from 760 organizations across 68 countries around the globe. Learn more about the event in the post-event report here.

The ELISA Project was represented by Gabriele Paoloni, Chair of the ELISA Project Governing Board and Open Source Tech Lead (Functional Safety) at Red Hat, and Daniel Bristot de Oliveira, a member of the ELISA community and Principal Software Engineer at Red Hat. Gab and Daniel presented a talk about how to create a maintainable, scalable and verifiable SW qualification approach for automotive in linux. Watch the video below.

Over the last years, many discussions took place in Linux Foundation’s ELISA Working Groups about possible approaches to qualify Linux for safety-critical systems. To achieve this goal, an architectural description of the Linux kernel is required.

The challenge though is to find the adequate granularity for description: It must be precise enough to support safety analyses, but it cannot be too fine-grained to the point of being unmanageable. A promising approach is to leverage the ISO26262-6 and ISO26262-8 together, in a hierarchical incremental approach. Optimizing the amount of produced documentation and collaterals.

In this video, the foundations of this approach were presented. Gab and Daniel showcase why this approach is suitable for safety application as well as out-of-context using assuming safety requirements and why it provides natural scalability across different use-cases. Finally, considerations will be made with respect to available tools and mechanisms already implemented or proposed in Linux that can significantly help with the above-mentioned approach – including a detailed discussion about how to cross verify, and monitor, the documentation and the kernel using the Runtime Verification subsystem.