Dates and Events: |
OSADL Articles:
2023-11-12 12:00
Open Source License Obligations Checklists even better now
Import the checklists to other tools, create context diffs and merged lists
2022-07-11 12:00
Call for participation in phase #4 of Open Source OPC UA open62541 support project
Letter of Intent fulfills wish list from recent survey
2022-01-13 12:00
Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed
Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached
2021-02-09 12:00
Open Source OPC UA PubSub over TSN project phase #3 launched
Letter of Intent with call for participation is now available |
COOL - Compact OSADL Online Lectures - November 2024 edition
OSADL talks at ESE Embedded Software Engineering Kongress
COOL - Compact OSADL Online Lectures - December 2024 edition
Validation of Linux for Safety-Related Systems
Christoph Stückjürgen, Siemens AG
During the past years, Linux has become the most popular Operating System for Embedded Systems. In the area of safety-related systems however, Linux' market share is still small. This is because safety standards only deal very little with Open Source Software like Linux, therefore up to now it was not clear how to correctly use Linux in safety-related systems. Siemens recently has presented the world's first safety validation of a Linux system according to the standard CENELEC 50128, thus making it possible to benefit from Linux' advantages also within safety-related systems.
According to CENELEC 50128, validating Linux means "the activity of demonstration, by analysis and test, that the product" - i.e. Linux - "meets, in all respects, its specified requirements". The first step in the validation therefore is to analyze and document the functional and non-functional requirements towards the Linux system.
In the talk we present, how the safety requirements to Linux were determined, how Open Source test suites were reused to demonstrate that the requirements are fulfilled and how failed tests were handled.
