001481315 000__ 04421cam\\22005777i\4500
001481315 001__ 1481315
001481315 003__ OCoLC
001481315 005__ 20231031003332.0
001481315 006__ m\\\\\o\\d\\\\\\\\
001481315 007__ cr\un\nnnunnun
001481315 008__ 231003s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001481315 019__ $$a1400972809$$a1401059489
001481315 020__ $$a9783031433665$$q(electronic bk.)
001481315 020__ $$a3031433661$$q(electronic bk.)
001481315 020__ $$z9783031433658
001481315 020__ $$z3031433653
001481315 0247_ $$a10.1007/978-3-031-43366-5$$2doi
001481315 035__ $$aSP(OCoLC)1401632283
001481315 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX
001481315 049__ $$aISEA
001481315 050_4 $$aQA76.758
001481315 08204 $$a625.1$$223/eng/20231003
001481315 1112_ $$aRSSRail (Conference)$$n(5th :$$d2023 :$$cBerlin, Germany)
001481315 24510 $$aReliability, safety, and security of railway systems :$$bmodelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings /$$cBirgit Milius, Simon Collart-Dutilleul, Thierry Lecomte, editors.
001481315 2463_ $$aRSSRail 2023
001481315 264_1 $$aCham :$$bSpringer,$$c2023.
001481315 300__ $$a1 online resource (xx, 226 pages) :$$billustrations (some color).
001481315 336__ $$atext$$btxt$$2rdacontent
001481315 337__ $$acomputer$$bc$$2rdamedia
001481315 338__ $$aonline resource$$bcr$$2rdacarrier
001481315 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14198
001481315 500__ $$aIncludes author index.
001481315 5050_ $$aModeling for Security: Automating an Analysis of Safety-Security Interactions for Railway Systems -- TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks.-Tooled approaches and Dependability of highly automated transport systems: Safety analysis of Automatic Train Operation based on ETCS -- Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning -- Towards Scenario-based Certification of Highly Automated Railway Systems -- Dependability Analysis of UPS Architectures for the Italian Railway Signaling System -- Formal methods for safety assessment: The SafeCap Trajectory: Industry-driven Improvement of an Interlocking Verification Tool -- A Formal Model of Train Control with AI-based Obstacle Detection -- Integral Formal Proof : A Verification Approach Bridging the Gap between System and Software Levels in Railway Systems -- Automated Compositional Verication of Interlocking Systems -- Halfway Generic Verification of Railway Control Systems -- Formal model and visual tooling: Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System -- A Tool-Chain for the Verification of Geographic Scheme Data.
001481315 506__ $$aAccess limited to authorized users.
001481315 520__ $$aThis book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
001481315 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 3, 2023).
001481315 650_0 $$aRailroads$$xSafety measures$$vCongresses.
001481315 655_0 $$aElectronic books.
001481315 7001_ $$aMilius, Birgit,$$eeditor.$$0(orcid)0000-0003-3422-4363$$1https://orcid.org/0000-0003-3422-4363
001481315 7001_ $$aCollart-Dutilleul, Simon,$$eeditor.$$1https://orcid.org/0000-0003-4292-6584
001481315 7001_ $$aLecomte, Thierry,$$eeditor.$$1https://orcid.org/0000-0001-8977-4827
001481315 77608 $$iPrint version:$$aMilius, Birgit$$tReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification$$dCham : Springer,c2023$$z9783031433658
001481315 830_0 $$aLecture notes in computer science ;$$v14198.$$x1611-3349
001481315 852__ $$bebk
001481315 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-43366-5$$zOnline Access$$91397441.1
001481315 909CO $$ooai:library.usi.edu:1481315$$pGLOBAL_SET
001481315 980__ $$aBIB
001481315 980__ $$aEBOOK
001481315 982__ $$aEbook
001481315 983__ $$aOnline
001481315 994__ $$a92$$bISE