Model-Based Safety and Assessment

6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

  • Yiannis Papadopoulos
  • Koorosh Aslansefat
  • Panagiotis Katsaros
  • Marco Bozzano
Conference proceedings IMBSA 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. Safety Models and Languages

    1. Front Matter
      Pages 1-1
    2. Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille
      Pages 3-17
    3. Lorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris, Fulvio Capogna
      Pages 18-31
    4. Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
      Pages 32-46
    5. Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann
      Pages 47-62
    6. Kester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid
      Pages 63-77
    7. Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier
      Pages 93-106
  3. Dependability Analysis Processes

    1. Front Matter
      Pages 107-107
    2. Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
      Pages 109-124
    3. Simon Greiner, Peter Munk, Arne Nordmann
      Pages 125-140
    4. Kevin Delmas, Christel Seguin, Pierre Bieber
      Pages 141-156
    5. Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
      Pages 157-172
    6. Zhensheng Guo, Marc Zeller
      Pages 173-187
    7. Jose Ignacio Aizpurua, Unai Garro, Eñaut Muxika, Mikel Mendicute, Ian Paul Gilbert
      Pages 188-203
    8. Stylianos Basagiannis, Panagiotis Katsaros
      Pages 204-221
    9. Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller
      Pages 222-236
  4. Security Assessment

    1. Front Matter
      Pages 237-237
    2. Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
      Pages 239-254
    3. Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
      Pages 255-269
    4. Georg Macher, Norbert Druml, Omar Veledar, Jakob Reckenzaun
      Pages 286-300
  5. Safety Assessment in Automotive Industry

    1. Front Matter
      Pages 301-301
    2. Deepak Rao, Plato Pathrose, Felix Huening, Jithin Sid
      Pages 303-316
    3. Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich et al.
      Pages 332-346
  6. AI in Safety Assessment

  7. Back Matter
    Pages 379-380

About these proceedings


This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in
Thessaloniki, Greece, in October 2019.

The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment. 


artificial intelligence cryptography cyber physical systems (cpss) data security embedded systems safety critical systems security systems sensor networks sensors software engineering specifications system architectures systems engineering

Editors and affiliations

  1. 1.University of HullHullUK
  2. 2.University of HullHullUK
  3. 3.Aristotle University of ThessalonikiThessalonikiGreece
  4. 4.Fondazione Bruno KesslerTrentoItaly

Bibliographic information

Industry Sectors
IT & Software