Skip to main content
Category

Safety-Critical Software Summit

Open Source Summit Europe 2024 Recap

By Blog, Safety-Critical Software Summit

Last month, the ELISA Project members had the exciting opportunity to attend and speak at both the Open Source Summit Europe and the Linux Plumbers Convention. During these events, we engaged with fellow speakers by asking a series of thought-provoking questions to uncover their insights and experiences within the open source community. Here’s what we found out: from the challenges they faced in their projects to the unique ways they foster collaboration and innovation, the responses painted a vibrant picture of the passion and dedication driving our community forward.

ELISA Project member Alessandro Carminati from Red Hat presented his session, “Addressing Duplicated Symbol Names in kallsyms: Introducing kas_alias for Symbol Differentiation,” at the Linux Plumbers Convention for the first time and also attended the Open Source Summit Europe. He shared, “Both conferences were memorable to me as they were my first experiences at such events.” These events provided valuable opportunities for individuals in the open source community to connect and engage with one another. Alessandro noted, “The networking at Plumbers was extraordinary. Suddenly, all the names I had been seeing on mailing lists became real people. While this might be expected for most, it really amazed me.”

To learn more about Alessandro Carminati and the ELISA Project, we invite you to explore our ongoing initiatives and community engagements. The insights gained from the Open Source Summit Europe and the Linux Plumbers Convention will undoubtedly shape our future collaborations and projects. As we continue to foster connections and share knowledge within the open source community, we remain committed to empowering individuals and driving innovation together. Stay tuned for more updates and opportunities to engage with us as we build a stronger, more inclusive ecosystem for everyone involved.

Incase you missed other ELISA Project sessions from OSS Europe, you can watch all of the session here:

Stay tuned by subscribing to the ELISA Project newsletter or connect with us on Twitter, LinkedIn or mailing lists to talk with community and TSC members.

Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C Considerations

By Blog, Safety-Critical Software Summit

The Embedded Open Source Summit (EOSS) serves as a pivotal event for the open source embedded projects and developer communities. This umbrella event brings together various micro conferences, including the Embedded Linux Conference, Zephyr Developer Summit, and Safety-Critical Software Summit, offering a comprehensive platform for collaboration, discussions, and education. If you missed the Safety-Critical Software Summit, you can watch the videos on the ELISA Project Youtube Channel here

This session titled, “Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C Considerations,” focuses on the code coverage requirements of RTCA DO-178C and how Boeing plans to meet them using the open-source LLVM coverage tools to measure the Linux kernel. Boeing is working to use Linux in numerous safety-critical avionics applications, which involves assuring the software in accordance with DO-178C considerations. Among these considerations are requirements on code coverage, which vary depending on the criticality of the system. These requirements will be discussed, accompanied by code examples to help illustrate what must be measured. Collaborating with the University of Illinois Urbana-Champaign (UIUC), llvm-cov was selected as the tool to collect coverage data. The speaker, Andrew Oppelt, is a Real-Time Software Engineer at The Boeing Company, focusing on real-time and safety-critical applications.

However, as it stands today, llvm-cov cannot generate the data needed to meet DO-178C requirements. Boeing is working with UIUC and the open-source community to enhance llvm-cov to meet its certification needs. Currently, llvm-cov supports statement and decision coverage, with an open merge request for modified condition/decision coverage (MC/DC). In addition to these existing features, object code coverage and design coupling and control coupling (DCCC) are necessary to fulfill DO-178C objectives.

Find about more about the Linux Kernel here.

BASIL an Open Source Software for Quality Management

By Blog, Safety-Critical Software Summit

The Embedded Open Source Summit (EOSS) serves as a pivotal event for the open source embedded projects and developer communities. This umbrella event brings together various micro conferences, including the Embedded Linux Conference, Zephyr Developer Summit, and Safety-Critical Software Summit, offering a comprehensive platform for collaboration, discussions, and education.

Among these, the Safety-Critical Software Summit stood out with significant attendance. Held under the EOSS, the summit drew more than 860 participants, with 79% holding technical positions. This high level of engagement underscores the importance of safety-critical software in the embedded systems landscape and the ultimate goal of advancing secure and reliable solutions through open source collaboration.

As part of the Safety-Critical Software Summit, Luigi Pellecchia, Senior Software Quality Engineer  & Gabriele Paoloni, Sr SW Principal Engineer from Red Hat presented about “BASIL: The FuSa Spice,” which is an open source tool that facilitates software quality management by supporting traceability and completeness in analysis, including management of requirements and test cases. Developed by Red Hat and introduced to the ELISA Project community in June 2023, it was released as open source on GitHub in October 2023. If you missed this session, you can join them in Vienna on Monday September 16th at 12:15. Luigi and Gabriele will be on sire at OSSummit Europe with an updated version. tune into the updates coming this month for OSSummit Europe. Learn more: https://sched.co/1ejIi

To see all of the videos from the Summit, visit the ELISA Youtube Channel and click on the Safety-Critical Software Summit Playlist

The Limits of Safety Engineering and the Cinderblock Problem

By Blog, Safety-Critical Software Summit

Embedded Open Source Summit (EOSS) is an umbrella event for open source embedded projects and developer communities to come together under one roof for important collaboration, discussions and education.  The event is composed of different  micro conferences including Embedded Linux Conference, Zephyr Developer Summit, and Safety-Critical Software Summit.

The Safety-Critical Software Summit took place under the Embedded Open Source Summit, where more than 860 individuals attended in-person at the event with 79% holding technical positions.

At the Safety-Critical Software Summit, Chuck Wolber, Associate Technical Fellow at The Boeing Company, gave a presentation titled, “The Limits of Safety Engineering and the Cinderblock Problem.”

This presentation uses practical examples to teach developers how to think about software in a safety critical context. It identifies the limitations of safety engineering and give developers a conceptual foundation for working within those constraints. At the heart of these limitations is the introduction of the “Cinderblock Problem.” Chuck uses this problem as a proposed shorthand for expressing the limitations of safety engineering in the context of software design and development.



To see all of the videos from the Summit, visit the ELISA Youtube Channel and click on the Safety-Critical Software Summit Playlist

The ELISA Project – Enabling Open Source in Safety-Critical Applications

By Blog, Industry Conference, Safety-Critical Software Summit

Embedded Open Source Summit (EOSS) is an umbrella event for open source embedded projects and developer communities to come together under one roof for important collaboration, discussions and education.  The event is composed of different  micro conferences including Embedded Linux Conference, Zephyr Developer Summit, and Safety-Critical Software Summit.

The Safety-Critical Software Summit took place under the Embedded Open Source Summit, where more than 860 individuals attended in-person at the event with 79% holding technical positions.

At the Safety Summit, Philipp Ahmann, ETAS presented on the ELISA Project, which focuses on enabling open source software in safety-critical applications. The growing need for safety integrity standards in open source projects offers both challenges and opportunities to enhance software quality, particularly in testing, documentation, robustness, and dependability. ELISA aims to be a central hub for safety-critical workloads, collaborating with projects such as Xen, Zephyr, Yocto, and SPDX.

Philipp’s session began with an overview of ELISA’s goals and activities. The focus then shifted to an open discussion on elements, processes, and tools that can enhance trust in open source software for safety, paving the way towards potential certification. The session emphasized the importance of community involvement and collaboration to address the challenges and opportunities in making open source software safety-certifiable.

Key points of the presentation included the focus on various open source projects and their relationship to functional safety. For instance, the Zephyr project integrates safety from the design phase, with premium members having access to comprehensive safety documentation and testing materials. In contrast, Xen prioritizes security and industrial-grade operations, offering rigorous quality processes and strong traceability from initial commit to testing pipelines. Philipp emphasized the importance of community involvement, noting that premium members, like AMD, drive the safety certification efforts for Xen.

The ELISA project distinguishes itself by not directly delivering a “safe Linux,” but by supporting integrators and system creators in making Linux-based systems safety-certifiable. Key members include Red Hat, SUSE, Canonical, Wind River, and Elektrobit, among others. ELISA focuses on creating reproducible systems with CI pipelines that cover documentation, testing, and error detection, enabling users to hook into various stages of the process.

Philipp also discussed the complexity of certifying Linux-based systems due to their inherent flexibility and configurability. He highlighted the challenges of aligning Linux with traditional safety-critical operating systems, which are typically small, fixed, and non-configurable. The presentation also covered the broader scope of ELISA’s work, which includes interactions with various standards bodies and the development of reference systems to demonstrate safety applications.

The ELISA project promotes best practices and aims to ensure that its work is accepted by the open source community. This includes contributions to the Linux kernel and related projects, as well as interactions with other initiatives like CIP and SOAFEE. He also mentioned ongoing efforts to develop use cases and practical applications, such as electric vehicle charging stations and medical devices, to better understand and address the safety needs of different industries.

In conclusion, the ELISA Project is committed to enabling the use of open source software in safety-critical applications through collaboration, comprehensive documentation, robust testing, and continuous improvement. The project seeks to engage the broader community in its efforts, recognizing that the collective expertise and contributions of its members are essential to achieving its goals. The presentation underscored the importance of open communication, shared best practices, and a commitment to safety in driving the project forward.

You can find the presentation slides here

To see all of the videos from the Summit, visit the ELISA Youtube Channel and click on the Safety-Critical Software Summit Playlist

 

Learn more about the ELISA Project by:

Xen Project’s Progress Toward Safety Certification – Stefano Stabellini, AMD

By Blog, Industry Conference, Safety-Critical Software Summit

Embedded Open Source Summit (EOSS) is an umbrella event for open source embedded projects and developer communities to come together under one roof for important collaboration, discussions and education.  The event is composed of different  micro conferences including Embedded Linux Conference, Zephyr Developer Summit, and Safety-Critical Software Summit.

The Safety-Critical Software Summit took place under the Embedded Open Source Summit, where more than 860 individuals attended in-person at the event with 79% holding technical positions.

embedded open source summit 2024 - ELISA Project

At the Safety Critical Software Summit, Stefano Stabellini, AMD provided a comprehensive update on the Xen Project’s advancements toward achieving safety certification. The Xen Project is an open source, static partitioning hypervisor designed for embedded and automotive applications. It ensures strict isolation between domains, making it a prime candidate for the highest levels of safety certification, such as ISO 26262 for automotive and IEC 61508 for industrial applications.

Stefano detailed the collaborative efforts between AMD and the Xen Community, initiated in 2023, to make Xen safety-certifiable across AMD x86 and ARM architectures. Over nine months, the team has integrated 80% of the relevant MISRA C rules into Xen’s coding standards and resolved numerous MISRA C violations. The introduction of MISRA C checkers into the upstream Xen CI loop has been a critical step in maintaining code quality by preventing new violations from entering the codebase.

The talk emphasized the Xen Project’s rigorous approach to safety certification, highlighting the adoption of a flexible and adaptable MISRA C compliance strategy. This approach included deviating certain MISRA rules that were too restrictive or not entirely applicable to Xen’s mature codebase, while still leveraging MISRA’s robust guidelines to improve code safety and quality.

Stefano also discussed the development of software safety requirements, a key component of the certification process. These requirements are structured hierarchically into market requirements, product requirements, and detailed software safety requirements, each linking to specific tests and traceable through tools like OpenPASS Trace.

The presentation emphasized the importance of integrating MISRA C scanning into the continuous integration (CI) process to detect and address violations early. Additionally, it highlighted the need for using modern tools and methodologies for writing and managing safety requirements, aligning them with open-source community practices.

Stefano concluded by outlining the next steps, including the ongoing upstreaming of safety requirements and further development of the testing infrastructure. 

You can find the presentation slides here.

 

To see all of the videos from the Summit, visit the ELISA Youtube Channel and click on the Safety-Critical Software Summit Playlist

Learn more about the ELISA Project by:

Aligning Automotive Standards with Open Source Excellence

By Blog, Safety-Critical Software Summit

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 April 16-18 in Seattle, Washington. 

Free and open-source software (FOSS), particularly Linux, is gaining traction in automotive embedded solutions and High-Performance Computing Platforms due to its advantages over proprietary alternatives. However, assuming liability for FOSS-based issues presents challenges in software quality assurance and risk control. The automotive industry, relying on the ASPICE maturity model and safety standards for assessment, faces a mismatch with the decentralized nature of FOSS development, driven by community contributions. FOSS’s decentralized quality assurance measures make single-entity regulation impractical, compounded by the extensive Linux code base, rendering low-level ASPICE Process Reference Model processes economically infeasible.

This presentation proposes a tailored approach incorporating ASPICE with compensation measures for FOSS specifics. This aims to achieve quality assurance and risk mitigation goals, enabling assessment through the ASPICE Process Assessment Model and adherence to functional safety standards. The video details these strategies, emphasizing a nuanced approach harmonizing FOSS principles with industry standards for reliability and safety in automotive computing. Watch here: 

 

The Safety-Critical Software Summit took place under the Embedded Open Source Summit, where more than 860 individuals attended in-person at the event with 79% holding technical positions. To see all of the videos from Summit, visit the ELISA Youtube Channel and click on the Safety-Critical Software Summit Playlist

Learn more about the ELISA Project by:

Safety-Critical Software Summit Schedule Now Live

By Announcement, Blog, Safety-Critical Software Summit

Last week, the Linux Foundation announced the full schedule for Open Source Summit North America, the premier event for open source code and community contributors. The leading gathering for the global open source community offers 200+ sessions presented through 16 microconferences, exploring the most crucial and innovative topics driving open source advancements today.

Embedded Open Source Summit is also being held April 16-18 in Seattle, Washington, alongside Open Source Summit North America. The Safety-Critical Software Summit, sponsored by the ELISA Project, will be under the EOSS umbrella and aims to gather safety experts and open source developers to enable and advance the use of open source in safety-critical applications.

The Safety-Critical Software Summit will take place on Thursday, April 18. Check out the schedule below, which is in PST:

Check out the complete schedule here. Register here by February 24 for an early bird discount. Those who register for Open Source Summit can add on registration for Embedded Open Source Summit for free.

Learn more about the ELISA Project by:

Advancing Open Source Safety-Critical Systems (video)

By Blog, Safety-Critical Software Summit

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 education, in Prague, Czech Republic, on June 27-30. More than 1,300 people registered for the conference – representing 375 organizations across 56 countries around the globe.

EOSS hosted the Safety-Critical Software Summit, which was sponsored by the ELISA Project, that gathered safety experts and open source developers to enable and advance the use of open source in safety-critical applications. As part of the Summit, Philipp Ahmann, Technical Business Development Manager at Robert Bosch GmbH and Chair of the ELISA Project TSC, presented a session titled, “ELISA Status and Outlook: Advancing Open Source Safety-Critical Systems.”

These days, open source software can be found in almost every reasonably complex product running software. It runs in medical devices, robots, vehicles, and even outer space. In the underlying industry sectors, certification and safety integrity standards play an important role which at first glance seem at odds with the use of pre-existing open source software, not developed strictly in accordance with industry standards.

In this video, recent ELISA project deliverables in the field of elements, processes, and tools are highlighted. These include system theoretic process analysis, workload tracing, call-tree visualization on kernel level, and reproducible example use-cases from the field of medical devices and automotive. Their role in reducing the burden for companies to build and certify open source based safety-critical applications is shown. Additionally, an overview of upcoming ELISA activities in 2023 is provide and how cross project collaboration is established, as the ELISA work streams include interaction with e.g. the Zephyr, Xen, AGL, yocto, and SPDX community. A few statements on the overall challenges of safety-critical use cases using free open-source software will help to pick up those audience which is new to safety-critical or open source development. 

 

 

 

Click here for the presentation slides. Click here to view the other videos from the Safety-Critical Software Summit.

For more ELISA Project updates, subscribe to @ProjectElisa or our LinkedIn page or our Youtube Channel.

Coding Guidelines – to Comply or Not Comply – Some Myth Busting (video)

By Blog, Safety-Critical Software Summit

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 education, in Prague, Czech Republic, on June 27-30. More than 1,300 people registered for the conference – representing 375 organizations across 56 countries around the globe.

EOSS hosted the Safety-Critical Software Summit, which was sponsored by the ELISA Project, that gathered safety experts and open source developers to enable and advance the use of open source in safety-critical applications. As part of the Summit, Nicole Pappler, CTO and Founder of AlektoMetis, and Philipp Ahmann, Technical Business Development Manager at Robert Bosch GmbH and Chair of the ELISA Project TSC, presented a session titled, “Coding Guidelines – to Comply or Not Comply – Some Myth Busting.”

While adhering to certain coding styles is a good practice in software projects, adhering to coding guidelines for safety critical applications is still something rather exotic in open source projects. As open source projects now more and more start to address the needs of functional safety applications, considering coding guidelines preferred by existing functional safety projects seems to become necessary. The most used rules for coding guidelines in the safety critical context are MISRA rules. While applying these can be quite beneficial for most applications, there is a significant number of exceptions where blindly following these rules causes more problems than it solves.

In this video, Nicole and Philipp discuss the most common coding guidelines, best practices and arguments when following the MISRA rules conflicts with the expectations of the project. Acceptance criteria for non-compliance cases along with examples of acceptable deviations will be presented. This is not contra coding guidelines, but illustrates how coding guidelines are beneficial for a project, what to consider when designing a project’s coding guidelines and how the lessons learned by the application of MISRA rule sets can be applied to languages that are not (yet?) covered by widely accepted rule sets.

Click here for the presentation slides. Click here to view the other videos from the Safety-Critical Software Summit.

For more ELISA Project updates, subscribe to @ProjectElisa or our LinkedIn page or our Youtube Channel.