Skip to main content
  • Conference proceedings
  • © 2017

Model-Based Safety and Assessment

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

Editors:

(view affiliations)

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

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

Conference series link(s): IMBSA: International Symposium on Model-Based Safety and Assessment

Conference proceedings info: IMBSA 2017.

Buying options

eBook
USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-64119-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 69.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
  2. Safety Process

    1. Front Matter

      Pages 1-1
    2. Handling Consistency Between Safety and System Models

      • Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
      Pages 19-34
    3. 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
    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
  4. Fault Detection and Propagation

    1. Front Matter

      Pages 145-145
    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
    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

Other Volumes

  1. Model-Based Safety and Assessment

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

About this book

​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in
Trento, 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.

Keywords

  • Safety critical systems
  • Reliability
  • Formal Specifications
  • Formal Methods
  • Fault Models
  • Fault Injection
  • Dependability
  • Requirements Specification
  • Requirements Analysis
  • Safety Assessment
  • Model-Based Design
  • software engineering
  • embedded systems
  • model checking
  • software architecture
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Fondazione Bruno Kessler, Trento, Italy

    Marco Bozzano

  • University of Hull, Hull, United Kingdom

    Yiannis Papadopoulos

Bibliographic Information

Buying options

eBook
USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-64119-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 69.99
Price excludes VAT (USA)