Skip to main content

ELISA Summit: Useful Techniques for Qualifying a Linux Distro for ASIL-B (Video)

By October 21, 2022Blog, ELISA Summit

An estimated 185 people registered for the ELISA Summit, which took place virtually on September 7-8 to gather Linux community members and attendees from around the world. The event, which featured 15 sessions and 20 speakers, was open to anyone involved or interested in defining, using, or learning about common elements, processes, and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Members of the ELISA Project community presented best practices and overviews on emerging trends and hot topics to using open source software in safety-critical applications and detailed working group updates.

We’ll be featuring event videos in blogs each week. Today, we focus on a popular sessions presented by Rachel Sibley, Senior Principal Software Quality Engineer at Red Hat, and Pablo Martin, Senior Software Qulaity Engineer at Red Hat on the topic “Useful Techniques for Qualifying a Linux Distro for ASIL-B“.

The session covered software testing techniques used by Red Hat to ensure a safe linux distribution targeting ASIL-B consumption. It also included traceability against requirements based coverage, code coverage approaches/frameworks to implement statement, branch, and function coverage analysis. In addition, characteristics of packages under test; instrumentation techniques, modifications for tests, and tests chosen based on the overall contribution to the coverage ratio including upstream testsuites.

Watch the video below or check out the presentation materials here.