2nd Workshop on Ensuring and Validating Safety for Automated Vehicles

The development of automated driving has made huge advances in the last years. Several companies have announced the deployment of highly automated vehicles in public traffic in the near future. However, the operation of SAE level 3+ automated vehicles is always subject to risk caused by uncertainty in environment perception, prediction of other traffic participants’ behavior, vehicle behavior generation, requirements specification, and validation. Hence, novel ap- proaches towards ensuring and validating safety of automated vehicles are necessary in order to reduce the risk to an acceptable level, which is itself not defined or even quantifiable yet. Thus, the second workshop on “Ensuring and Validating Safety of Automated Vehicles” addresses multiple topics related to the safe operation of automated vehicles.

Preliminary Program

10:30 - 11:00 Introduction / Motivation Torben Stolte, Markus Maurer TU Braunschweig
11:00 - 11:30 System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving System (paper presentation) Mehmed Ayhan TTTech
11:30 - 12:00 A Probabilistic Framework for Collision Probability Estimation and an Analysis of the Discretization Precision (paper presentation) Daniel Åsljung Zenuity
12:00 - 12:30 Panel Discussion Torben Stolte, Markus Maurer TU Braunschweig
12:30 - 13:30 Lunch
13:30 - 14:00 Coping with discontinuities in the Responsibility Sensitive Safety model (invited talk) Suhel Jaber Intel
14:00 - 14:30 Specifying Safety of Autonomous Vehicles in Signal Temporal Logic (paper presentation) Nikos Arechiga Toyota Research Institute
14:30 - 15:00 Formalisation and Algorithmic Approach to the Automated Driving Validation Problem (paper presentation) Jan Erik Stellet Bosch
15:00 - 15:30 Coffee Break
15:30 - 16:00 Invited Talk Krzysztof Czarnecki University of Waterloo
16:00 - 16:30 Panel Discussion Torben Stolte, Markus Maurer TU Braunschweig

Speaker's Bios

Mehmed Ayhan is PhD student at the School of Innovation, Design and Engineering at Mälardalen University, Sweden.
He is a system architect at TTech Auto AG, Vienna, Austria.
His research focus is on safety and reliability improvement of advanced driver assistance systems.

Daniel Åsljung received his M.S. degree in Entrepreneurship and Business Design in 2014 from Chalmers University of Technology, Gothenburg, Sweden. In 2017 he received a Licentiate of Engineering degree in Mechatronics, also from Chalmers University of Technology, where he is currently working toward a Ph.D. degree. Between 2014 and 2017 he was with Volvo Car Corporation, Gothenburg, and since 2017 he is with Zenuity, Gothenburg, where he is currently conducting research within highly autonomous driving. His current research focus is on developing methods for safety validation of automated vehicles.

Jan Stellet received the B.Sc. and M.Sc. degree in electrical engineering and information technology and the Dr.-Ing. (equivalent to Ph.D.) degree in computer science from Karlsruhe Institute of Technology, Germany, in 2010, 2012 and 2016, respectively. In 2013 he joined Corporate Research of Robert Bosch GmbH in Renningen, Germany, where he develops methods for the validation of driver assistance and automated driving functions.

Krzysztof Czarnecki is a Professor of Electrical and Computer Engineering at the University of Waterloo. His research focus is on safety assurance of autonomous vehicles, and especially assuring appropriate behavior in traffic and functions that rely on machine learning. He co-leads the development of UW Moose, Canadas first self-driving research vehicle (autonomoose.net). He also serves on Society of Automotive Engineers task forces on level of driving automation, reference architecture for automated driving systems, and maneuvers and behaviors.

Call for Paper

Call for Paper: PDF


updated on: 13.05.2019 15:47