You are here: Home / OSADL / Events / 
2018-11-14 - 17:22
OSADL Special Events

OSADL Special Events

Linux in Safety-Critical Systems Summit

Wednesday, October 24, 2018
11:15 - 17:30
Sheraton Grand Hotel & Spa Edinburgh
Room Edinburgh 1
1 Festival Square, Edinburgh EH3 9SR, UK

Scope

The Linux in Safety-Critical Systems Summit will inform interested developers and users about the activities and plans to support the use of Linux in safety-critical systems. The event will present developments in the OSADL SIL2LinuxMP project and work from others that are valuable to the project. We will explain the publicly available results, present the activities that need to be continued and discuss future collaboration in the area of using Linux in safety-critical systems.

The summit will take place alongside the Linux Foundation Embedded Linux Conference + OpenIoT Summit Europe 2018 and was sponsored by OSADL through an event sponsorship.

Agenda

11:15 - 11:20 Welcome, Intent of this Event, Overview of Agenda

11:20 - 11:40 Kate Stewart & Lukas Bulwahn, Past and Future Projects for Enabling Linux in Safety-Critical Systems

11:40 - 12:00 Questions & Wider Discussion on this Subject

12:00 - 12:30 Nicholas Mc Guire, Description of current SIL2LinuxMP Results: Approach & Documents

12:30 - 13:00 Ralf Ramsauer, Reliable Pre-Integration Tracking of Commits on Mailing Lists

13:00 - 14:15 Lunch Break (Attendees on their Own)

14:15 - 14:20 Wolfram Sang, Lightning Talk: A Kernel Maintainer's View on the SIL2LinuxMP workshops

14:20 - 14:45 Michał Szczepankiewicz, Assessment of Verification Methods and Tools used in the Linux kernel development

14:45 - 15:15 Nicholas Mc Guire & Wolfgang Mauerer, Introduction and Panel Discussion on Statistic Patch Analysis

15:15 - 15:45 Paul Sherwood, Introduction to STPA

15:45 - 16:15 Coffee Break

16:15 - 16:30 Lightning Talks – Interested people can register a talk per email or on-site of 5 minutes (2 minutes presentation & 3 minutes discussion); at most 3 Lightning Talks planned

16:30 - 17:00 Nicholas Mc Guire, System Safety Engineering with Hazard-Driven Decomposition, Design and Development, and the Coliminder Use Case

17:00 - 17:30 Kate Stewart & Lukas Bulwahn, Open Discussion with Interested Parties on Future Work and Next Steps

Registration

Please register directly at the Linux Foundation co-located event site: Registration (please click on "Safety-Critical Systems"). Participation at this summit can be booked free of charge as add-on complimentary event to ELCE and OpenIOT registration.