Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova.

Format:

Book

Contributor:

Zeller, Marc, editor.

Prosvirnova, Tatiana, editor.

Seguin, Christel, editor.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 13525

Language:

English

Subjects (All):

Computer science.

Computers, Special purpose.

Computer networks.

Computer systems.

Computer Science Logic and Foundations of Programming.

Special Purpose and Application-Based Systems.

Computer Communication Networks.

Computer System Implementation.

Local Subjects:

Computer Science Logic and Foundations of Programming.

Special Purpose and Application-Based Systems.

Computer Communication Networks.

Computer System Implementation.

Physical Description:

1 online resource (270 pages)

Edition:

1st ed. 2022.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2022.

Summary:

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.

Contents:

Safety analysis automation

An AEBS use case for Model-Based System Design integrating Safety Analyses and Simulation

COMPASTA: Extending TASTE with formal design and verification functionality

MBSA practices

MBSA in aeronautics: a way to support safety activities

Modeling the Variability of System Safety Analysis using State-Machine Diagrams

Model-Based Safety Analysis: a Practical Experience

Practical application of Model-Based Safety Analysis to the Design of Global Operating System of new rolling stock on automatic metro lines

Plug-and-Produce... safely! End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0

Causal models and failure modeling strategies

Strategies for modelling failure propagation in dynamic systems with AltaRica

Towards Causal Model-based Engineering in Automotive System Safety

Performance assessment of an offshore windmill farm using AltaRica 3.0

Component Fault and Deficiency Tree (CFDT): Combining functional safety and SOTIF Analysis

Designing mitigations of Faults and Attacks

A Capella-based Tool for the Early Assessment of Nano/Micro Satellites Availability

Data based safety analysis

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

Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink

Keep your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring

Dynamic risk assessment

Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces

SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities.

Notes:

Includes bibliographical references and index.

Other Format:

Print version: Seguin, Christel Model-Based Safety and Assessment

ISBN:

9783031158421

3031158423