Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

Front Matter ....Pages i-xvi
Front Matter ....Pages 1-7
 Supervisory Control Theory in System Safety Analysis  (Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian)....Pages 9-22
 A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design  (Nobuaki Tanaka, Hisashi Yomiya, Kiyoshi Ogawa)....Pages 23-35
 Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach  (Nadja Marko, Alexandr Vasenev, Christoph Striecks)....Pages 36-53
 Safety and Security Interference Analysis in the Design Stage  (Jabier Martinez, Jean Godot, Alejandra Ruiz, Abel Balbis, Ricardo Ruiz Nolasco)....Pages 54-68
 Formalising the Impact of Security Attacks on IoT Safety  (Ehsan Poorhadi, Elena Troubitysna, György Dan)....Pages 69-81
 Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks  (Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee)....Pages 82-97
 Safety-Critical Software Development in C++  (Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne et al.)....Pages 98-110
 An Instruction Filter for Time-Predictable Code Execution on Standard Processors  (Michael Platzer, Peter Puschner)....Pages 111-122
 ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a Nutshell  (Georg Macher, Christoph Schmittner, Omar Veledar, Eugen Brenner)....Pages 123-135
 WiCAR - Simulating Towards the Wireless Car  (Harrison Kurunathan, Ricardo Severino, Ênio Filho, Eduardo Tovar)....Pages 136-147
 Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks  (Lucie Langer, Arndt Bonitz, Christoph Schmittner, Stefan Ruehrup)....Pages 148-160
 Integrity Checking of Railway Interlocking Firmware  (Ronny Bäckman, Ian Oliver, Gabriela Limonta)....Pages 161-175
 LoRaWAN with HSM as a Security Improvement for Agriculture Applications  (Reinhard Kloibhofer, Erwin Kristen, Luca Davoli)....Pages 176-188
Front Matter ....Pages 189-192
 Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering  (Smitha Gautham, Athira V. Jayakumar, Carl Elks)....Pages 193-204
 Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins  (Miriam Ugarte Querejeta, Leire Etxeberria, Goiuria Sagardui)....Pages 205-216
 Leveraging Semi-formal Approaches for DepDevOps  (Wanja Zaeske, Umut Durak)....Pages 217-222
Front Matter ....Pages 223-227
 Towards Building Data Trust and Transparency in Data-Driven Business Applications  (Annanda Rath, Wim Codenie, Anna Hristoskova)....Pages 229-242
 Distributed AI for Special-Purpose Vehicles  (Kevin Van Vaerenbergh, Henrique Cabral, Pierre Dagnely, Tom Tourwé)....Pages 243-254
 Cynefin Framework, DevOps and Secure IoT  (Franklin Selgert)....Pages 255-265
 Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment  (Simon D. Duque Anton, Daniel Fraunholz, Daniel Krohmer, Daniel Reti, Hans D. Schotten, Franklin Selgert et al.)....Pages 266-281
Front Matter ....Pages 283-287
 Revisiting Neuron Coverage and Its Application to Test Generation  (Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben et al.)....Pages 289-301
 A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning Algorithms  (Pierre-Yves Lagrave)....Pages 302-314
 A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven Components  (Michael Kläs, Lisa Jöckel)....Pages 315-327
 Rule-Based Safety Evidence for Neural Networks  (Tewodros A. Beyene, Amit Sahu)....Pages 328-335
 Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks  (Oliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht)....Pages 336-350
 Positive Trust Balance for Self-driving Car Deployment  (Philip Koopman, Michael Wagner)....Pages 351-357
 Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator  (Bernd Gassmann, Frederik Pasch, Fabian Oboril, Kay-Ulrich Scholl)....Pages 358-369
 A Safety Case Pattern for Systems with Machine Learning Components  (Ernest Wozniak, Carmen Cârlan, Esra Acar-Celik, Henrik J. Putzer)....Pages 370-382
 Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications  (Gesina Schwalbe, Bernhard Knie, Timo Sämann, Timo Dobberphul, Lydia Gauerhof, Shervin Raafatnia et al.)....Pages 383-394
 An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems  (Francis Rhys Ward, Ibrahim Habli)....Pages 395-407
 A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)  (John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse et al.)....Pages 408-414
Back Matter ....Pages 415-416