Programming and Software Engineering

Computer Safety, Reliability, and Security

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

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

Free Preview

Buy this book

eBook 60,98 €
price for Spain (gross)
  • ISBN 978-3-030-54549-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 76,95 €
price for Spain (gross)
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.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities

    Pages 3-17

    Reich, Jan (et al.)

  • Systematic Evaluation of (Safety) Assurance Cases

    Pages 18-33

    Chowdhury, Thomas (et al.)

  • Just Enough Formality in Assurance Argument Structures

    Pages 34-49

    Viger, Torin (et al.)

  • Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems

    Pages 50-63

    Hake, Georg (et al.)

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

    Pages 67-81

    Ceesay-Seitz, Katharina (et al.)

Buy this book

eBook 60,98 €
price for Spain (gross)
  • ISBN 978-3-030-54549-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 76,95 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability, and Security
Book Subtitle
39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
Editors
  • António Casimiro
  • Frank Ortmeier
  • Friedemann Bitsch
  • Pedro Ferreira
Series Title
Programming and Software Engineering
Series Volume
12234
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-54549-9
DOI
10.1007/978-3-030-54549-9
Softcover ISBN
978-3-030-54548-2
Edition Number
1
Number of Pages
XXIII, 450
Number of Illustrations
173 b/w illustrations, 78 illustrations in colour
Topics