This website uses cookies to make the content more user-friendly and effective. By using this website, you agree to the use of cookies. You can find additonal information about the use of cookies and the possibility of objecting to the use of cookies here.

26 - 28 February 2019 // Nuremberg, Germany

Conferences and supporting programme

back to day overview
Class 10 - The Nicholas McGuire Class - GNU/Linux

What Could Your GNU/Linux Safety Certification Route Look Like? - Some Answers from Three Years of SIL2LinuxMP Vortragssprache Englisch

In 2015 OSADL started the SIL2LinuxMP project to specify a generic and re-usable processes to achieve certification of GNU/Linux based systems. Such systems have been certified in the past, but not that many and all of the ones we know of, were one-of certifications not generic. The SIL2LinuxMP project strives to define, implement and verify, by subjecting a realistically complex use-case to certification, that a generic set of procedures, measures and methods could be developed to allow certification of GNU/Linux based systems to mid integrity levels of IEC 61508 Ed 2. In this seminar we will present the big-picture of how we are approaching certification, main findings - some quite surprising to us - and some of the still open issues. The goal of the seminar is to present the overall work-flow in a compressed form as guidance to approaching certification of a GNU/Linux based system. While all work will be in the specific context of GNU/Linux we believe that a majority of the procedures and methods are generically applicable to many FLOSS elements. Session outline: * IEC 61508 Ed 2 'assessment of non-compliant development' overview * Overview of the reference Use-Case - Coliminder * Extensions to IEC 61508 part 1 - Selection * Compliance route overview in the context of the overall work-flow * Extensions to IEC 61508 part 3 - Method introduction and tailoring * Specific methods - Acceptance and Test Criteria - modularization of safety management - Statistic modeling of the Linux kernel - Software LOPA - system level semi-independent IPLs - Hazard driven decomposition, design and development * Major findings * Open issues * Status of SIL2LinuxMP - a bit of a speculative road-map

--- Date: 01.03.2018 Time: 9:30 AM - 4:30 PM Location: Conference Counter NCC Ost



Prof. Nicholas Mc Guire

Open Source Automation Development Lab (OSADL) eG


The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.