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