Non-Deterministic Bitwise Programming to Solve the Eurobalise Telegram Encoding Problem
Eurobalise is a transmitter placed on railroad tracks to transmit information on a railway state to a passing train. The transmitted messages are here called Eurobalise telegrams. To transmit telegrams over the air, it is necessary to provide error-resistant encoding and corresponding decoding, which is carried out in accordance with an open standard. In this article, the author continues his study of encoding such telegrams using languages with formal semantics intended for verification purposes. The author presents ways to apply non-deterministic programming for this task and discusses issues of implementing an encoder in the Promela language.
- Record URL:
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/issn/23521465
-
Supplemental Notes:
- © 2023 The Author(s). Published by Elsevier B.V. Abstract reprinted with permission of Elsevier.
-
Authors:
- Staroletov, Sergey
-
Conference:
- XIII International Conference on Transport Infrastructure: Territory Development and Sustainability (TITDS-XIII 2022)
- Location: Irkutsk , Russia
- Date: 2022-10-26 to 2022-10-28
- Publication Date: 2023
Language
- English
Media Info
- Media Type: Web
- Features: Figures; Photos; References;
- Pagination: pp 516-525
-
Serial:
- Transportation Research Procedia
- Volume: 68
- Issue Number: 0
- Publisher: Elsevier
- ISSN: 2352-1465
- Serial URL: http://www.sciencedirect.com/science/journal/23521465/
-
Publication flags:
Open Access (libre)
Subject/Index Terms
- TRT Terms: Coding systems; Computer programming; Radio transmitters; Railroad tracks
- Identifier Terms: Eurobalise
- Subject Areas: Data and Information Technology; Railroads;
Filing Info
- Accession Number: 01878745
- Record Type: Publication
- Files: TRIS
- Created Date: Apr 8 2023 4:09PM