Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Conference proceedings SAFECOMP 2017
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10489)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. 5th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2017)

    1. Front Matter
      Pages 1-3
    2. Simon Burton, Lydia Gauerhof, Christian Heinzemann
      Pages 5-16
    3. Shuji Kinoshita, Yoshiki Kinoshita
      Pages 17-26
    4. Robin Bloomfield, Peter Bishop, Eoin Butler, Kate Netkachova
      Pages 27-28
    5. Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss
      Pages 52-63
    6. Daniel Pereira, Celso Hirata, Rodrigo Pagliares, Simin Nadjm-Tehrani
      Pages 70-80
    7. Abdullah Altawairqi, Manuel Maarek
      Pages 81-86
    8. William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk
      Pages 87-93
  3. 12th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2017)

    1. Front Matter
      Pages 95-102
    2. Loui Al Sardy, Tong Tang, Marc Spisländer, Francesca Saglietti
      Pages 103-113
    3. Miren Illarramendi, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui
      Pages 114-126
    4. Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison et al.
      Pages 127-140
    5. Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale
      Pages 141-156
    6. Carlos-F. Nicolas, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui et al.
      Pages 157-172
    7. Ferdinand von Tüllenburg, Thomas Pfeiffenberger
      Pages 173-186
    8. Sándor Plósz, Christoph Schmittner, Pál Varga
      Pages 187-198
    9. Imanol Mugarza, Jorge Parra, Eduardo Jacob
      Pages 199-210

Other volumes

  1. 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
  2. Computer Safety, Reliability, and Security
    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of five workshops

co-located with SAFECOMP 2017, the 36th International Conference on

Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.

The 38 revised full papers presented together with 5 introductory papers to each workshop,

and three invited papers, were carefully reviewed and selected from 49 submissions.

This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems;

DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical

Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance

 Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering;

TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.

Keywords

fault-tolerant hardware and software architectures fault detection and recovery mechanisms distributed and real-time monitoring and control security and privacy protection mechanisms safety/security risk assessment model-based analysis design and assessment formal methods probabilistic verification and validation in-the-loop and model-based testing validation and verification methodologies and tools methods for qualification, assurance and certification compositional verification and certification architecture-driven assurance of safety and security dependability analysis cyber-physical threats and vulmerabitlity analysis safety and security cases multi-concern dependability assurance and standardization

Editors and affiliations

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-66284-8
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-66283-1
  • Online ISBN 978-3-319-66284-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book