Model-Based Safety and Assessment

1. Front Matter

   Pages I-X

   PDF

2. Safety Process

   1. Front Matter

      Pages 1-1

      PDF

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

      • Marco Filax, Tim Gonschorek, Frank Ortmeier

      Pages 3-18

      PDF

   3. Handling Consistency Between Safety and System Models

      • Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier

      Pages 19-34

      PDF

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

      • Anthony Legendre, Agnes Lanusse, Antoine Rauzy

      Pages 35-49

      PDF

   5. Model-Connected Safety Cases

      • Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia

      Pages 50-63

      PDF

3. Safety Models and Languages

   1. Front Matter

      Pages 65-65

      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

      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

      PDF

   4. Architectural Modeling and Analysis for Safety Engineering

      • Danielle Stewart, Michael W. Whalen, Darren Cofer, Mats P. E. Heimdahl

      Pages 97-111

      PDF

   5. Invariant Management in the Presence of Failures

      • Richard Banach

      Pages 112-128

      PDF

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

      • Leonardo Montecchi, Barbara Gallina

      Pages 129-144

      PDF

4. Fault Detection and Propagation

   1. Front Matter

      Pages 145-145

      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

      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

      PDF

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

      • Francesco Cannarile, Michele Compare, Enrico Zio

      Pages 179-193

      PDF

5. Safety Assessment in the Automotive Domain

   1. Front Matter

      Pages 195-195

      PDF

   2. Learning-Based Testing for Safety Critical Automotive Applications

      • Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson

      Pages 197-211

      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

      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

      PDF

​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.

• 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

• Fondazione Bruno Kessler, Trento, Italy

  Marco Bozzano

• University of Hull, Hull, United Kingdom

  Yiannis Papadopoulos

Policies and ethics