Sessions Details
SESSION 1 - Fault Injection and Tolerance
Wednesday 18th, 10:30-12:00
Session Chair: Jeremie Guichet
| 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
Session Chair: Philippa Ryan
| 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 18th, 16:00-17:30
Session Chair: Elena Troubitsyna
| 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
Session Chair: Martin Torngren
| 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
Session Chair: Lorenzo Strigini
| 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
Session Chair: Leonardo Montecchi
| 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
Session Chair: Juan Carlos Ruiz
| 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
05.09.2024