Algorytmiczne podejście do projektowania logiki zależnościowej w systemach sterowania ruchem kolejowym

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

Warianty tytułu

EN

The algorithmic approach to railway interlocking logic design

• Języki publikacji: PL

Abstrakty

PL

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

EN

The paper presents several problems concerning the interlocking logic design process in modern railway traffic control systems. This issue is increasingly difficult in implementing new functions and adapting systems to new market requirements. For easy and clear transition from the verbal operation description to the formal notation in HDL language, the algorithmic approach was introduced. Universal input and output alphabets proposed in the paper allow convenient variable identification. The rules for decomposing the system into objects and algorithms are described (Fig. 1). Since the method is based on the geographical approach, the set of designed elements is universal and can be used for any track layout. Using the logical algorithm scheme (2) to describe the functionalities allows one to intuitively transform the elementary conditions in a natural language to a formal notation and finally to the VHDL code (Fig. 4). Verification possibilities of the described method are also presented. Using the Active-HDL integrated design environment it was possible to analyze the created algorithms on many hierarchical levels. Beginning from the algorithm level (proving the correctness of the transition to the finite-state machine graph), through the object level (Fig. 5a, showing the complex interlocking functions) to the whole interlocking logic (Fig. 5b, allowing verification of the design using the interlocking table), all of the performed simulations proved correctness of the specification.

Słowa kluczowe

PL

algorytmy; SRK; systemy zależnościowe

EN

algorithms; interlocking; railway traffic control

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2014
• Tom: R. 60, nr 10
• Strony: 826--828
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Kawalec P.

• Politechnika Warszawska, Wydział Transportu, Koszykowa 75, 00-662 Warszawa

autor

Rżysko M.

• Bombardier Transportation (Rail Engineering) Polska Sp. Z O.O., Ogrodowa 58, 00-876 Warszawa

Bibliografia

• [1] Apuniewicz S.: Układy przekaźnikowe w automatyce zabezpieczenia ruchu kolejowego. WPW Warszawa, 1969.
• [2] Hlavatý T., Přeučil L., Štěpán P.: Case Study: Formal Methods in Development and Testing of Safety Critical Systems: Railway Interlocking System. EUROMICRO, 2001.
• [3] Kawalec P., Rżysko M.: Metoda tworzenia formalnego zapisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 100, OWPW Warszawa, s. 91-108, 2013.
• [4] Kawalec P., Rżysko M.: Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active-HDL. Technika Transportu Szynowego 10/2013, s. 1587-1596.
• [5] Kawalec P., Rżysko M.: Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk. Politechnika Warszawska, Prace Naukowe - Transport, z. 95, OWPW Warszawa, s. 221-230, 2013.
• [6] Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Prace Naukowe - Transport, z. 86, OWPW Warszawa, s. 35-52, 2012.
• [7] Minkowitz C., Atkiss J.: An object-oriented formal specification of a configuration language for railway interlockings. 3rd Northern Formal Methods Workshop, 1998.
• [8] Traczyk W.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. Wydawnictwa Naukowo-Techniczne, 1982.