Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. António Casimiro

    1. University of Lisbon, Lisbon, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frank Ortmeier

    1. Otto-von-Guericke University, Magdeburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Friedemann Bitsch

    1. Thales Deutschland GmbH, Ditzingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Pedro Ferreira

    1. University of Lisbon, Lisbon, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12234)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages I-XXIII
    Download chapter PDF

  2. Safety Cases and Argumentation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities

      • Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei et al.
      Pages 3-17

    3. Systematic Evaluation of (Safety) Assurance Cases

      • Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
      Pages 18-33

    4. Just Enough Formality in Assurance Argument Structures

      • Torin Viger, Rick Salay, Gehan Selim, Marsha Chechik
      Pages 34-49

    5. Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems

      • Georg Hake, Sebastian Feuerstack, Axel Hahn
      Pages 50-63

  3. Formal Verification and Analysis

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)

      • Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin
      Pages 67-81

    3. A Compositional Semantics for Repairable BDMPs

      • Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
      Pages 82-98

    4. Model-Based Safety Analysis of Mode Transitions

      • Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová
      Pages 99-114

    5. Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference

      • Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis
      Pages 115-129

  4. Security Modelling and Methods

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Automated Attacker Synthesis for Distributed Protocols

      • Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
      Pages 133-149

    3. An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

      • Christopher Deloglos, Carl Elks, Ashraf Tantawy
      Pages 150-163

    4. Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

      • Markus Heinrich, Dominik Renkel, Tolga Arul, Stefan Katzenbeisser
      Pages 164-178

    5. Automated Anomaly Detection in CPS Log Files

      • Tabea Schmidt, Florian Hauer, Alexander Pretschner
      Pages 179-194

  5. Assurance of Learning-Enabled Systems

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

      • Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli
      Pages 197-212

    3. Safety-Aware Hardening of 3D Object Detection Neural Network Systems

      • Chih-Hong Cheng
      Pages 213-227

    4. Model-Centered Assurance for Autonomous Systems

      • Susmit Jha, John Rushby, Natarajan Shankar
      Pages 228-243
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Keywords

About this book

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*

The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.

*The conference was held virtually due to the COVID-19 pandemic.

The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com.

Editors and Affiliations

  • University of Lisbon, Lisbon, Portugal

    António Casimiro, Pedro Ferreira

  • Otto-von-Guericke University, Magdeburg, Germany

    Frank Ortmeier

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation