Computer Safety Reliability and Security SAFECOMP 2020 Workshops DECSoS 2020 DepDevOps 2020 USDAI 2020 and WAISE 2020 Lisbon Portugal September 15 2020 Proceedings 1st Edition by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira ISBN 3030555828 978-3030555825

Computer Safety Reliability and Security SAFECOMP 2020 Workshops DECSoS 2020 DepDevOps 2020 USDAI 2020 and WAISE 2020 Lisbon Portugal September 15 2020 Proceedings 1st Edition by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira- Ebook PDF Instant Download/Delivery: 3030555828, 978-3030555825

Full download Computer Safety Reliability and Security SAFECOMP 2020 Workshops DECSoS 2020 DepDevOps 2020 USDAI 2020 and WAISE 2020 Lisbon Portugal September 15 2020 Proceedings 1st Edition after payment

 

Product details:

ISBN 10: 3030555828 

ISBN 13: 978-3030555825

Author:   António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020.
The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are:

DECSoS 2020:
15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems.

DepDevOps 2020:
First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems.

USDAI 2020:
First International Workshop on Underpinnings for Safe Distributed AI.

WAISE 2020:
Third International Workshop on Artificial Intelligence Safety Engineering.

The workshops were held virtually due to the COVID-19 pandemic.

Table of contents: 

1. Supervisory Control Theory in System Safety Analysis

2. A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design

3. Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach

4. Safety and Security Interference Analysis in the Design Stage

5. Formalising the Impact of Security Attacks on IoT Safety

6. Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks

7. Safety-Critical Software Development in C++

8. An Instruction Filter for Time-Predictable Code Execution on Standard Processors

9. ISO/SAE DIS 21434 Automotive Cybersecurity Standard – In a Nutshell

10. WiCAR – Simulating Towards the Wireless Car

11. Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks

12. Integrity Checking of Railway Interlocking Firmware

13. LoRaWAN with HSM as a Security Improvement for Agriculture Applications

14. Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering

15. Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

16. Leveraging Semi-formal Approaches for DevDevOps

17. Towards Building Data Trust and Transparency in Data-Driven Business Applications

18. Distributed AI for Special-Purpose Vehicles

19. Cynefin Framework, DevOps and Secure IoT

20. Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment

21. Revisiting Neuron Coverage and Its Application to Test Generation

22. A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning Algorithms

23. A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven Components

24. Rule-Based Safety Evidence for Neural Networks

25. Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks

26. Positive Trust Balance for Self-driving Car Deployment

27. Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator

28. A Safety Case Pattern for Systems with Machine Learning Components

29. Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications

30. An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems

31. A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

People also search for:

 international conference on computer safety reliability and security
    
international conference on computer safety reliability and security 2025
    
computer safety reliability and security safecomp 2020 workshops
    
computer safety reliability and security safecomp 2023 workshops
    
computer safety risk

Tags: António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira, Computer Safety, Reliability, Security, Workshops