Computer Safety, Reliability, and Security

SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

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

Table of contents

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

    1. Front Matter
      Pages 1-3
    2. Tor Stålhane, Thor Myklebust
      Pages 5-16
    3. Omar Jaradat, Iain Bate
      Pages 17-29
    4. Carmen Cârlan, Daniel Ratiu, Bernhard Schätz
      Pages 30-42
    5. Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
      Pages 43-54
    6. Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka
      Pages 55-62
    7. Shuji Kinoshita, Yoshiki Kinoshita
      Pages 63-74
    8. Myra B. Cohen, Justin Firestone, Massimiliano Pierobon
      Pages 75-86
    9. Andrzej Wardziński, Aleksander Jarzębowicz
      Pages 87-98
  3. 11th International ERCIM/EWICS/ARTEMIS Workshop on Cyber-Physical Systems and Systems-of-Systems (DECSoS)

    1. Front Matter
      Pages 99-104
    2. Joachim Fröhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stückjürgen
      Pages 105-117
    3. Francesca Saglietti, Ralf Spengler, Matthias Meitner
      Pages 118-129
    4. Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel
      Pages 130-143
    5. Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello
      Pages 144-156
    6. Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter Puschner
      Pages 157-170
    7. Sebastian Müller, Peter Liggesmeyer
      Pages 171-182
    8. Hannes Plank, Gerald Holweg, Christian Steger, Norbert Druml
      Pages 183-194
    9. Christoph Schmittner, Zhendong Ma, Peter Puschner
      Pages 195-209

Other volumes

  1. 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
  2. Computer Safety, Reliability, and Security
    SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.

The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

Keywords

cyber-physical systems embedded systems internet of things quality of service systems modeling authentication autonomous agents confidence constraints cooperative systems cybersecurity dependability disaster management fault-tolerant system model-based real-time system reliability safety-critical systems simulation system architecture verification

Editors and affiliations

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-45480-1
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-45479-5
  • Online ISBN 978-3-319-45480-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book