Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Amund Skavhaug

    1. Norwegian University of Science and Technology, Trondheim, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jérémie Guiochet

    1. University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Erwin Schoitsch

    1. Austrian Institute of Technology GmbH, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Friedemann Bitsch

    1. Thales Transportation Systems GmbH, Ditzingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2016.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. 4th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2016)

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. The Agile Safety Case

      • Tor Stålhane, Thor Myklebust
      Pages 5-16

    3. Systematic Maintenance of Safety Cases to Reduce Risk

      • Omar Jaradat, Iain Bate
      Pages 17-29

    4. On Using Results of Code-Level Bounded Model Checking in Assurance Cases

      • Carmen Cârlan, Daniel Ratiu, Bernhard Schätz
      Pages 30-42

    5. Configuration-Aware Contracts

      • Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
      Pages 43-54

    6. Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases

      • Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka
      Pages 55-62

    7. The 6W1H Model as a Basis for Systems Assurance Argument

      • Shuji Kinoshita, Yoshiki Kinoshita
      Pages 63-74

    8. The Assurance Timeline: Building Assurance Cases for Synthetic Biology

      • Myra B. Cohen, Justin Firestone, Massimiliano Pierobon
      Pages 75-86

    9. Towards Safety Case Integration with Hazard Analysis for Medical Devices

      • 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
      Download chapter PDF

    2. Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection – An Industrial Case Study

      • Joachim Fröhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stückjürgen
      Pages 105-117

    3. Quantitative Reliability Assessment for Mobile Cooperative Systems

      • Francesca Saglietti, Ralf Spengler, Matthias Meitner
      Pages 118-129

    4. An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System

      • Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel
      Pages 130-143

    5. Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed

      • Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello
      Pages 144-156

    6. Using SAE J3061 for Automotive Security Requirement Engineering

      • Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter Puschner
      Pages 157-170

    7. Dynamic Safety Contracts for Functional Cooperation of Automotive Systems

      • Sebastian Müller, Peter Liggesmeyer
      Pages 171-182

    8. Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous Driving

      • Hannes Plank, Gerald Holweg, Christian Steger, Norbert Druml
      Pages 183-194

    9. Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis

      • Christoph Schmittner, Zhendong Ma, Peter Puschner
      Pages 195-209

    10. Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips

      • Thomas Koller, Donatus Weber
      Pages 210-221
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security

Keywords

About this book

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.

Editors and Affiliations

  • Norwegian University of Science and Technology, Trondheim, Norway

    Amund Skavhaug

  • University of Toulouse, Toulouse, France

    Jérémie Guiochet

  • Austrian Institute of Technology GmbH, Wien, Austria

    Erwin Schoitsch

  • Thales Transportation Systems GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation