E-grāmata: Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

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.