Overview

Time Topic Slides
11:40-12:00 Questions & Wider Discussion on this Subject
12:00-12:30 Nicholas McGuire, Description of current SIL2LinuxMP Results: Approach & Documents Slides
12:30-13:00 Ralf Ramsauer, Reliable Pre-Integration Tracking of Commits on Mailing Lists Slides
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 Slides
14:20-14:45 Michał Szczepankiewicz, Assessment of Verification Methods and Tools used in the Linux kernel development Slides
14:45-15:15 Nicholas McGuire & Wolfgang Mauerer, Introduction and Panel Discussion on Statistic Patch Analysis Slides
15:15-15:45 Paul Sherwood, Introduction to STPA Slides
15:45-16:15 Coffee Break
16:15-16:30 Lightning Talk: Ben Dooks, Kernel to User Protection Slides
16:30-17:00 Nicholas McGuire, System Safety Engineering with Hazard-Driven Decomposition, Design and Development, and the Coliminder Use Case Slides
17:00-17:30 Kate Stewart & Lukas Bulwahn, Open Discussion with Interested Parties on Future Work and Next Steps