Loading…
September 27-30, 2021
Seattle, Washington, USA + Virtual
View More Details & Registration

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit + Embedded Linux Conference + OSPOCon 2021 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Pacific Daylight Time (UTC -7). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date." The schedule is subject to change.

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

Back To Schedule
Tuesday, September 28 • 11:00am - 11:50am
(VIRTUAL) A Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in Linux - Daniel Bristot de Oliveira, Red Hat & Gabriele Paoloni, Intel

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

Feedback form is now closed.
Over the last years, many discussions took place in Linux Foundation's ELISA working groups (elisa.tech) 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 session, the foundations of this approach will be presented. It will be discussed 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 ( https://lwn.net/Articles/857862/).

Speakers
avatar for Gabriele Paoloni

Gabriele Paoloni

Open Source Tech Lead (Functional Safety), Red Hat
Gabriele Paoloni is a passionate technologist and has strong experience in both functional safety and Linux Kernel development.
avatar for Daniel Bristot de Oliveira

Daniel Bristot de Oliveira

Principal Software Engineer, Red Hat
Daniel Bristot de Oliveira is a Principal Engineer at Red Hat, working in the real-time kernel team. Daniel has a Ph.D. in embedded systems and automation engineering and is a member of the Retis Lab at Scuola Superiore Sant'Anna.


Tuesday September 28, 2021 11:00am - 11:50am PDT
MeetingPlay Platform + Virtual Learning Lab