Skip to main content
SpringerLink
Log in

Model-Based Safety and Assessment

8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Christel Seguin

    1. ONERA, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marc Zeller

    1. Siemens AG, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tatiana Prosvirnova

    1. ONERA, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: IMBSA 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Safety Analysis Automation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation

      • Bernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork
      Pages 3-20

    3. COMPASTA: Extending TASTE with Formal Design and Verification Functionality

      • Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria et al.
      Pages 21-27

  3. MBSA Practices

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    2. MBSA in Aeronautics: A Way to Support Safety Activities

      • Christophe Frazza, Pierre Darfeuil, Jean Gauthier
      Pages 31-42

    3. Modeling the Variability of System Safety Analysis Using State-Machine Diagrams

      • Lucas Bressan, André L. de Oliveira, Fernanda C. Campos, Leonardo Montecchi, Rafael Capilla, David Parker et al.
      Pages 43-59

    4. Model-Based Safety Analysis: A Practical Experience

      • Bertille Noisette, Sébastien Dobol, Laurène Monteil
      Pages 60-67

    5. Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines

      • Anthony Legendre, Roland Donat
      Pages 68-82

    6. Plug-and-Produce... Safely!

      • Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser et al.
      Pages 83-97

  4. Causal Models and Failure Modeling Strategies

    1. Front Matter

      Pages 99-99
      Download chapter PDF

    2. Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica

      • Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps et al.
      Pages 101-115

    3. Towards Causal Model-Based Engineering in Automotive System Safety

      • Robert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok
      Pages 116-129

    4. Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0

      • Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
      Pages 130-145

    5. Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis

      • Marc Zeller
      Pages 146-152

  5. Designing Mitigations of Faults and Attacks

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability

      • Guillaume Brau, Eric Jenn, Silvana Radu
      Pages 155-169

    3. Analysing the Impact of Security Attacks on Safety Using SysML and Event-B

      • Ehsan Poorhadi, Elena Troubitsyna, György Dán
      Pages 170-185

  6. Data Based Safety Analysis

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms

      • Connor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs
      Pages 189-203
Back to top

Other volumes

  1. Model-Based Safety and Assessment

Keywords

About this book

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.

Editors and Affiliations

  • ONERA, Toulouse, France

    Christel Seguin, Tatiana Prosvirnova

  • Siemens AG, Munich, Germany

    Marc Zeller

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation