Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Programming and Software Engineering

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

Editors: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (Eds.)

Free Preview

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-030-55583-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-030-55582-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
About this book

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 (31 chapters)

Table of contents (31 chapters)
  • Supervisory Control Theory in System Safety Analysis

    Pages 9-22

    Selvaraj, Yuvaraj (et al.)

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

    Pages 23-35

    Tanaka, Nobuaki (et al.)

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

    Pages 36-53

    Marko, Nadja (et al.)

  • Safety and Security Interference Analysis in the Design Stage

    Pages 54-68

    Martinez, Jabier (et al.)

  • Formalising the Impact of Security Attacks on IoT Safety

    Pages 69-81

    Poorhadi, Ehsan (et al.)

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-030-55583-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-030-55582-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
Book Subtitle
DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
Editors
  • António Casimiro
  • Frank Ortmeier
  • Erwin Schoitsch
  • Friedemann Bitsch
  • Pedro Ferreira
Series Title
Programming and Software Engineering
Series Volume
12235
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-55583-2
DOI
10.1007/978-3-030-55583-2
Softcover ISBN
978-3-030-55582-5
Edition Number
1
Number of Pages
XVI, 416
Number of Illustrations
46 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.