↓ Skip to main content

Model-Based Safety and Assessment

Overview of attention for book
Cover of 'Model-Based Safety and Assessment'

Table of Contents

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

Mentioned by

twitter
2 X users
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Model-Based Safety and Assessment
Published by
Springer International Publishing, September 2022
DOI 10.1007/978-3-031-15842-1
ISBNs
978-3-03-115841-4, 978-3-03-115842-1
Editors

Seguin, Christel, Zeller, Marc, Prosvirnova, Tatiana

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.