Model-Based Safety and Assessment

4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

  • Frank Ortmeier
  • Antoine Rauzy
Conference proceedings IMBSA 2014

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

Table of contents

  1. Front Matter
  2. Modeling Paradigms

    1. Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier
      Pages 14-27
    2. Melissa Issad, Leïla Kloul, Antoine Rauzy
      Pages 28-42
  3. Validation and Testing

    1. Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araújo
      Pages 70-81
  4. Fault Detection and Handling

    1. Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto et al.
      Pages 82-95
    2. Kai Höfig, Marc Zeller, Lars Grunske
      Pages 110-122
  5. Safety Assessment in the Automotive Domain

    1. Abraham Cherfi, Antoine Rauzy, Michel Leeman
      Pages 123-136
    2. Stefan Schmidhuber, Michael Deubzer, Ralph Mader, Michael Niemetz, Jürgen Mottok
      Pages 152-165
  6. Case Studies

    1. Jelena Frtunikj, Vladimir Rupanov, Michael Armbruster, Alois Knoll
      Pages 166-180
    2. Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy
      Pages 181-194
    3. Mohammad-Reza Gholami, Hanifa Boucheneb
      Pages 195-208
  7. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014.
The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.


assertion checking failure prediction formal verification model checking model development and analysis model verification and validation model-based testing modeling methodologies reliability safety critical systems theorem proving algorithms theorem proving and sat solving

Editors and affiliations

  • Frank Ortmeier
    • 1
  • Antoine Rauzy
    • 2
  1. 1.Faculty of Computer Systems, Computer Systems in Engineering (CSE)Otto von Guericke-University MagdeburgMagdeburgGermany
  2. 2.Laboratoire d’Informatique (LIX), Route de SaclayÉcole PolytechniquePalaiseau CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-12213-7
  • Online ISBN 978-3-319-12214-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software