2nd Workshop on Ensuring and Validating Safety for Automated VehiclesThe development of automated driving has made huge advances in the last years. Several companies have announced the deployment of highly automated vehicles in public trafﬁc 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 trafﬁc participants’ behavior, vehicle behavior generation, requirements speciﬁcation, 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 deﬁned or even quantiﬁable yet. Thus, the second workshop on “Ensuring and Validating Safety of Automated Vehicles” addresses multiple topics related to the safe operation of automated vehicles.
|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|
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 trafﬁc and functions that rely on machine learning. He co-leads the development of UW Moose, Canadas ﬁrst 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 PaperCall for Paper: PDF
- New submission deadline: February 7, 2018 (no further extension will be granted)
- Submission: https://its.papercept.net/conferences/scripts/start.pl Code: EVSAV