| 000 | 04765nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-15842-1 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125018.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220908s2022 sz | s |||| 0|eng d | ||
| 020 |
_a9783031158421 _9978-3-031-15842-1 |
||
| 024 | 7 |
_a10.1007/978-3-031-15842-1 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aModel-Based Safety and Assessment _h[electronic resource] : _b8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / _cedited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova. |
| 250 | _a1st ed. 2022. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
| 300 |
_aXIII, 267 p. 133 illus., 110 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13525 |
|
| 505 | 0 | _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. | |
| 520 | _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. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputers, Special purpose. | |
| 650 | 0 | _aComputer networks . | |
| 650 | 0 | _aComputer systems. | |
| 650 | 1 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aSpecial Purpose and Application-Based Systems. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aComputer System Implementation. |
| 700 | 1 |
_aSeguin, Christel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aZeller, Marc. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aProsvirnova, Tatiana. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031158414 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031158438 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13525 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-15842-1 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c173230 _d173230 |
||