Computer Safety, Reliability, and Security

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

  • Amund Skavhaug
  • Jérémie Guiochet
  • Erwin Schoitsch
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, 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
    10. Francesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer
      Pages 222-233
    11. Sándor Plósz, Csaba Hegedűs, Pál Varga
      Pages 234-245
  4. 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)

    1. Front Matter
      Pages 269-272
    2. Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Perez, Tullio Vardanega, Francisco J. Cazorla
      Pages 273-285
    3. Fredrik Warg, Martin Gassilewski, Jörgen Tryggvesson, Viacheslav Izosimov, Anders Werneman, Rolf Johansson
      Pages 286-297
    4. Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
      Pages 311-321
    5. Christophe Ponsard, Gautier Dallons, Philippe Massonet
      Pages 334-345
    6. Ralph Weissnegger, Markus Schuß, Christian Kreiner, Markus Pistauer, Kay Römer, Christian Steger
      Pages 359-370
  5. 1st International Workshop on Timing Performance in Safety Engineering (TIPS)

    1. Front Matter
      Pages 371-373
    2. Anas Motii, Agnès Lanusse, Brahim Hamid, Jean-Michel Bruel
      Pages 375-389
  6. Back Matter
    Pages 391-400

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


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.


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

  • Amund Skavhaug
    • 1
  • Jérémie Guiochet
    • 2
  • Erwin Schoitsch
    • 3
  • Friedemann Bitsch
    • 4
  1. 1.Norwegian University of Science and TechnologyTrondheimNorway
  2. 2.University of ToulouseToulouseFrance
  3. 3.Austrian Institute of Technology GmbHWienAustria
  4. 4.Thales Transportation Systems GmbHDitzingenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-45479-5
  • Online ISBN 978-3-319-45480-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software