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.