001449482 000__ 04900cam\a2200625\i\4500
001449482 001__ 1449482
001449482 003__ OCoLC
001449482 005__ 20230310004402.0
001449482 006__ m\\\\\o\\d\\\\\\\\
001449482 007__ cr\un\nnnunnun
001449482 008__ 220913s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001449482 019__ $$a1344324818
001449482 020__ $$a9783031158421$$q(electronic bk.)
001449482 020__ $$a3031158423$$q(electronic bk.)
001449482 020__ $$z9783031158414
001449482 020__ $$z3031158415
001449482 0247_ $$a10.1007/978-3-031-15842-1$$2doi
001449482 035__ $$aSP(OCoLC)1344334347
001449482 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001449482 049__ $$aISEA
001449482 050_4 $$aQA76.63
001449482 08204 $$a005.101/5113$$223/eng/20220913
001449482 1112_ $$aIMBSA (Symposium)$$n(8th :$$d2022 :$$cMunich, Germany)
001449482 24510 $$aModel-based safety and assessment :$$b8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /$$cChristel Seguin, Marc Zeller, Tatiana Prosvirnova (eds.).
001449482 2463_ $$aIMBSA 2022
001449482 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001449482 300__ $$a1 online resource (xiii, 267 pages) :$$billustrations (some color).
001449482 336__ $$atext$$btxt$$2rdacontent
001449482 337__ $$acomputer$$bc$$2rdamedia
001449482 338__ $$aonline resource$$bcr$$2rdacarrier
001449482 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13525
001449482 500__ $$aIncludes author index.
001449482 5050_ $$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.
001449482 506__ $$aAccess limited to authorized users.
001449482 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.
001449482 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 13, 2022).
001449482 650_0 $$aComputer science$$vCongresses.
001449482 650_0 $$aComputers, Special purpose$$vCongresses.
001449482 650_0 $$aSoftware engineering$$vCongresses.
001449482 650_0 $$aAlgorithms$$vCongresses.
001449482 650_0 $$aComputer logic$$vCongresses.
001449482 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
001449482 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449482 655_0 $$aElectronic books.
001449482 7001_ $$aSeguin, Christel,$$eeditor.
001449482 7001_ $$aZeller, Marc,$$eeditor.$$1https://orcid.org/0000-0002-6738-7903
001449482 7001_ $$aProsvirnova, Tatiana,$$eeditor.
001449482 77608 $$iPrint version: $$z3031158415$$z9783031158414$$w(OCoLC)1337855489
001449482 830_0 $$aLecture notes in computer science ;$$v13525.$$x1611-3349
001449482 852__ $$bebk
001449482 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15842-1$$zOnline Access$$91397441.1
001449482 909CO $$ooai:library.usi.edu:1449482$$pGLOBAL_SET
001449482 980__ $$aBIB
001449482 980__ $$aEBOOK
001449482 982__ $$aEbook
001449482 983__ $$aOnline
001449482 994__ $$a92$$bISE