Computer aided modelling of railway station traffic control systems

• Autorzy: Kawalec P. , Rżysko M.

Warianty tytułu

PL

Komputerowe wspomaganie modelowania stacyjnych systemów srk

• Języki publikacji: EN

Abstrakty

EN

The paper presents a modelling method for complex interlocking functions in railway traffic control systems. The method is based on the geographical approach, which allows to use the created elements for any track layout. Specification and verification of the designed algorithms was performed in computer-aided design environment. The use of algorithms to describe the functions allowed to intuitively transform the elementary conditions in verbal description into formal notation and finally the VHDL code.

PL

W artykule przedstawiono propozycję sformalizowanej metody specyfikacji złożonych funkcji zależnościowych w systemach sterowania ruchem kolejowym. Opisana metoda opiera się na podejściu geograficznym, umożliwiającym uniwersalne wykorzystanie zbudowanych elementów dla dowolnego układu torowego. Zaprezentowane zostały możliwości specyfikacji i weryfikacji otrzymanych algorytmów w środowisku komputerowego wspomagania prac projektowych. Zastosowanie algorytmów do opisu działania pozwala na intuicyjne przejście od elementarnych warunków opisanych w języku naturalnym do zapisu formalnego i ostatecznie kodu języka VHDL.

Słowa kluczowe

EN

computer aiding; traffic control systems; rail traffic

PL

komputerowe wspomaganie; systemy srk; ruch kolejowy

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2014
• Tom: nr 4
• Strony: 2915--2921
• Opis fizyczny: Bibliogvr. 7 poz., rys., pełen tekst na CD

Twórcy

autor

Kawalec P.

• Warsaw University of Technology

autor

Rżysko M.

• Bombardier Transportation (Rail Engineering) Polska Sp. z o.o.

Bibliografia

• [1] Apuniewicz S.: Układy przekaźnikowe w automatyce zabezpieczenia ruchu kolejowego. Wydawnictwa Politechniki Warszawskiej, Warszawa 1969.
• [2] Kawalec P., Rżysko M.: Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk. Technika Transportu Szynowego 9/2012, s.1605-1614.
• [3] Kawalec P., Rżysko M.: Metoda tworzenia formalnego zapisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 100, 2013, s.91-108.
• [4] Kawalec P., Rżysko M.: Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 95, 2013, s.221-230.
• [5] Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Prace Naukowe - Transport, z. 86, 2013, s.35-52.
• [6] Minkowitz C., Atkiss J.: An object-oriented formal specification of a configuration language for railway interlockings. 3rd Northern Formal Methods Workshop, 1998.
• [7] Traczyk W.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. Wydawnictwa Naukowo- Techniczne, 1982.