Dates and Events: |
OSADL Articles:
2023-11-12 12:00
Open Source License Obligations Checklists even better nowImport 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 projectLetter 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 completedAnother 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 launchedLetter of Intent with call for participation is now available |
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.