Computer Safety, Reliability, and Security

Chapter 1 Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities

Chapter 2 Systematic Evaluation of (Safety) Assurance Cases

Chapter 3 Just Enough Formality in Assurance Argument Structures

Chapter 4 Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems

Chapter 5 A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)

Chapter 6 A Compositional Semantics for Repairable BDMPs

Chapter 7 Model-Based Safety Analysis of Mode Transitions

Chapter 8 Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference

Chapter 9 Automated Attacker Synthesis for Distributed Protocols

Chapter 10 An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

Chapter 11 Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

Chapter 12 Automated Anomaly Detection in CPS Log Files

Chapter 13 Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

Chapter 14 Safety-Aware Hardening of 3D Object Detection Neural Network Systems

Chapter 15 Model-Centered Assurance for Autonomous Systems

Chapter 16 A Safety Framework for Critical Systems Utilising Deep Neural Networks

Chapter 16 A Safety Framework for Critical Systems Utilising Deep Neural Networks

Chapter 17 Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware

Chapter 18 Quantifying Assurance in Learning-Enabled Systems

Chapter 19 Cyber-Security of Neural Networks in Medical Devices

Chapter 20 FASTEN.Safe : A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases

Chapter 21 On Validating Attack Trees with Attack Effects

Chapter 22 Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle

Chapter 23 Threat Analysis Framework for Safety Architectures in SCDL

Chapter 24 Efficient Load-Time Diversity for an Embedded Real-Time Operating System

Chapter 25 Towards an Automated Exploration of Secure IoT/CPS Design-Variants

Chapter 26 Securing Electric Vehicle Charging Systems Through Component Binding

Chapter 27 Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs

Chapter 28 On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study

Chapter 29 A Classification of Faults Covering the Human-Computer Interaction Loop