Advertisement

Computer Safety, Reliability, and Security

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

  • Stefano Tonetta
  • Erwin Schoitsch
  • Friedemann Bitsch

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

Also part of the Programming and Software Engineering book sub series (LNPSE, 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-38
    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
    10. Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida
      Pages 211-224
    11. Fabio L. Leite Jr., Rasmus Adler, Patrik Feth
      Pages 237-248
    12. Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
      Pages 249-260
  4. 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017)

    1. Front Matter
      Pages 261-264
    2. Jose Luis de la Vara, Álvaro Gómez, Elena Gallego, Gonzalo Génova, Anabel Fraga
      Pages 265-272
    3. Georg Macher, Alexander Much, Andreas Riel, Richard Messnarz, Christian Kreiner
      Pages 273-285
    4. H. Martin, R. Bramberger, C. Schmittner, Z. Ma, T. Gruber, A. Ruiz et al.
      Pages 286-297
    5. Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
      Pages 317-329
  5. 3rd International Workshop on TEchnical and LEgal Aspects of Data pRIvacy and SEcurity (TELERISE 2017)

    1. Front Matter
      Pages 331-335
    2. Piero Bonatti, Sabrina Kirrane, Axel Polleres, Rigo Wenning
      Pages 337-349
    3. Silvio Ranise, Hari Siswantoro
      Pages 361-372
    4. Antonello Calabrò, Francesca Lonetti, Eda Marchetti
      Pages 373-383
    5. Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi
      Pages 384-395
    6. Marios Argyriou, Nicola Dragoni, Angelo Spognardi
      Pages 396-406
    7. Gabriele Costa, Federico Sinigaglia, Roberto Carbone
      Pages 407-414
    8. Roberto Pellungrini, Luca Pappalardo, Francesca Pratesi, Anna Monreale
      Pages 415-426
    9. Zhendong Ma, Walter Seböck, Bettina Pospisil, Christoph Schmittner, Thomas Gruber
      Pages 427-434
    10. Philipp Hehnle, Pascal Keilbach, Hyun-Jin Lee, Sabrina Lejn, Daniel Steidinger, Marina Weinbrenner et al.
      Pages 435-442
  6. 2nd International Workshop on Timing Performance in Safety Engineering (TIPS 2017)

  7. Back Matter
    Pages 477-478

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 vulnerability analysis safety and security cases multi-concern dependability assurance and standardization

Editors and affiliations

  1. 1.Fondazione Bruno KesslerTrentoItaly
  2. 2.Austrian Institute of Technology GmbHViennaAustria
  3. 3.Thales Transportation Systems GmbHDitzingenGermany

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
  • Buy this book on publisher's site