000 04453nam a22006015i 4500
001 978-3-031-05814-1
003 DE-He213
005 20240730180511.0
007 cr nn 008mamaa
008 220519s2022 sz | s |||| 0|eng d
020 _a9783031058141
_9978-3-031-05814-1
024 7 _a10.1007/978-3-031-05814-1
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
_h[electronic resource] :
_b4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings /
_cedited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXVIII, 239 p. 91 illus., 68 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 ;
_v13294
505 0 _aNew methods for safety demonstration -- Satellite-based train localization for safety critical applications. The challenges of performance demo and certification -- Safe Interlocking""Compositional verification of railway interlockings: comparison of two methods" -- "Safety invariant verification that meets engineers' expectations" -- Session "Innovation in Traffic management" -- "Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems" -- "Acceleration Techniques for Symbolic Simulation of Railway Timetables" -- "Optimal Railway Routing Using Virtual Subsections"Session "Safety and new technologies" -- ""Learn to learn HVAC failures: layering ML experiments in the absence of ground truth" -- Enhancing Autonomous Train Safety Through A Priori-Map Based Perception" -- Lilian Burdy, David Deharbe and Denis Sabatier "Assigning safe software-based systems to meanings" -- Generating and verifying configuration data with OVADO" -- "The 4SECURail Formal Methods Demonstrator" -- Formal Design and Validation of an Automatic Train Operation Control System" -- "Investigating Human Error within GoA-2 railways" -- "A Vision of Intelligent Train Control" -- Analysis of Safety-critical Communication Protocols for On-premise SIL4 Cloud in Railways" -- "TASC: Transparent, Agnostic, Secure Channel for CBTC under Failure or Cyberattack.
520 _aThis book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aApplication software.
_9120475
650 0 _aArtificial intelligence.
_93407
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Engineering and Networks.
_9120476
650 2 4 _aComputer and Information Systems Applications.
_9120477
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aCollart-Dutilleul, Simon.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120478
700 1 _aHaxthausen, Anne E.
_eeditor.
_0(orcid)
_10000-0001-7349-8872
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120479
700 1 _aLecomte, Thierry.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120480
710 2 _aSpringerLink (Online service)
_9120481
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031058134
776 0 8 _iPrinted edition:
_z9783031058158
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13294
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-05814-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90356
_d90356