Description of route dependencies for computer-based railway signalling systems
Efficient and safe movement of trains on railway lines is assured by railway signalling systems. These systems assure safety of railway transport by preservation of dependencies. A significant fraction of dependencies is related to route setting, i.e., preparation of train travel through the specif...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Faculty of Transport, Warsaw University of Technology
2024-12-01
|
| Series: | Archives of Transport |
| Subjects: | |
| Online Access: | https://www.archivesoftransport.com/index.php/aot/article/view/691 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832595596605652992 |
|---|---|
| author | Michał Grzybowski Jakub Młyńczak Lucyna Sokołowska |
| author_facet | Michał Grzybowski Jakub Młyńczak Lucyna Sokołowska |
| author_sort | Michał Grzybowski |
| collection | DOAJ |
| description |
Efficient and safe movement of trains on railway lines is assured by railway signalling systems. These systems assure safety of railway transport by preservation of dependencies. A significant fraction of dependencies is related to route setting, i.e., preparation of train travel through the specified running paths. The use of computer technology in modern systems allows for greater functionality and smaller physical devices dimension than older types of systems. This results in increased complexity of track layout and increased area of a single interlocking. Systems with considerable number of routes, over a thousand are becoming increasingly common. The research is concerned with the problem of describing route dependencies in computer-based interlocking configuration. During the research existing solutions have been analyzed and a method of describing route dependencies based on requirements of PKP PLK has been proposed. The proposed solution has been verified by functional testing of prototype interlocking. During the research, a formalism for describing the route has been devised, which allows for dependency realization by track layout independent computer program. In addition, during research algorithms for automatic verification of conflicting route exclusion correctness have been designed, which allows for reduction of effort required for verification of conflicting route exclusion function. The proposed method of describing route dependencies allows for simplification of interlocking design and for automation of application data preparation. The method of implementing dependencies also allows for automation of conflicting route exclusion function verification, which decreased the effort required for verification activities while maintaining the high-quality standards.
|
| format | Article |
| id | doaj-art-275bd4afb4474e29baffc6c68cf598b5 |
| institution | Kabale University |
| issn | 0866-9546 2300-8830 |
| language | English |
| publishDate | 2024-12-01 |
| publisher | Faculty of Transport, Warsaw University of Technology |
| record_format | Article |
| series | Archives of Transport |
| spelling | doaj-art-275bd4afb4474e29baffc6c68cf598b52025-01-18T12:15:35ZengFaculty of Transport, Warsaw University of TechnologyArchives of Transport0866-95462300-88302024-12-0172410.61089/aot2024.m9zn5n16Description of route dependencies for computer-based railway signalling systemsMichał Grzybowski0https://orcid.org/0000-0002-4841-147XJakub Młyńczak1https://orcid.org/0000-0003-2947-7980Lucyna Sokołowska2https://orcid.org/0000-0002-0699-4312Silesian University of Technology, Faculty of Transport and Aviation Engineering, Katowice, PolandSilesian University of Technology, Faculty of Transport and Aviation Engineering, Katowice, PolandRailway Research Institute IK, Warsaw, Poland Efficient and safe movement of trains on railway lines is assured by railway signalling systems. These systems assure safety of railway transport by preservation of dependencies. A significant fraction of dependencies is related to route setting, i.e., preparation of train travel through the specified running paths. The use of computer technology in modern systems allows for greater functionality and smaller physical devices dimension than older types of systems. This results in increased complexity of track layout and increased area of a single interlocking. Systems with considerable number of routes, over a thousand are becoming increasingly common. The research is concerned with the problem of describing route dependencies in computer-based interlocking configuration. During the research existing solutions have been analyzed and a method of describing route dependencies based on requirements of PKP PLK has been proposed. The proposed solution has been verified by functional testing of prototype interlocking. During the research, a formalism for describing the route has been devised, which allows for dependency realization by track layout independent computer program. In addition, during research algorithms for automatic verification of conflicting route exclusion correctness have been designed, which allows for reduction of effort required for verification of conflicting route exclusion function. The proposed method of describing route dependencies allows for simplification of interlocking design and for automation of application data preparation. The method of implementing dependencies also allows for automation of conflicting route exclusion function verification, which decreased the effort required for verification activities while maintaining the high-quality standards. https://www.archivesoftransport.com/index.php/aot/article/view/691railway signallingroute dependenciesinterlocking |
| spellingShingle | Michał Grzybowski Jakub Młyńczak Lucyna Sokołowska Description of route dependencies for computer-based railway signalling systems Archives of Transport railway signalling route dependencies interlocking |
| title | Description of route dependencies for computer-based railway signalling systems |
| title_full | Description of route dependencies for computer-based railway signalling systems |
| title_fullStr | Description of route dependencies for computer-based railway signalling systems |
| title_full_unstemmed | Description of route dependencies for computer-based railway signalling systems |
| title_short | Description of route dependencies for computer-based railway signalling systems |
| title_sort | description of route dependencies for computer based railway signalling systems |
| topic | railway signalling route dependencies interlocking |
| url | https://www.archivesoftransport.com/index.php/aot/article/view/691 |
| work_keys_str_mv | AT michałgrzybowski descriptionofroutedependenciesforcomputerbasedrailwaysignallingsystems AT jakubmłynczak descriptionofroutedependenciesforcomputerbasedrailwaysignallingsystems AT lucynasokołowska descriptionofroutedependenciesforcomputerbasedrailwaysignallingsystems |