bandeauDSN_2021.jpg

SSIV WOrkshop

        Title Author

Suraksha: A Quantitative AV Safety Evaluation Framework to Analyze Safety Implications of Perception Design Choices Hengyu Zhao (University of California, San Diego)
Siva Kumar Sastry,Hari (NVIDIA)
Timothy Tsai (NVIDIA)
Michael B.,Sullivan (NVIDIA)
Stephen W.,Keckler (NVIDIA)
Jishen Zhao (University of California, San Diego)

Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges Sean Joe,Taylor (Systems Security Group, Institute for Future Transport and Cities (IFTC), Coventry University)
Farhan Ahmad (Systems Security Group, Institute for Future Transport and Cities (IFTC), Coventry University)
Hoang Nga,Nguyen (Systems Security Group, Institute for Future Transport and Cities (IFTC), Coventry University)
Siraj Ahmed (Systems Security Group, Institute for Future Transport and Cities (IFTC), Coventry University)
David Evans (IDIADA Automotive Technology UK)
David Price (IDIADA Automotive Technology UK)

Safety Verification of Neural Network Controlled Systems Arthur Clavière (Collins Aerospace)
Eric Asselin (Collins Aerospace)
Christophe Garion (ISAE-SUPAERO)
Claire Pagetti (ONERA)

Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving Rupert Schorn (TTTech Auto AG)
Wilfried Steiner (TTTech Computertechnik AG)

Certifying Emergency Landing for Safe Urban UAV Joris Guerin (Université Toulouse, LAAS-CNRS, ONERA)
Kevin Delmas (ONERA)
Jérémie Guiochet (LAAS-CNRS, University of Toulouse)

SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems Christian Wolschke (Fraunhofer IESE)
Behrooz Sangchoolie (RISE Research Institutes of Sweden)
Jacob Simon (CEVT, China Euro Vehicle Technology)
Stefan Marksteiner (AVL List GmbH)
Tobias Braun (Fraunhofer IESE)
Hayk Hamazaryan (ZF Friedrichshafen AG)

A Safety Architecture for Centralized E/E Architectures Victor Bandur (McMaster Centre for Software Certification, McMaster University)
Vera Pantelic (McMaster Centre for Software Certification, McMaster University)
Timofey Tomashevskiy (McMaster Centre for Software Certification, McMaster University)
Mark Lawford (McMaster Centre for Software Certification, McMaster University)

CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros A.,Beyene (fortiss - Research Institute of the Free State of Bavaria)
Carmen Carlan (fortiss - Research Institute of the Free State of Bavaria)