Program

Detailed Schedule

Monday, September 14

 13h00-14h00 IMBSA Keynote talk (joint session with IMBSA 2020)

• Why models really matter for safety assurance, Prof. Mario Trapp

10h00-10h15 Short Break

 14h15-16h15 Tool Demo Session (joint session with IMBSA 2020)

• Generative engineering for safety-critical system design, Amr Hany Saleh, Jonathan Menu, Johan Vanhuyse and Mike Nicolai
• Modelwise Paitron – A tool for automated FMEA, Florian Grigoleit, Arnold Bitner and Iliya Valchev
• An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities, Jan Reich, Ioannis Sorokos and Marc Zeller
• Lowering Barriers for Applying Model-based FMEA – Results of the qSafe Project, Florian Grigoleit, Peter Struss, Jana von Wedel, Markus Heine and Julian Rhein 

Tuesday, September 15

DECSoS Workshop

DepDevOps Workshop

USDAI Workshop

WAISE Workshop

Wednesday, September 16

08h45-09h00 Welcome

 09h00-10h00 Keynote 1 (joint session with IMBSA 2020) (Session Chair: Francesca Saglietti)

• Towards AI trustworthiness, Guillaume Soudain

10h00-10h15 Short Break

 10h15-12h15 Session 1 – Safety Cases and Argumentation (Session Chair: Simin Nadjm-Tehrani)

• Engineering 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

12h15-13h30 Long Break

13h30-15h30 Session 2 – Formal Verification and Analysis (Session Chair: Kenji Taguchi)

• A Functional Verification Methodology for Highly Parametrizable, 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

15h30-16h00 Short Break

16h00-18h00 Session 3 – Security Modelling and Methods (Session Chair: Uwe Becker)

• 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

Thursday, September 17

09h00-10h00 Keynote 2 (Session Chair: António Casimiro)

• Safe Perception and AI for Autonomous Driving, Jonas Nilsson

10h00-10h15 Short Break

10h15-11h45 Session 4 – Assurance of Learning-enabled Systems 1 (Session Chair: Phil Koopman)

• 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

11h45-12h00 Short Break

12h00-13h00 Session 5 – Practical Experience and Tools (Session Chair: Erwin Schoitsch)

• 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

13h00-14h00 Long Break

14h00-14h30 EWICS Presentation

14h30-16h00 Session 6 – Assurance of Learning-enabled Systems 2 (Session Chair: Ibrahim Habli)

• 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 Off-the-Shelf, Complex Computational Hardware, Rob Ashmore and James Sharp
• Quantifying Assurance in Learning-enabled Systems, Erfan Asaadi, Ewen Denney and Ganesh Pai

16h00-16h30 Short Break

16h30-18h00 Session 7 – Cyber-Physical Systems Security (Session Chair: Philippe Palanque)

• Efficient Load-Time Diversity for an Embedded Real-Time Operating System, Joachim Fellmuth, Julian Hartmer, Hanno Skowronek and Sabine Glesner
• Securing Electric Vehicle Charging Systems Through Component Binding, Andreas Fuchs, Dustin Kern, Christoph Krauß and Maria Zhdanova
• Towards an Automated Exploration of Secure IoT/CPS Design-Variants, Lukas Gressl, Michael Krisper, Ulrich Neffe and Christian Steger

Friday, September 18

09h00-10h00 Keynote 3 (Session Chair: Frank Ortmeier)

• ISO TR 4804: Safety and Cybersecurity for Automated Driving Systems, Simon Fürst

10h00-10h15 Short Break

10h15-11h45 Session 8 – Threat Analysis and Risk Mitigation (Session Chair: John McDermid)

• On Validating Attack Trees with Attack Effects, Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma and Hirotaka Yoshida
• Safety Meets Security: Using IEC 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

11h45-12h00 Short Break

12h00-13h00 Session 9 – Position papers (Session Chair: Jérémie Guiochet)

• 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

13h00-14h00 Long Break

14h00-15h30 Session 10 – Fault Injection and Fault Tolerance (Session Chair: Stefano Tonetta)

• 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 Classification of Faults Covering the Human-Computer Interaction Loop, Philippe Palanque, Andy Cockburn and Carl Gutwin

15h30-16h00 Introduction to SAFECOMP 2021 and closing