000			04078nam a22004335i 4500
999			_c383098 _d383098 _x1
001			383098
003			ES-MaUEC
005			20230102122043.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			221105s2022 sz | s |1|| 0|eng d
020			_a9783031058141
024	7		_a10.1007/978-3-031-05814-1 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.758 _b2022 EB
245	0	0	_aReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : _b4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings _cedited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
250			_aFirst edition 2022
264		1	_aCham _bSpringer International Publising _c2022
300			_a1 recurso en línea (XVIII, 239 páginas) _b91 ilustraciones, 68 ilustraciones a color
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_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.
988			_aSpringer_Computer_2022
650		7	_2embne _9140371 _aFerrocarriles _vCongresos y asambleas
700	1		_aCollart-Dutilleul, Simon _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aHaxthausen, Anne E. _eeditor literario _0(orcid)0000-0001-7349-8872 _1https://orcid.org/0000-0001-7349-8872 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLecomte, Thierry _eeditor literario _0(orcid)0000-0001-8977-4827 _1https://orcid.org/0000-0001-8977-4827 _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9783031058134
776	0	8	_iPrinted edition: _z9783031058158
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-05814-1 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b11/2022 _dz _eIG _zSI