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.