E-Books durchsuchen

Model-Based Safety and Assessment [2022]

1
An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation
2
COMPASTA: Extending TASTE with Formal Design and Verification Functionality
3
MBSA in Aeronautics: A Way to Support Safety Activities
4
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams
5
Model-Based Safety Analysis: A Practical Experience
6
Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines
7
Plug-and-Produce... Safely!
8
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica
9
Towards Causal Model-Based Engineering in Automotive System Safety
10
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0
11
Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis
12
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability
13
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B
14
A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms
15
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink
16
Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring
17
Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces
18
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities
Feedback