Introduction to STPA Presenter: Shaun Mooney, Codethink Short Abstract: Shaun will present an introduction to STPA, including how to do a simple STPA, the advantages and disadvantages of it, his ex

SafeScrum and Agile Safety Case Presenter: John MacGregor, Bosch Research Short Abstract: This presentation covers SafeScrum, which is a general pattern for certifying software incrementally. The g

Nicholas McGuire offers to provide a first introduction to functional safety to participants in the ELISA project. It is intended for newcomers in functional safety and gives a first overview of the i

*Linux Driver Verification & KLEVER: Applying formal methods on the Linux kernel for various years* *Presenter: Evgeny Novikov, ISPRAS* Date to be voted. Time: 22:00 JST; 21:00 CST; 16:00 MSK; 15:00

*Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508* *Referee: Dr. Oscar Slotosch, Validas Agenda:* Recent thoughts and methods how to build