Accepted Papers

Koorosh Aslansefat, Gholamreza Latif-Shabgahi and Mehrdad Mohammadi.
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation

Hamid Jahanian, David Parker, Marc Zeller, Yannis Papadopoulos and Annabelle McIver.
Failure Mode Reasoning in Model Based Safety Analysis

Lucas Bressan, André Luiz de Oliveira, Fernanda Campos, Yiannis Papadopoulos and David Parker.
An integrated approach to support cost-effective process-based certification of variant-intensive systems

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel and Lars Grunske.
Counterexample Interpretation for Contract-based Design

Nishanth Laxman, Chee Hung Koo and Peter Liggesmeyer.
U-Map: A reference map for safe handling of runtime uncertainties

Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller and Martin Rothfelder.
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities

Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich and Klaus Janschek.
Model-based Error Detection for Industrial Automation Systems using LSTM Networks

Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle and Werner Damm.
Identification and Quantification of Hazardous Scenarios for Automated Driving

Hariharan Thiagarajan, Brian Larson, John Hatcliff and Yi Zhang.
Model-based Risk Analysis for an Open Source PCA Pump using the AADL Error Modeling Annex

Athira Varma Jayakumar and Carl Elks.
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems

Stefan Kaalen and Mattias Nyberg.
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems

Anas Abdelkarim and Ping Zhang.
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming

Nungki Selviandro, Richard Hawkins and Ibrahim Habli.
A Visual Notation for the Representation of Assurance Cases using SACM

Amr Hany Saleh, Jonathan Menu, Johan Vanhuyse and Mike Nicolai.
Generative engineering for safety-critical system design

Iwo Kurzidem, Ahmad Saad and Philipp Schleiss.
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles

Florian Grigoleit, Arnold Bitner and Iliya Valchev.
Modelwise Paitron – A tool for automated FMEA

Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari and Yiannis Papadopoulos.
SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measures

Florian Grigoleit, Peter Struss, Jana von Wedel, Markus Heine and Julian Rhein.
Lowering Barriers for Applying Model-based FMEA – Results of the qSafe Project

Jan Reich, Ioannis Sorokos and Marc Zeller.
An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities