國立虎尾科技大學 |

Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Model-Based Safety and Assessment/ edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova.
其他題名:	8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /
其他作者:	Prosvirnova, Tatiana.
面頁冊數:	XIII, 267 p. 133 illus., 110 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer System Implementation. -
電子資源:	https://doi.org/10.1007/978-3-031-15842-1
ISBN:	9783031158421

Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /
Model-Based Safety and Assessment8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /[electronic resource] :edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova. - 1st ed. 2022. - XIII, 267 p. 133 illus., 110 illus. in color.online resource. - Lecture Notes in Computer Science,135251611-3349 ;. - Lecture Notes in Computer Science,9324.

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.

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 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.

ISBN: 9783031158421

Standard No.: 10.1007/978-3-031-15842-1doiSubjects--Topical Terms:

669803
Computer System Implementation.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /
LDR:03943nam a22004095i 4500 001 1082960
003 DE-He213
005 20220908054615.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031158421 $9 978-3-031-15842-1
024 7 $a 10.1007/978-3-031-15842-1 $2 doi
035 $a 978-3-031-15842-1
050 4 $a QA75.5-76.95
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Model-Based Safety and Assessment $h [electronic resource] : $b 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / $c edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XIII, 267 p. 133 illus., 110 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13525
505 0 $a 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.
520 $a 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 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 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 0 $a Computer systems. $3 559862
650 0 $a Computer networks . $3 1365720
650 0 $a Computers, Special purpose. $3 1069426
650 0 $a Computer science. $3 573171
700 1 $a Prosvirnova, Tatiana. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1388811
700 1 $a Zeller, Marc. $e editor. $1 https://orcid.org/0000-0002-6738-7903 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319232
700 1 $a Seguin, Christel. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1388810
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031158414
776 0 8 $i Printed edition: $z 9783031158438
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-15842-1
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)