Computer Aided Modelling of Railway Station Traffic Control Systems

• Autorzy: Piotr Kawalec , Marcin Rżysko

Warianty tytułu

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. (original abstract)

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. (abstrakt oryginalny)

Słowa kluczowe

EN

Railway transport; Logistic services modeling; Computerization of transport

PL

Transport kolejowy; Modelowanie usług logistycznych; Komputeryzacja transportu

• Czasopismo: Logistyka
• Rocznik: 2014
• Numer: nr 4, CD 3
• Strony: 2915--2921

Twórcy

autor

Piotr Kawalec

• Warsaw University of Technology, Poland

autor

Marcin Rżysko

• 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 NaukowoTechniczne, 1982.
• ---