MENU

Sessions Details

SESSION 1 - Fault Injection and Tolerance

Wednesday 18th, 10:30-12:00

Authors Paper Title
Juan Carlos Ruiz Garcia, Luis Jose Saiz-Adalid, David de Andrés Martínez and Joaquín Gracia-Morán In-Memory Zero-Space Floating-Point-based CNN protection using non-significant and invariant bits
Tiziano Munaro, Irina Muntean and Alexander Pretschner A Failure Model Library for Simulation-based Validation of Functional Safety
Anna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh and Evgenia Smirni Strategic Resilience Evaluation of Neural Networks within Autonomous Vehicle Software

SESSION 2 - System and Software Safety Assurance

Wednesday 18th, 13:30-15:30

Authors Paper Title
Ewen Denney and Ganesh Pai Reconciling Safety Measurement and Dynamic Assurance
Alexei Iliasov, Dominic Taylor, Linas Laibinis and Alexander Romanovsky Safety Invariant Engineering for Interlocking Verification
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra and Michael Durling Assurance Case Synthesis from a Curated Semantic Triplestore
Lev Sorokin and Ulrich Schöpp CyberDS: Auditable Monitoring in the Cloud

SESSION 3 - Position Papers

Wednesday 19th, 16:00-17:30

Authors Paper Title
Anders Cassel, Bengt Haraldsson, Daniel Sandberg, Fredrik Beckman, Martin Torngren, Mattias Nyberg, Molly Hasselberg, Murat Erdogan, Rolf Johansson, Sebastian Holmqvist, Tom Strandberg and Xinhai Zhang DevOps Safety – do not get left at the station!
James Inge and Katia Potiron System Safety for Complex and Defence Systems
Akihisa Morikawa, Yutaka Matsubara, Daichi Mizuguchi and Kiyoshi Fujiwara AI2X Co-evolution Guidebook and Case Study for Human-centered AI Framework
Imanol Allende, Nicholas Mc Guire and Carles Hernandez Herds of Dumb Models: A New Approach Towards Reliable and Safe AI
Philippa Ryan and John McDermid Will the real Operating Domain please stand up?
James Wright and Stephen Wolthusen Formal Methods for Secure Cyber-Physical Systems Workshop: Report on the First Edition
Peter G. Bishop, Andrey Povyakalo and Lorenzo Strigini How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability
Hans Dermot Doran and Suzana Veljanovska An Early-Stage Workflow Proposal for the Generation of Safe and Dependable AI Classifiers
Wiebke Outzen, Michael Oppermann, Tim Gonschorek and Frank Ortmeier Validating Design-Intent System Specification Models with State-of-the-art Large Language Models
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga Algorithms for Fuzzy Attack and Fault Trees

SESSION 4 - Automated Driving Systems

Thursday 19th, 10:30-12:00

Authors Paper Title
Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard Paige, Ramesh S and Alan Wassyng Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems
Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada and Tomoyuki Tsuchiya A Case Study of Continuous Assurance Argument for Level 4 Automated Driving
Phil Koopman Anatomy of a Robotaxi Crash: The Cruise Pedestrian Dragging Mishap

SESSION 5 - Security of safety-critical systems

Thursday 19th, 13:30-15:30

Authors Paper Title
Alberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva and Francesco Barchi TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust
Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim and Alexei Lisitsa A Lightweight and Responsive On-line IDS towards Intelligent Connected Vehicles System
Silvia Bonomi, Stefano Cappai and Emilio Coppa Evaluating the vulnerability detection efficacy of smart contracts analysis tools
Reza Soltani, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga Safety-security analysis via Attack-Fault-Defense Trees: semantics and cut set metrics

SESSION 6 - Safety Verification

Friday 20th, 10:30-12:00

Authors Paper Title
Nazareno Garagiola, Holger Hermanns and Pedro D'Argenio Coyan: Fault Tree Analysis - Exact and Scalable
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson and Peter Backeman Safety Argumentation for Machinery Assembly Control Software.
Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann and Christian Ferdinand Sound Non-Interference Analysis for C/C++

SESSION 7 - Autonomous Systems

Friday 20th, 13:30-14:30

Authors Paper Title
Philippa Ryan, Sepeedeh Shahbeigi, Ioannis Stefanakos, Jie Zou and John Molloy A Dynamic Assurance Framework for an Autonomous Survey Drone
Philip Koopman and William Widen Redefining Safety for Autonomous Vehicles

 

Last update

16.07.2024

Cookies

I cookie di questo sito servono al suo corretto funzionamento e non raccolgono alcuna tua informazione personale. Se navighi su di esso accetti la loro presenza.  Maggiori informazioni