Model-Based Safety and Assessment [E-Book] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova.
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers...
Saved in:
Full text |
|
Personal Name(s): | Prosvirnova, Tatiana, editor |
Seguin, Christel, editor / Zeller, Marc, editor | |
Edition: |
1st edition 2022. |
Imprint: |
Cham :
Springer,
2022
|
Physical Description: |
XIII, 267 pages 133 illustrations, 110 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783031158421 |
DOI: |
10.1007/978-3-031-15842-1 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
13525 |
Subject (LOC): |
- 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.