Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case
Fulfilling norms is a way to respect all the safety properties embedded in norm specifications. Moreover, it provides interoperability qualities that are particularly relevant in the transport domain. The article proposes a modelling engineering approach using a semi-formal model phase to identify a multilayered decomposition of the system with domain experts. Then a transformation into formal models is used in order to verify and validate the behaviour with technical and safety experts. Propositions are illustrated on a case study from the transport domain: Automatic Train Operation (ATO) over European Train Control System (ETCS), also named AoE, for freight trains. ATO under the supervision of a human driver is sometimes presented as a first step toward autonomous train. This paper provides a system analysis of the available norms dealing with automatic train operation under driver supervision. The work focuses on the collaboration between an automatic software for braking and accelerating in the European normative and technological context, known as AoE. From the study of the available documents, the authors derive an architectural model of this global system containing on board automation and on track automated specific devices. The technical contribution is a proposition of an approach specifying a correct-by-construction software system. This software component respects the industrial norms of automated train. The authors explain how it is relevant to use a norm-based technical architecture, that allow drivers to identify various functioning phases where, depending on the overall context, they can let an automatic system drive the train or not.
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/issn/20588305
-
Supplemental Notes:
- Copyright: ©2023 IIETA. This article is published by IIETA and is licensed under the CC BY 4.0 license.
-
Authors:
- Collart-Dutilleul, Simo
- 0000-0003-4292-6584
- Bon, Philippe
- Bougacha, Racem
- 0000-0001-8675-4919
- Laleau, Régine
- 0000-0002-2019-4936
- Publication Date: 2023
Language
- English
Media Info
- Media Type: Web
- Features: Figures; References;
- Pagination: pp 311-320
-
Serial:
- International Journal of Transport Development and Integration
- Volume: 7
- Issue Number: 4
- Publisher: International Information and Engineering Technology Association
- ISSN: 2058-8305
- EISSN: 2058-8313
- Serial URL: https://iieta.org/Journals/IJTDI
-
Publication flags:
Open Access (libre)
Subject/Index Terms
- TRT Terms: Acceleration (Mechanics); Automatic train operation; Braking; Freight trains; Software; Systems analysis
- Identifier Terms: European Train Control System
- Subject Areas: Data and Information Technology; Operations and Traffic Management; Railroads; Vehicles and Equipment;
Filing Info
- Accession Number: 01908267
- Record Type: Publication
- Files: TRIS
- Created Date: Feb 15 2024 1:12PM