Academic Journal
Description of route dependencies for computer-based railway signalling systems
| العنوان: | Description of route dependencies for computer-based railway signalling systems |
|---|---|
| المؤلفون: | Michał Grzybowski, Jakub Młyńczak, Lucyna Sokołowska |
| المصدر: | Archives of Transport, Vol 72, Iss 4 (2024) |
| بيانات النشر: | Faculty of Transport, Warsaw University of Technology, 2024. |
| سنة النشر: | 2024 |
| المجموعة: | LCC:Engineering (General). Civil engineering (General) LCC:Transportation engineering LCC:Automation |
| مصطلحات موضوعية: | railway signalling, route dependencies, interlocking, Engineering (General). Civil engineering (General), TA1-2040, Transportation engineering, TA1001-1280, Automation, T59.5 |
| الوصف: | 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. |
| نوع الوثيقة: | article |
| وصف الملف: | electronic resource |
| اللغة: | English |
| تدمد: | 0866-9546 2300-8830 |
| Relation: | https://www.archivesoftransport.com/index.php/aot/article/view/691; https://doaj.org/toc/0866-9546; https://doaj.org/toc/2300-8830 |
| DOI: | 10.61089/aot2024.m9zn5n16 |
| URL الوصول: | https://doaj.org/article/275bd4afb4474e29baffc6c68cf598b5 |
| رقم الانضمام: | edsdoj.275bd4afb4474e29baffc6c68cf598b5 |
| قاعدة البيانات: | Directory of Open Access Journals |
| ResultId |
1 |
|---|---|
| Header |
edsdoj Directory of Open Access Journals edsdoj.275bd4afb4474e29baffc6c68cf598b5 1055 3 Academic Journal academicJournal 1055.36608886719 |
| PLink |
https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsdoj&AN=edsdoj.275bd4afb4474e29baffc6c68cf598b5&custid=s6537998&authtype=sso |
| FullText |
Array
(
[Availability] => 0
)
Array ( [0] => Array ( [Url] => https://doaj.org/article/275bd4afb4474e29baffc6c68cf598b5 [Name] => EDS - DOAJ [Category] => fullText [Text] => View record in DOAJ [MouseOverText] => View record in DOAJ ) ) |
| Items |
Array
(
[Name] => Title
[Label] => Title
[Group] => Ti
[Data] => Description of route dependencies for computer-based railway signalling systems
)
Array ( [Name] => Author [Label] => Authors [Group] => Au [Data] => <searchLink fieldCode="AR" term="%22Michał+Grzybowski%22">Michał Grzybowski</searchLink><br /><searchLink fieldCode="AR" term="%22Jakub+Młyńczak%22">Jakub Młyńczak</searchLink><br /><searchLink fieldCode="AR" term="%22Lucyna+Sokołowska%22">Lucyna Sokołowska</searchLink> ) Array ( [Name] => TitleSource [Label] => Source [Group] => Src [Data] => Archives of Transport, Vol 72, Iss 4 (2024) ) Array ( [Name] => Publisher [Label] => Publisher Information [Group] => PubInfo [Data] => Faculty of Transport, Warsaw University of Technology, 2024. ) Array ( [Name] => DatePubCY [Label] => Publication Year [Group] => Date [Data] => 2024 ) Array ( [Name] => Subset [Label] => Collection [Group] => HoldingsInfo [Data] => LCC:Engineering (General). Civil engineering (General)<br />LCC:Transportation engineering<br />LCC:Automation ) Array ( [Name] => Subject [Label] => Subject Terms [Group] => Su [Data] => <searchLink fieldCode="DE" term="%22railway+signalling%22">railway signalling</searchLink><br /><searchLink fieldCode="DE" term="%22route+dependencies%22">route dependencies</searchLink><br /><searchLink fieldCode="DE" term="%22interlocking%22">interlocking</searchLink><br /><searchLink fieldCode="DE" term="%22Engineering+%28General%29%2E+Civil+engineering+%28General%29%22">Engineering (General). Civil engineering (General)</searchLink><br /><searchLink fieldCode="DE" term="%22TA1-2040%22">TA1-2040</searchLink><br /><searchLink fieldCode="DE" term="%22Transportation+engineering%22">Transportation engineering</searchLink><br /><searchLink fieldCode="DE" term="%22TA1001-1280%22">TA1001-1280</searchLink><br /><searchLink fieldCode="DE" term="%22Automation%22">Automation</searchLink><br /><searchLink fieldCode="DE" term="%22T59%2E5%22">T59.5</searchLink> ) Array ( [Name] => Abstract [Label] => Description [Group] => Ab [Data] => 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. ) Array ( [Name] => TypeDocument [Label] => Document Type [Group] => TypDoc [Data] => article ) Array ( [Name] => Format [Label] => File Description [Group] => SrcInfo [Data] => electronic resource ) Array ( [Name] => Language [Label] => Language [Group] => Lang [Data] => English ) Array ( [Name] => ISSN [Label] => ISSN [Group] => ISSN [Data] => 0866-9546<br />2300-8830 ) Array ( [Name] => NoteTitleSource [Label] => Relation [Group] => SrcInfo [Data] => https://www.archivesoftransport.com/index.php/aot/article/view/691; https://doaj.org/toc/0866-9546; https://doaj.org/toc/2300-8830 ) Array ( [Name] => DOI [Label] => DOI [Group] => ID [Data] => 10.61089/aot2024.m9zn5n16 ) Array ( [Name] => URL [Label] => Access URL [Group] => URL [Data] => <link linkTarget="URL" linkTerm="https://doaj.org/article/275bd4afb4474e29baffc6c68cf598b5" linkWindow="_blank">https://doaj.org/article/275bd4afb4474e29baffc6c68cf598b5</link> ) Array ( [Name] => AN [Label] => Accession Number [Group] => ID [Data] => edsdoj.275bd4afb4474e29baffc6c68cf598b5 ) |
| RecordInfo |
Array
(
[BibEntity] => Array
(
[Identifiers] => Array
(
[0] => Array
(
[Type] => doi
[Value] => 10.61089/aot2024.m9zn5n16
)
)
[Languages] => Array
(
[0] => Array
(
[Text] => English
)
)
[Subjects] => Array
(
[0] => Array
(
[SubjectFull] => railway signalling
[Type] => general
)
[1] => Array
(
[SubjectFull] => route dependencies
[Type] => general
)
[2] => Array
(
[SubjectFull] => interlocking
[Type] => general
)
[3] => Array
(
[SubjectFull] => Engineering (General). Civil engineering (General)
[Type] => general
)
[4] => Array
(
[SubjectFull] => TA1-2040
[Type] => general
)
[5] => Array
(
[SubjectFull] => Transportation engineering
[Type] => general
)
[6] => Array
(
[SubjectFull] => TA1001-1280
[Type] => general
)
[7] => Array
(
[SubjectFull] => Automation
[Type] => general
)
[8] => Array
(
[SubjectFull] => T59.5
[Type] => general
)
)
[Titles] => Array
(
[0] => Array
(
[TitleFull] => Description of route dependencies for computer-based railway signalling systems
[Type] => main
)
)
)
[BibRelationships] => Array
(
[HasContributorRelationships] => Array
(
[0] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Michał Grzybowski
)
)
)
[1] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Jakub Młyńczak
)
)
)
[2] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Lucyna Sokołowska
)
)
)
)
[IsPartOfRelationships] => Array
(
[0] => Array
(
[BibEntity] => Array
(
[Dates] => Array
(
[0] => Array
(
[D] => 01
[M] => 12
[Type] => published
[Y] => 2024
)
)
[Identifiers] => Array
(
[0] => Array
(
[Type] => issn-print
[Value] => 08669546
)
[1] => Array
(
[Type] => issn-print
[Value] => 23008830
)
)
[Numbering] => Array
(
[0] => Array
(
[Type] => volume
[Value] => 72
)
[1] => Array
(
[Type] => issue
[Value] => 4
)
)
[Titles] => Array
(
[0] => Array
(
[TitleFull] => Archives of Transport
[Type] => main
)
)
)
)
)
)
)
|
| IllustrationInfo |