30 March - 2 April 2020 | Leipzig, Germany

Post-conference Workshop Day | Thursday, 2 April 2020

7:30 am - 8:00 am Welcome coffee and registration for workshop 6 and 7

This workshop will explore approaches to assuring the safety of the use of machine learning. It will consider the issues across the machine learning lifecycle, looking at data management, model learning, model verification and model deployment.

Richard Hawkins

Senior Research Fellow, Assuring Autonomy International Programme (AAIP)
University of York

8:00 am - 10:30 am WORKSHOP 7 - Validating safe functionality - handling unknown unsafe scenarios

Dr. Susanne Ebel - Senior Functional Safety Expert, Robert Bosch GmbH
Focus: Validation according to ISO 21448:2019 SOTIF

Verification and validation are the key activities in ensure safety of the intended function. While verification focusses on the process of rendering known unsafe scenarios safe, validation is the part that is looking into the unknown unsafe scenarios. In this workshop, we will discuss both verification and validation strategies and then concentrate on validating the SOTIF.
• Discuss with your peers different verification and validation strategies and exchange on lessons learnt.
• Get an understanding on how to identify potential triggering conditions on the left side of the V-model
• Improve your validation process by learning from Best Practice examples

Dr. Susanne Ebel

Senior Functional Safety Expert
Robert Bosch GmbH

10:30 am - 11:00 am Coffee break and registration for workshop 8

11:00 am - 1:30 pm WORKSHOP 8 - An introduction to STPA (System Theoretic Process Analysis)

John Thomas - Staff Researcher, Massachusetts Institute of Technology
The system theoretic process analysis (STPA) is a much discussed risk and hazard analysis method. As a top-down analysis, STPA emphasizes the system‘s dynamic behavior including automation interactions and human behavior. Join this workshop to get a hands-on approach how to perform STPA and it’s relationship to the safety of the intended functionality.
• Get a summary of the most important aspects of the STPA: basic concepts, terminology, and process will be explained
• Understand the difference between traditional techniques and STPA, and latter‘s advantages
• Apply an exemplary STPA to a limited case study to demonstrate the process

John Thomas

Staff Researcher
Massachusetts Institute of Technology

1:30 pm - 2:30 pm Networking luncheon and registration for workshop 9 and 10

2:30 pm - 5:00 pm WORKSHOP 9 - Safety Architectures and ASIL Decomposition

Riccardo Cagnacci - Functional Safety Senior Architect, Intel
The workshop will describe the importance of defining safety architectures for high-performance SoCs targeting high-ASIL by leveraging from ASIL decomposition. Topics that will be included are:
• ASIL decomposition as powerful technique
• HW/SW architecture options
• Dealing with legacy HW/SW and QM components

Riccardo Cagnacci

Functional Safety Senior Architect

2:30 pm - 5:00 pm WORKSHOP 10 - Keeping AI safe - specification and robustness for building safe Artificial Intelligence

Focus: Safe AI

The further we move the ladder of automation levels up towards level 3, 4 and 5, the more vehicle systems become highly automated and autonomous, the more complexity we add, the less we can let the issue of safe AI aside. In this workshop, we want to explore how we can build Artificial Intelligence systems in such a way that they are robust and safe.
• Get an overview of ongoing and future initiatives on safety critical AI
• Understand the Challenges in AI/ML for safety critical systems
• Share your experience on how to build robust and safe AI

5:00 pm - 5:00 pm End of the 2020 Safety Week