Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk

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

Warianty tytułu

EN

Railway interlocking algorithms construction using finite-state machine diagrams

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono propozycję stworzenia metody formalnego zapisu algorytmów działania urządzeń zabezpieczenia ruchu kolejowego z wykorzystaniem grafów przejść automatów skończonych. Przegląd stosowanych obecnie metod opisu urządzeń srk wskazuje, że nie istnieje jednolita platforma opisu wszelkiego rodzaju dyskretnych układów sterowania. Większość stosowanych metod nie pozwala na wykorzystanie wspomagania komputerowego na etapie specyfikacji i weryfikacji tego typu układów. Na przykładzie stworzonego modelu przykładowego urządzenia zostało pokazane, że zastosowanie do tego celu grafów przejść pozwala stworzyć kompletną platformę specyfikacji algorytmów działania urządzeń srk, pozwalając dodatkowo na statyczną i dynamiczną weryfikację poprawności opisu z wykorzystaniem języków opisu sprzętu.

EN

The article presents a method of railway traffic control algorithm specification using finite-state machine diagrams. The review of currently used description methods of railway traffic control devices and systems indicates that a complete platform for description of all kinds of discrete control systems does not exist. It is shown that application of FSM diagrams for this purpose comprises a uniform platform for specification and verification of railway traffic control devices, which additionally allows static and dynamic verification of correctness of this description with the use of hardware description languages and logic simulators. On the exemplary operation algorithm of point module, both the possibilities of Active–HDL package as well as the process of computer aided specification and verification of the designed system are presented.

Słowa kluczowe

PL

automat skończony; system zależnościowy; sterowanie ruchem kolejowym; ruch kolejowy

EN

finite state machine; interlocking; railway traffic control; railway traffic

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2013
• Tom: z. 95
• Strony: 221--230
• Opis fizyczny: Bibliogr. 14 poz., rys.

Twórcy

autor

Kawalec P.

• Politechnika Warszawska, Wydział Transportu

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. WPW, Warszawa 1969.
• 2. Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. OWPW, Warszawa 2007.
• 3. Fokkink W., Groote J., Hollenberg M., van Vlijmen B.: LARIS 1.0 Language for Railway Interlocking Specifications. CWI, 2000.
• 4. 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.
• 5. Kalisz J. (red.): Język VHDL w praktyce. WKiŁ, Warszawa 2002.
• 6. Kanso K., Moller F., Setzer A.: Automated Verification of Signaling Principles in Railway Interlocking Systems. Eighth International Workshop of Automated Verification of Critical Systems, Glasgow 2008.
• 7. Kawalec P., Koliński D.: Modelowanie interlocking'u z zastosowaniem języka opisu sprzętu. Logistyka 6/2010, Instytut Logistyki i Magazynowania, Poznań, 2010, str. 1329-1337.
• 8. Kawalec P., Rżysko M.: Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk. Technika Transportu Szynowego TTS 9/2012, Łódź, 2012, str. 1605-1614.
• 9. Kawalec P., Rżysko M.: Zastosowanie języków opisu sprzętu do specyfikacji urządzeń srk. Logistyka 4/2012, Poznań, 2012, str. 351-358.
• 10. Mickiewicz T., Zubkow A.: Przekaźnikowe urządzenia nastawcze typu półblokowego. WKiŁ, Warszawa 1961.
• 11. Miksza E., Olendrzyński W., Zubkow A.: Zblokowany system sterowania ruchem kolejowym na stacjach typu IZH 111. WKiŁ, Warszawa 1979.
• 12. Pasierbiński J., Zbysiński P.: Układy programowalne w praktyce. WKiŁ, Warszawa 2002.
• 13. TraczykW.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. WNT, Warszawa 1982.
• 14. Zajączkowski A., Kalicińska K., Olendrzyński W.: Elektryczne urządzenia zabezpieczenia ruchu kolejowego. Urządzenia stacyjne. WKiŁ, Warszawa 1976.