Model-Based Safety and Assessment
portes grátis
Model-Based Safety and Assessment
8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings
Zeller, Marc; Seguin, Christel; Prosvirnova, Tatiana
Springer International Publishing AG
09/2022
267
Mole
Inglês
9783031158414
15 a 20 dias
437
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer networks;computer programming;computer science;computer systems;correlation analysis;embedded systems;engineering;hierarchical model;hierarchical system;internet;mathematics;mobile robots;object-oriented programming;robotics;sensors;signal processing;software design;software engineering
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer networks;computer programming;computer science;computer systems;correlation analysis;embedded systems;engineering;hierarchical model;hierarchical system;internet;mathematics;mobile robots;object-oriented programming;robotics;sensors;signal processing;software design;software engineering
