Accepted papers

Regular papers

• Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities, Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud and Merve Saimler
• Systematic Evaluation of (Safety) Assurance Cases, Thomas Chowdhury, Alan Wassyng, Richard F. Paige and Mark Lawford
• Just Enough Formality in Assurance Argument Structures, Torin Viger, Rick Salay, Gehan Selim and Marsha Chechik
• Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems, Georg Hake, Sebastian Feuerstack and Axel Hahn
• A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME), Katharina Ceesay-Seitz, Hamza Boukabache and Daniel Perrin
• A Compositional Semantics for Repairable BDMPs, Shahid Khan, Joost-Pieter Katoen and Marc Bouissou
• Model-Based Safety Analysis of Mode Transitions, Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta and Viktoria Vozarova
• Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference, Georgios Giantamidis, Stylianos Basagiannis and Stavros Tripakis
• Automated Attacker Synthesis for Distributed Protocols, Max von Hippel, Cole Vick, Stavros Tripakis and Cristina Nita-Rotaru
• An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security, Christopher Deloglos, Carl Elks and Ashraf Tantawy
• Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection, Markus Heinrich, Dominik Renkel, Tolga Arul and Stefan Katzenbeisser
• Automated Anomaly Detection in CPS Log Files – A Time Series Clustering Approach, Tabea Schmidt, Florian Hauer and Alexander Pretschner
• Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings, Lydia Gauerhof, Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli and Yuki Hagiwara
• Safety-Aware Hardening of 3D Object Detection Neural Network Systems, Chih-Hong Cheng
• Model-Centered Assurance for Autonomous Systems, Susmit Jha, John Rushby and Natarajan Shankar
• A Safety Framework for Critical Systems Utilising Deep Neural Networks, Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher and Xiaowei Huang
• Assurance Argument Elements for AI-Enabling Computational Hardware, Rob Ashmore and James Sharp
• Quantifying Assurance in Learning-enabled Systems, Erfan Asaadi, Ewen Denney and Ganesh Pai
• On Validating Attack Trees with Attack Effects, Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma and Hirotaka Yoshida
• Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle, Dominik Püllen, Nikolaos Athanasios Anagnostopoulos, Tolga Arul and Stefan Katzenbeisser
• Threat Analysis Framework for Safety Architectures in SCDL, Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga and Shuhei Yamashita
• Efficient Load-Time Diversity for an Embedded Real-Time Operating System, Joachim Fellmuth, Julian Hartmer, Hanno Skowronek and Sabine Glesner
• Towards an Automated Exploration of Secure IoT/CPS Design-Variants, Lukas Gressl, Michael Krisper, Ulrich Neffe and Christian Steger
• Securing Electric Vehicle Charging Systems through Component Binding, Andreas Fuchs, Dustin Kern, Christoph Krauß and Maria Zhdanova
• Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs, Jens Vankeirsbilck, Hans Hallez and Jeroen Boydens
• On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study, João R. Campos, Ernesto Costa and Marco Vieira
• A Generic Classification of Faults Covering the Human-Computer Interaction Loop, Andy Cockburn, Carl Gutwin and Philippe Palanque

Practical experience reports and tool papers

• Cyber Security of Neural Networks in Medical Devices, Uwe Becker
• FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases, Carmen Carlan and Daniel Ratiu

Position papers

• Machine Learning-assisted Fault Injection, Mehrdad Moradi, Bentley James Oakes and Joachim Denil
• An Industrial Roadmap for Continuous Delivery of Software for Safety-critical Systems, Marc Zeller, Daniel Ratiu, Martin Rothfelder and Frank Buschmann
• A Process Model based on STAMP for Collecting and Management of Safety Evidence, Luiz Eduardo Galvão Martins and Tony Gorschek
  
• A Software Audit Model for Safety-Critical Domains, Talita Marques Ruiz Slavov, Luiz Eduardo Galvão Martins and Johnny Cardoso Marques
• Test framework and key challenges for virtual verification of automated vehicles: the VeriCAV project, Thomas Levermore and Alan Peters
• Towards Automating Safety and Security Co-Analysis with Patterns, Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam