Skip to main content
June 12, 2024 in Blog, Safety-Critical Software Summit

Aligning Automotive Standards with Open Source Excellence

Dylan Dawson, Head of Partner Management at Elektrobit Automotive GmbH, gave a presentation about "Aligning Automotive Standards with Open Source Excellence," at The Safety-Critical Software Summit, which took place on…
Read More
June 4, 2024 in Announcement

Canonical and EMQ join the Enabling Linux in Safety Applications (ELISA) Project to Strengthen their Commitment to Safety-Critical Applications in Automobiles

SAN FRANCISCO – June 4, 2024 –  Today, the ELISA (Enabling Linux in Safety Applications) Project announced that Canonical and EMQ have joined the project, marking their commitment to Linux…
Read More
May 28, 2024 in Blog, Seminar Series

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.…
Read More
May 15, 2024 in Blog, Seminar Series

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 –…
Read More