Modelling of Interlocking Functions in Railway Station Traffic Control Systems

• Autorzy: Piotr Kawalec , Dariusz Koliński

Warianty tytułu

Modelowanie funkcji zależnościowych w stacyjnych systemach sterowania ruchem kolejowym

• Języki publikacji: EN

Abstrakty

EN

The paper presents a new specification method for the interlocking functions executed railway traffic control objects. On the example of short track section object, the procedure of creating the description in the form of state matrices, transition matrices and priorities matrices was presented. The intuitive transition from these matrices to the Moore machine in FSM editor was also shown. This description of object's interlocking functions allows to automatically generate the VHDL output file which, using the computer aided design environment, can be used for designing such object in FPGA structures. (original abstract)

W artykule przedstawiono nowy sposób specyfikacji funkcji zależnościowych realizowanych przez obiekty systemów sterowania ruchem kolejowym. Na przykładzie odcinka torowego krótkiego, pokazano mechanizm zapisu funkcji obiektu w postaci macierzy stanów, macierzy tranzycji oraz macierzy priorytetów. Pokazano mechanizm intuicyjnego przejścia od tych macierzy do grafu przejść automaty skończonego Moore'a w edytorze FSM. Taki zapis funkcji obiektu pozwala na automatyczne wygenerowanie kodu języka VHDL, pozwalającego na wykorzystanie narzędzi wspomagania komputerowego w projektowaniu takich obiektów w układach FPGA. (abstrakt oryginalny)

Słowa kluczowe

EN

Railway transport; Railways; Rail transportation

PL

Transport kolejowy; Kolejnictwo; Komunikacja kolejowa

• Czasopismo: Logistyka
• Rocznik: 2014
• Numer: nr 4, CD 3
• Strony: 2907--2913

Twórcy

autor

Piotr Kawalec

• Warsaw University of Technology, Poland

autor

Dariusz Koliński

• Egis Poland Sp. z o.o.

Bibliografia

• [1] Apuniewicz S.: Układy przekaźnikowe w automatyce zabezpieczenia ruchu kolejowego. WPW, Warszawa 1969 r.
• [2] Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Funkcje, wspomagania, zarys techniki. Wydanie 2 poprawione. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2007 r.
• [3] Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie. Politechnika Warszawska, Prace Naukowe - Transport, z. 68, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2009 r.
• [4] Kawalec P., Koliński D.: Synteza i analiza niezawodnościowa urządzeń sterowania ruchem kolejowym zrealizowanych w układach FPGA. Pomiary Automatyka Kontrola, vol.53, 7'2007, Warszawa, 2007, pp. 57 - 59.
• [5] Kawalec P., Koliński D., Mocki J.: Zastosowanie programowalnych struktur logicznych w projektowaniu urządzeń sterowania ruchem kolejowym. Problemy kolejnictwa, Nr 140, CNTK, Warszawa, 2005, pp. 66 - 88.
• [6] Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Politechnika Warszawska, Prace Naukowe - Transport, z. 86, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2012, pp. 35 - 52.
• [7] Koliński D.: Metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2013 r.
• [8] Korzan B.: Elementy teorii grafów i sieci. Metody i zastosowania. WNT, Warszawa, 1978 r.
• [9] Łuba T. Synteza układów logicznych. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2005 r.
• [10]Zbysiński P., Pasierbiński J.: Układy programowalne - w praktyce. WKŁ, Warszawa, 2002 r.
• ---