Skip to main content
SpringerLink
Log in
Book cover

Model-Based Safety and Assessment

5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Marco Bozzano

    1. Fondazione Bruno Kessler, Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yiannis Papadopoulos

    1. University of Hull, Hull, 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 10437)

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

Included in the following conference series:

Conference proceedings info: IMBSA 2017.

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

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Safety Process

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques

      • Marco Filax, Tim Gonschorek, Frank Ortmeier
      Pages 3-18

    3. Handling Consistency Between Safety and System Models

      • Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
      Pages 19-34

    4. Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

      • Anthony Legendre, Agnes Lanusse, Antoine Rauzy
      Pages 35-49

    5. Model-Connected Safety Cases

      • Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
      Pages 50-63

  3. Safety Models and Languages

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Performing Safety Analyses with AADL and AltaRica

      • Julien Brunel, Peter Feiler, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, Christel Seguin et al.
      Pages 67-81

    3. Safety Analysis of a Data Center’s Electrical System Using Production Trees

      • Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy
      Pages 82-96

    4. Architectural Modeling and Analysis for Safety Engineering

      • Danielle Stewart, Michael W. Whalen, Darren Cofer, Mats P. E. Heimdahl
      Pages 97-111

    5. Invariant Management in the Presence of Failures

      • Richard Banach
      Pages 112-128

    6. SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems

      • Leonardo Montecchi, Barbara Gallina
      Pages 129-144

  4. Fault Detection and Propagation

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica

      • Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
      Pages 147-162

    3. A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies

      • Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe et al.
      Pages 163-178

    4. A Fault Diagnostic Tool Based on a First Principle Model Simulator

      • Francesco Cannarile, Michele Compare, Enrico Zio
      Pages 179-193

  5. Safety Assessment in the Automotive Domain

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Learning-Based Testing for Safety Critical Automotive Applications

      • Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson
      Pages 197-211

    3. Verification of Component Fault Trees Using Error Effect Simulations

      • Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
      Pages 212-226

    4. A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems

      • DeJiu Chen, Zhonghai Lu
      Pages 227-240
Back to top

Other volumes

  1. Model-Based Safety and Assessment

Keywords

About this book

​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.


The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

Editors and Affiliations

  • Fondazione Bruno Kessler, Trento, Italy

    Marco Bozzano

  • University of Hull, Hull, United Kingdom

    Yiannis Papadopoulos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation