Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 12297)

This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance. Front Matter ....Pages i-xi Front Matter ....Pages 1-1 A Visual Notation for the Representation of Assurance Cases Using SACM (Nungki Selviandro, Richard Hawkins, Ibrahim Habli)....Pages 3-18 Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities (Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder)....Pages 19-33 Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling (Hariharan Thiagarajan, Brian Larson, John Hatcliff, Yi Zhang)....Pages 34-50 Front Matter ....Pages 51-51 Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation (Koorosh Aslansefat, Gholamreza Latif-Shabgahi, Mehrdad Mohammadi)....Pages 53-67 Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems (Stefan Kaalen, Mattias Nyberg)....Pages 68-82 Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming (Anas Abdelkarim, Ping Zhang)....Pages 83-96 Front Matter ....Pages 97-97 Counterexample Interpretation for Contract-Based Design (Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske)....Pages 99-114 Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems (Athira Varma Jayakumar, Carl Elks)....Pages 115-129 Failure Mode Reasoning in Model Based Safety Analysis (Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos)....Pages 130-145 Front Matter ....Pages 147-147 A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles (Iwo Kurzidem, Ahmad Saad, Philipp Schleiss)....Pages 149-162 Identification and Quantification of Hazardous Scenarios for Automated Driving (Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm)....Pages 163-178 An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (Lucas Bressan, André L. de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker)....Pages 179-193 Front Matter ....Pages 195-195 SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos)....Pages 197-211 Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks (Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich, Klaus Janschek)....Pages 212-226 U-Map: A Reference Map for Safe Handling of Runtime Uncertainties (Nishanth Laxman, Chee Hung Koo, Peter Liggesmeyer)....Pages 227-241 Back Matter ....Pages 245-255