Model-Based Safety and Assessment

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.