Seminar Series
Criteria and Process for Evaluating Open-Source Documentation
As the open source and safety (and security) communities collaborate more closely, there’s an opportunity to build trust by showcasing how open source development aligns with key safety principles. As...
Meet the New KernelCI
KernelCI started 10 years ago as a small project to test the kernel on Arm devices. The project grew over the years and today a new architecture is in place....
The SEooC concept driven into extreme
For quite a few years, ISO 26262 has supported a component/element-based approach to ISO 26262, SEooC or Safety Element out of Context. This has simplified the argumentation and integration for...
Cregit: token-level history of Linux
One of the major disadvantages of git’s blame command is that the minimum unit of change it tracks is the line of text. As past of the ELISA Seminar series,...
Improved system stressing with stress-ng
Stress-ng has a proven track record for stress testing Linux systems and forcing out system bugs. As past of the ELISA Seminar series, Colin King, Principal Engineer at Intel, gave...
Making Linux Fly: Towards Certified Linux Kernel
Although the Linux operating system has been used widely in many industries, adoption in aerospace has been slow due to the rigorous assurance evidence required as part of flight certification....
Ferrocene: Qualifying the Rust compiler out in the open
Ferrocene is a fully open source toolchain to enable the use of the Rust programming language in safety-critical environments. It is a proper downstream of the main Rust compiler –...
Certifying Linux: State of the Art and Lessons Learned after Eight Years
In 2018, in the course of the SIL2LinuxMP project, we summarized the knowledge gained around research questions and suggested potential solutions using Linux in safety-related systems in the paper “Certifying...
ISO-PAS 8926 Overview and ISO 26262 3rd ed. Activity Planning (Video)
ISO PAS 8926 “Road vehicles – Functional safety – Use of pre-existing software architectural elements” has been approved by the ISO community. This achievement represents a recognition of the work...