Modelling of interlocking functions in railway station traffic control systems

• Autorzy: Kawalec P. , Koliński D.

Warianty tytułu

PL

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.

PL

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.

Słowa kluczowe

EN

dependence function; control systems; rail traffic

PL

funkcje zależnościowe; systemy sterowania; ruch kolejowy

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2014
• Tom: nr 4
• Strony: 2907--2913
• Opis fizyczny: Bibliogr. 10 poz., rys., tab., pełen tekst na CD

Twórcy

autor

Kawalec P.

• Warsaw University of Technology

autor

Koliński D.

• 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, 2013r.
• [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.