Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Floor Koornneef

    1. University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Coen van Gulijk

    1. University of Huddersfield, Huddersfield, United Kingdom

    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 9338)

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2015.

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 (35 papers)

  1. Front Matter

    Pages I-XXXVI
    Download chapter PDF

  2. Assurance Cases for Software-Intensive Systems (ASSURE 2015)

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic

      • Victor Bandur, John McDermid
      Pages 3-14

    3. Representing Confidence in Assurance Case Evidence

      • Lian Duan, Sanjai Rayadurgam, Mats P. E. Heimdahl, Oleg Sokolsky, Insup Lee
      Pages 15-26

    4. Safe & Sec Case Patterns

      • Kenji Taguchi, Daisuke Souma, Hideaki Nishihara
      Pages 27-37

    5. A Comprehensive Safety Lifecycle

      • John Knight, Jonathan Rowanhill, M. Anthony Aiello, Kimberly Wasson
      Pages 38-49

    6. An Approach to Assure Dependability Through ArchiMate

      • Shuichiro Yamamoto
      Pages 50-61

    7. Tool Support for Assurance Case Building Blocks

      • Kateryna Netkachova, Oleksandr Netkachov, Robin Bloomfield
      Pages 62-71

    8. Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation

      • Daniel Ratiu, Marc Zeller, Lennart Killian
      Pages 72-82

    9. A Safety Condition Monitoring System

      • John Knight, Jonathan Rowanhill, Jian Xiang
      Pages 83-94

    10. Error Type Refinement for Assurance of Families of Platform-Based Systems

      • Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando
      Pages 95-106

  3. EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop (DECSoS 2015)

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account

      • Max Steiner, Peter Liggesmeyer
      Pages 109-120

    3. Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems

      • Michael Roth, Peter Liggesmeyer
      Pages 121-132

    4. Towards a Framework for Alignment Between Automotive Safety and Security Standards

      • Christoph Schmittner, Zhendong Ma
      Pages 133-143

    5. Reconfiguration Testing for Cooperating Autonomous Agents

      • Francesca Saglietti, Stefan Winzinger, Raimar Lill
      Pages 144-155

    6. A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime

      • Sebastian Müller, Peter Liggesmeyer
      Pages 156-166

    7. Approach for Demonstrating Safety for a Collision Avoidance System

      • Thomas Gruber, Christian Zinner
      Pages 167-177

    8. Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case

      • Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi
      Pages 178-189

    9. Towards Verification of Multicore Motor-Drive Controllers in Aerospace

      • Stylianos Basagiannis, Francisco Gonzalez-Espin
      Pages 190-200
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security

  3. Computer Safety, Reliability, and Security

  4. Computer Safety, Reliability, and Security

Keywords

About this book

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015.

The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software-intensive Systems; DECSoS'15 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; ISSE'15 - International workshop on the Integration of Safety and Security Engineering; ReSA4CI 2015 - International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection; SASSUR 2015 - International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems.

 

Editors and Affiliations

  • University of Technology, Delft, The Netherlands

    Floor Koornneef

  • University of Huddersfield, Huddersfield, United Kingdom

    Coen van Gulijk

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation