© 2017

Model-Based Safety and Assessment

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

  • Marco Bozzano
  • Yiannis Papadopoulos
Conference proceedings IMBSA 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10437)

Table of contents

  1. Front Matter
    Pages I-X
  2. Safety Process

    1. Front Matter
      Pages 1-1
    2. Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
      Pages 19-34
    3. 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. Julien Brunel, Peter Feiler, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, Christel Seguin et al.
      Pages 67-81
    3. Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy
      Pages 82-96
    4. 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. Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
      Pages 147-162
    3. Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe et al.
      Pages 163-178
    4. Francesco Cannarile, Michele Compare, Enrico Zio
      Pages 179-193
  5. Safety Assessment in the Automotive Domain

    1. Front Matter
      Pages 195-195
    2. Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson
      Pages 197-211
    3. Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
      Pages 212-226

About these proceedings


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


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

Editors and affiliations

  1. 1.Fondazione Bruno KesslerTrentoItaly
  2. 2.University of HullHullUnited Kingdom

Bibliographic information

Industry Sectors
IT & Software