단행본 상세

URL복사하기
서지주요정보
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings [electronic resource]
서명 / 저자 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings / edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte.
저자명 Collart-Dutilleul, Simon. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 https://orcid.org/0000-0001-7349-8872 edt http://id.loc.gov/vocabulary/relators/edt ; Lecomte, Thierry. editor. (orcid)0000-0001-8977-4827 https://orcid.org/0000-0001-8977-4827 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
Online Access https://doi.org/10.1007/978-3-031-05814-1 URL

서지기타정보

서지기타정보
청구기호 QA76.758
판사항 1st ed. 2022.
형태사항 XVIII, 239 p. 91 illus., 68 illus. in color. online resource.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 13294
언어 English
내용 New 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.
주제 Software engineering.
Computer engineering.
Computer networks .
Application software.
Artificial intelligence.
Software Engineering.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Artificial Intelligence.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031058134 Printed edition: 9783031058158
ISBN 9783031058141
기타 표준번호 10.1007/978-3-031-05814-1
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기