Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Computational Methods in Systems and Software, CoMeSySo 2019
Год издания: 2019
Идентификатор DOI: 10.1007/978-3-030-30329-7_17
Ключевые слова: Ks-signaling system, Railway signaling, Timed arc Petri nets
Аннотация: This paper describes a model for railway signals in the context of interlocking. Since the design and construction of the software models shall be obtained in a formal way, the models were created using Petri nets to allow automatic verification and validation. A generic model for railway signals was designed and further utilized for the German railway signaling systems (The Ks signaling system). Simplified Petri net models for points, track segments and signals are given as a frame. The obtained models are also applied to a real station layout. © Springer Nature Switzerland AG 2019.
Издание
Журнал: Advances in Intelligent Systems and Computing
Выпуск журнала: Vol. 1046
Номера страниц: 174-188
ISSN журнала: 21945357
Издатель: Springer
Персоны
- Üstoğlu İ. (Control and Automation Engineering Department, Yildiz Technical University, Istanbul, Turkey)
- Töpel D. (Sheffield Hallam University, Sheffield, United Kingdom)
- Durmus M.S. (Sadenco (Safe, Dependable Engineering and Consultancy), Antalya, Turkey)
- Tsarev R.Y. (Department of Informatics, Siberian Federal University, Krasnoyarsk, Russian Federation)
- Zhigalov K.Y. (V.A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow, Russian Federation, Moscow Technological Institute, Moscow, Russian Federation)
Вхождение в базы данных
- Scopus
- Web of Science Core Collection
- Ядро РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.