Abstract
AbstractIn this paper, we review software-based technologies already known to be, or expected to become essential for autonomous train control systems with grade of automation GoA 4 (unattended train operation) in existing open railway environments. It is discussed which types of technology can be developed and certified already today on the basis of existing railway standards. Other essential technologies, however, require modifications or extensions of existing standards, in order to provide a certification basis for introducing these technologies into non-experimental “real-world” rail operation. Regarding these, we check the novel pre-standard ANSI/UL 4600 with respect to suitability as a certification basis for safety-critical autonomous train control functions based on methods from artificial intelligence. As a thought experiment, we propose a novel autonomous train controller design and perform an evaluation according to ANSI/UL 4600. This results in the insight that autonomous freight trains and metro trains using this design could be evaluated and certified on the basis of ANSI/UL 4600 .
Publisher
Springer Nature Switzerland
Reference29 articles.
1. Lecture Notes in Computer Science;D Basile,2020
2. Lecture Notes in Computer Science;P Behm,1999
3. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, West Sussex (2007)
4. CENELEC: EN 50128: 2011 Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2011)
5. CENELEC: EN 50126 Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process (2017)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Approach for Argumenting Safety on Basis of an Operational Design Domain;Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI;2024-04-14
2. Recognizing Railway Infrastructure Using CNN and Stereoscopic Vision;2024 International Russian Smart Industry Conference (SmartIndustryCon);2024-03-25
3. Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System;Lecture Notes in Computer Science;2024
4. Evaluating AI-Based Components in Autonomous Railway Systems;Lecture Notes in Computer Science;2024
5. Certified Control for Train Sign Classification;Electronic Proceedings in Theoretical Computer Science;2023-11-15