Skip to main content
SpringerLink
Log in

Model-Based Safety and Assessment

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

  • Conference proceedings
  • © 2017
Download book PDF
Download book EPUB

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.

Buy print copy

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

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

    3. Handling Consistency Between Safety and System Models

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

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

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

    5. Model-Connected Safety Cases

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

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

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

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

    4. Architectural Modeling and Analysis for Safety Engineering

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

    5. Invariant Management in the Presence of Failures

      • Richard Banach
      Pages 112-128
      Download chapter PDF

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

      • Leonardo Montecchi, Barbara Gallina
      Pages 129-144
      Download chapter PDF

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

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

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

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

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

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

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