Standardisation Considerations for Autonomous Train Control

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

386 Downloads (Orbit)

Abstract

In 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 .
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Practice
PublisherSpringer
Publication date2022
Pages286-307
ISBN (Print)978-3-031-19761-1
DOIs
Publication statusPublished - 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Alila Resort & Spa, Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
Conference number: 11
https://www.isola-conference.org

Conference

Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Number11
LocationAlila Resort & Spa
Country/TerritoryGreece
CityRhodes
Period22/10/202230/10/2022
Internet address
SeriesLecture Notes in Computer Science
Volume13704
ISSN0302-9743

Keywords

  • Autonomous train control
  • Standards
  • Certification
  • Verification
  • Validation

Fingerprint

Dive into the research topics of 'Standardisation Considerations for Autonomous Train Control'. Together they form a unique fingerprint.

Cite this