|
SSIV WOrkshop
| 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) |
|
