BASIL: the FuSa Spice
Written by Red Hat’s Luigi Pellecchia, Senior Software Quality Engineer, and Gabriele Paoloni, Senior Principal Engineer Introduction Most of the safety standards across different industry domains are based on requirements...
elisaproject
A Recap of the Munich Workshop
Written by Philipp Ahmann, Chair of the ELISA Project TSC, and Kate Stewart, Vice President of Dependable Embedded Systems at the Linux Foundation On October 16-18, ELISA Project gathered at...
The Road to Safe Space Exploration (Video)
The current stage of space exploration has brought with it an increase in the complexity of systems deployed, in the number of players involved, and in the need for autonomy....
Linux Foundation Europe Member Summit Recap (Videos)
This blog originally ran on the Linux Foundation EU Newsroom. For more content like this, click here. Linux Foundation Europe proudly hosted its first annual Member Summit! This milestone event...
Demystifying the Linux Kernel Security Process (Video)
There is a lot of misunderstanding about how the Linux kernel deals with security vulnerabilities. Greg Kroah-Hartman, Kernel Maintainer & Fellow at the Linux Foundation, presented a complimentary Mentorship Session...
Lessons from Maintainers of the World’s Most Critical Software
Image: Attendees at Open Source Summit North America 2023 in Vancouver. This blog originally ran on the Linux Foundation website. For more content like this, click here. In our latest...
Introducing Basil (video)
Basil is a tool developed to support Software Specification analysis, testable requirements definition and coverage. It comes with a web user interface and also a simplified view of work item...
Xen Safety Certification: progress so far and plans for the future (video)
The Xen Project is a static partitioning hypervisor for embedded, from aerospace to industrial and automotive. Xen enforces strong isolation between domains so that one cannot affect the execution of...
Advancing Open Source Safety-Critical Systems (video)
The Linux Foundation hosted the Embedded Open Source Summit (EOSS), a new umbrella event for open source embedded projects and developer communities to come together under one roof for important collaboration and...
Automating Adherence to Safety Profiles After Fixing Vulnerabilities (Video)
Creating a critical safe or secure system generally comes down to two aspects. The system has to be able to meet the technical expectations to handle its criticality and there...