Embedded Linux Conference will be held on-site in Seattle, Washington as well as virtually on September 27-30. It is the leading conference for developers, architects and other technologists – as well as open source community and industry leaders – to collaborate, share information, learn about the latest technologies and gain a competitive advantage by using innovative open solutions. To learn more about the event, which is co-located with Open Source Summit, or to register, visit the main event website.
ELISA will be represented at the event in a few sessions including:
September 27 at 3:50 – 4:40 pm (PDT): How has Covid-19 Impacted the kernel Development over the Last Year? – Daniel German, University of Victoria & Kate Stewart, The Linux Foundation
Using the version control history of Linux, is there evidence that covid-19 has impacted the kernel development process during the last year? In this presentation we will discuss the trends of growth in the source code and contributors (including maintainers) of Linux over the last year and how they were different from the trends reported in the Linux Kernel History Report 2020 report. Add this to your schedule here.
September 28 at 11 – 11:50 am (PDT): A Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in Linux – Daniel Bristot de Oliveira & Gabriele Paoloni, Red Hat
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/). Add this to your schedule here.
September 29 at 9:45 – 9:55 am: Keynote – Kate Stewart, The Linux Foundation
To register or learn more about the event, visit the Embedded Linux Conference website.
