Podstawy opisu formalnego zależności stacyjnych

• Autorzy: Zabłocki W.

Warianty tytułu

EN

The bases of formal interlocking analysis of station

• Języki publikacji: PL

Abstrakty

PL

W publikacji przedstawiono wybrane zagadnienia opisu formalnego zależności stacyjnych. Opis formalny zależności stacyjnych stanowi pewien fragment modelu stacyjnego systemu sterowania ruchem kolejowym na stacji (srk) i obejmuje m.in. zbiory reklacji i zbiory funkcji zależnościowych. relacje i funkcje zależnościowe określają sprzeczność dróg przebiegów, wartości zmiennych stanu przebiegów i stan urządzeń zewnętrznych umożliwiając odwzorowanie zadania sterowania w systemie srk. Dziedziną relacji i funkcji zależnościowych są wyóżnione zbiory informacji statycznych i dynamicznych. Na podstawie relacji i funkcji zależnościowych tworzone są równania zależnościowe. Relacje, funkcje i równania zależnościowe mogą zostac przekształcone w instrukcje programów komputerowych tworzących oprogramowanie komputerowych systemów srk.

EN

This paper presents chosen problems of the formal description of interlocking relationships an station. The formal description of station interlosking relationships is making a certain fragment of the model of ATC (Automatic Train Control) system and embracing among others sets of the relation and sets of the function called interlocking. Interlocking relations and functions are determinning a contradiction of the routes, value of variables of the state of the routing process and the state of outside devices enabling the reflection the task control in ATC system. The domain of the interlocking relations and the functions there are specified sets of the static and dynamic information`s structures. On the base of the interlocking relations and the functions are created interlocking equations. the interlocking relations, functions and equations can be converted into instructions of computer programs of software of ATC system.

Słowa kluczowe

PL

sterowanie ruchem kolejowym; stacja kolejowa

EN

trains traffic control; ATC system; interlocking system

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2007
• Tom: z. 62
• Strony: 309--322
• Opis fizyczny: Bibliogr. 18 poz., wykr., schem., tab

Twórcy

autor

Zabłocki W.

• Wydział transportu Politechnika Warszawska,

Bibliografia

• [1] Apuniewicz S., Zasady modelowania matematycznego procesów sterowania ruchem kolejowym, Zeszyty Naukowe Politechniki Świętokrzyskiej, Zeszyt T-5, Kielce 1977.
• [2] Dąbrowa-Bajon M., Karbowiak H, Grochowski K., Zasady projektowania systemów i urządzeń sterowania ruchem kolejowym, WKiŁ, Warszawa 1981.
• [3] Dąbrowa-Bajon M., Podstawy sterowania ruchem kolejowym, skrypt, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2002.
• [4] Findeisen W., red., praca zbiorowa, Analiza systemowa - podstawy i metodologia, PWN, Warszawa 1985.
• [5] Fredholm D., Specifying an Interlocking System: The Alister Project, FMERail Workshop 4, may 1999, Netherland,
• [6] König N. H., The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project, Presentation for Polish Railways 8 June 2004.
• [7] Kochan A., Łapiak G., Zabłocki W., Podstawy modelowania systemów srk - wybrane zagadnienia, Międzynarodowa Konferencja Naukowa "Transport XXI wieku", Politechnika Warszawska, Wydział Transportu, Warszawa 2004.
• [8] Łapiak G. Wybrane programy sterowania w środowisku systemu operacyjnego OS9. Symulator funkcji zależnościowych SYMZAL 2004, praca magisterska, Wydział Transportu Politechniki Warszawskiej, Warszawa 2004.
• [9] Komputerowy system dla badania struktur sterowania ruchem kolejowym S2000, Politechnika Warszawska, Wydział Transportu, grant dziekański cz. 1., cz. 2., cz. 3. i cz. 4., odpowiednio w latach 1998/1999, 1999/2000, 2000/2001 i 2003.
• [10] Tarnai G., Schneider E., Formal Methods for Railway Operation and Control Systems, Proceedings of Symposium FORMS 2003, Budapest, May 15-16, 2003.
• [11] Traczyk W., Układy cyfrowe. Podstawy teoretyczne i metody syntezy, WNT, Warszawa,1984.
• [12] van Vlijmen S.F.M., Verification of the Vital Processor Interlocking, FMERail Workshop 1, 8-9 june 1996, Netherland,
• [13] Ważyński T. red., Sterowanie ruchem kolejowym, Wydawnictwa Komunikacji i Łączności, Warszawa, 1970.
• [14] Zabłocki W., Podstawy modelowania struktur funkcjonalnych systemów srk, Międzynarodowa Konferencja Naukowa Transport XXI wieku, Wydział Transportu PW i PAN, Warszawa 19-21 września 2001.
• [15] Zabłocki W., Modelowanie systemów sterowania ruchem kolejowym, „Komputerowe systemy wspomagania nauki, przemysłu i transportu”, Zakopane, grudzień 2003, prace naukowe Politechniki Radomskiej nr 1 (17) 2003.
• [16] Zabłocki W., Wybrane zagadnienia modelowania systemów sterowania ruchem kolejowym, „Komputerowe systemy wspomagania nauki, przemysłu i transportu”, Zakopane, grudzień 2005.
• [17] Zabłocki W., Modelowanie systemów sterowania ruchem kolejowym - struktury informacji i elementy opisu formalnego, prace naukowe TRANSPORT, zeszyt 57, Oficyna Wydawnicza PW, Warszawa 2006.
• [18] Zabłocki W., A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems, The Archives of Transport, vol. XVIII, No 3, Warszawa 2006.