Skip to main content
  • Conference proceedings
  • © 2019

Computer Safety, Reliability, and Security

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

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

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

Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security

Conference proceedings info: SAFECOMP 2019.

Buy it now

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.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

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

Table of contents (35 papers)

  1. Front Matter

    Pages i-xvi
  2. 7th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2019)

    1. Front Matter

      Pages 1-3
    2. Combining GSN and STPA for Safety Arguments

      • Celso Hirata, Simin Nadjm-Tehrani
      Pages 5-15
    3. A Modelling Approach for System Life Cycles Assurance

      • Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama
      Pages 16-27
  3. 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019)

    1. Front Matter

      Pages 41-48
    2. Comparative Evaluation of Security Fuzzing Approaches

      • Loui Al Sardy, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich
      Pages 49-61
    3. Assuring Compliance with Protection Profiles with ThreatGet

      • Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner
      Pages 62-73
    4. A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems

      • Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
      Pages 74-86
    5. Combined Approach for Safety and Security

      • Siddhartha Verma, Thomas Gruber, Christoph Schmittner, P. Puschner
      Pages 87-101
    6. Towards Integrated Quantitative Security and Safety Risk Assessment

      • Jürgen Dobaj, Christoph Schmittner, Michael Krisper, Georg Macher
      Pages 102-116
    7. Smart Wristband for Voting

      • Martin Pfatrisch, Linda Grefen, Hans Ehm
      Pages 137-147
  4. 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)

    1. Front Matter

      Pages 149-152
    2. Automotive Cybersecurity Standards - Relation and Overview

      • Christoph Schmittner, Georg Macher
      Pages 153-165
    3. A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems

      • Nikita Bhardwaj Haupt, Peter Liggesmeyer
      Pages 166-177
    4. The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

      • Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari et al.
      Pages 185-197
  5. 2nd International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2019)

    1. Front Matter

      Pages 199-202

Other Volumes

  1. Computer Safety, Reliability, and Security

About this book

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.

The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:

ASSURE 2019:
7th International Workshop on Assurance Cases for Software-Intensive Systems

DECSoS 2019:
14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems

SASSUR 2019:
8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems

STRIVE 2019:
Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms

WAISE 2019:
Second International Workshop on Artificial Intelligence Safety Engineering

 



Editors and Affiliations

  • Newcastle University, Newcastle-upon-Tyne, UK

    Alexander Romanovsky

  • Åbo Akademi University, Turku, Finland

    Elena Troubitsyna

  • City, University of London, London, UK

    Ilir Gashi

  • AIT Austrian Institute of Technology, Vienna, Austria

    Erwin Schoitsch

  • Thales Deutschland GmbH, Berlin, Germany

    Friedemann Bitsch

Bibliographic Information

Buy it now

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.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