LEADER 04939nam 22007095 450 001 9910592986203321 005 20251225203514.0 010 $a9783031158421 010 $a3031158423 024 7 $a10.1007/978-3-031-15842-1 035 $a(MiAaPQ)EBC7083174 035 $a(Au-PeEL)EBL7083174 035 $a(CKB)24814908000041 035 $a(PPN)264952804 035 $a(BIP)85659176 035 $a(BIP)85215993 035 $a(DE-He213)978-3-031-15842-1 035 $a(EXLCZ)9924814908000041 100 $a20220908d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Based Safety and Assessment $e8th International Symposium, IMBSA 2022, Munich, Germany, September 5?7, 2022, Proceedings /$fedited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (270 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13525 311 08$aPrint version: Seguin, Christel Model-Based Safety and Assessment Cham : Springer International Publishing AG,c2022 9783031158414 320 $aIncludes bibliographical references and index. 327 $aSafety 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. 330 $aThis 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 focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13525 606 $aComputer science 606 $aComputers, Special purpose 606 $aComputer networks 606 $aComputer systems 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Communication Networks 606 $aComputer System Implementation 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aComputer networks. 615 0$aComputer systems. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Communication Networks. 615 24$aComputer System Implementation. 676 $a518.1 676 $a620.86011 702 $aZeller$b Marc 702 $aProsvirnova$b Tatiana 702 $aSeguin$b Christel 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910592986203321 996 $aModel-Based Safety and Assessment$92914267 997 $aUNINA