Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Supervisory Control Theory in System Safety Analysis
3. Altmetric Badge
   Chapter 2 A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design
4. Altmetric Badge
   Chapter 3 Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach
5. Altmetric Badge
   Chapter 4 Safety and Security Interference Analysis in the Design Stage
6. Altmetric Badge
   Chapter 5 Formalising the Impact of Security Attacks on IoT Safety
7. Altmetric Badge
   Chapter 6 Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks
8. Altmetric Badge
   Chapter 7 Safety-Critical Software Development in C++
9. Altmetric Badge
   Chapter 8 An Instruction Filter for Time-Predictable Code Execution on Standard Processors
10. Altmetric Badge
    Chapter 9 ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a Nutshell
11. Altmetric Badge
    Chapter 10 WiCAR - Simulating Towards the Wireless Car
12. Altmetric Badge
    Chapter 11 Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks
13. Altmetric Badge
    Chapter 12 Integrity Checking of Railway Interlocking Firmware
14. Altmetric Badge
    Chapter 13 LoRaWAN with HSM as a Security Improvement for Agriculture Applications
15. Altmetric Badge
    Chapter 14 Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering
16. Altmetric Badge
    Chapter 15 Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins
17. Altmetric Badge
    Chapter 16 Leveraging Semi-formal Approaches for DepDevOps
18. Altmetric Badge
    Chapter 17 Towards Building Data Trust and Transparency in Data-Driven Business Applications
19. Altmetric Badge
    Chapter 18 Distributed AI for Special-Purpose Vehicles
20. Altmetric Badge
    Chapter 19 Cynefin Framework, DevOps and Secure IoT
21. Altmetric Badge
    Chapter 20 Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment
22. Altmetric Badge
    Chapter 21 Revisiting Neuron Coverage and Its Application to Test Generation
23. Altmetric Badge
    Chapter 22 A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning Algorithms
24. Altmetric Badge
    Chapter 23 A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven Components
25. Altmetric Badge
    Chapter 24 Rule-Based Safety Evidence for Neural Networks
26. Altmetric Badge
    Chapter 25 Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks
27. Altmetric Badge
    Chapter 26 Positive Trust Balance for Self-driving Car Deployment
28. Altmetric Badge
    Chapter 27 Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator
29. Altmetric Badge
    Chapter 28 A Safety Case Pattern for Systems with Machine Learning Components
30. Altmetric Badge
    Chapter 29 Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications
31. Altmetric Badge
    Chapter 30 An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems
32. Altmetric Badge
    Chapter 31 A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)