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
Real Time Linux Workshops
1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015
15th Real Time Linux Workshop, October 28 to 31, 2013 at the Dipartimento Tecnologie Innovative, Scuola Universitaria Professionale della Svizzera Italiana in Lugano-Manno, Switzerland
Announcement - Call for participation (ASCII) - Hotels - Directions - Agenda - Paper Abstracts - Presentations - Registration - Abstract Submission - Sponsors - Gallery
A safety critical Linux DO-178B compliant. Safety considerations in Linux system and equipment certification
Luca Recchia, MBDA Systems, Italy
Christian Di Biagio, MBDA Systems, Italy
Francesco Rogo, Finmeccanica, Italy
Fabrizio Batino, MBDA Systems, Italy
The goal of Safety Engineering is to make “safety” a safety-critical system that is potentially dangerous. The common safety criteria are based on the hazards identifying and the generation of additional requirements to eliminate or reduce the risk of hazards. In the “safety” industrial sectors the systems (including software) are certified according to a common standard to ensure the respect of safety requirements. Linux operating system is in widespread use in industrial contexts, and in the last years there was even more interest in using Linux for safety related systems. This paper aims to describe a project experience regarding the development of a safety Linux DO-178B compliant. This work describes the use of the GNU/Linux operating system on real safety-critical systems.
The context was the development of a European research project which aims to deliver a new generation Unmanned Combat Air Vehicle. FINX-RTOS (a Gentoo based distribution managed by Finmeccanica) have been customised to satisfy Design Assurance Level D requirements. Like other Linux, FINX is “open source” so its source code was available for the reverse engineering operations needed for DO-178B certification at level D as "software previously developed". Moreover such Linux OS guarantees real-time performance needed (PREEMPT_RT patch applied) and was quite easy to realize a safety “all in RAM” operating system.
To make a long story short, on April 2012 FIN.X-RTOS was declared compliant after the last Stage Of Involvement meeting: “The Software Review 4 (SR4) audit for the FIN.X-RTOS CSCI ensures that final compliance to all the DO-178B level D objectives has been achieved and all open items have been addressed.” as stated by the Technical Quality.
This paper describes technical solutions, quality assurance evidences, test suite and artefacts needed to address project needs and reach the final compliance to DO-178B.
