Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings [1st ed.] 9783030555825, 9783030555832

Table of contents :
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