Synteza funkcji należnościowych stacyjnego systemu srk

• Autorzy: Zabłocki W.

Warianty tytułu

EN

Synthesis of the interlocking functions of atc systems

• Konferencja: Konferencja Naukowo-Techniczna Nowoczesne technologie i systemy zarządzania w kolejnictwie (8 ; 02-04.12.2009 ; Zakopane, Polska)
• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono zarys metody formalizacji systemu srk. Podstawą formalizacji są własności drogi przebiegu analizowane zgodnie z zasadami bezpieczeństwa ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. Zaproponowana metoda formalizacji definiuje uporządkowane statyczne i dynamiczne struktury danych oraz relacje. Struktury informacji są podstawą konstrukcji relacji, które pozwalają sformułować funkcje i inne relacje zależnościowe systemu srk, a w tym i funkcje sprzeczności dróg przebiegów. Opis formalny relacji i funkcji zależnościowych umożliwia zredagowanie równań zależnościowych warunkujących algorytmizację sterowania. Rezultatem powyższych badań jest formalny (matematyczny) model systemu srk. Model i zbudowany na jego podstawie symulator stanowią narzędzia badawcze, które pozwalają nie tylko wnioskować o systemie srk, a także tworzyć system rzeczywisty.

EN

The outline of the method of rail traffic control systems have been presented in the paper. The features of routing analysed according to safety rules including in particular functions of contradictory functions are the basis of formalisation. The proposed formalisation method defines static and dynamic ordered database structures and relations. The information structures are the basis for creating the relations that allow defining functions and other interlocking relations of rail traffic control facilities including functions of contradictory routings. The formal description of interlocking relations and functions allows defining interlocking equations qualifying control algorithmisation. The result of research is formal (mathematic) model of rail traffic control system. Model and the simulator, constructed basing on it, compose the research tools used for drawing conclusions on rail traffic control facilities and for creating real facilities.

Słowa kluczowe

PL

transport; ruch kolejowy; system; sterowanie; modelowanie; opis formalny; droga przebiegu; przebieg; sprzeczność; relacje i funkcje zależnościowe

EN

transport; rail traffic; system; control; modelling; formal specification; rout; routing process; contradiction; interlocking relations and functions

• Wydawca: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej. Oddział w Krakowie
• Czasopismo: Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
• Rocznik: 2009
• Tom: Nr 91, z. 149
• Strony: 523--548
• Opis fizyczny: Bibliogr. 12 poz., wykr.

Twórcy

autor

Zabłocki W.

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

Bibliografia

• 1. Cheng A., M., K. Real-Time Systems. Scheduling, Analysis and Verification, Wiley-Interscience, New Jersey 2002.
• 2. Dąbrowa-Bajon M., Dutkiewicz J., Zabłocki W. Metodyka budowy komputerowych systemów sterowania ruchem na stacjach kolejowych. Postępy cybernetyki, 4, Warszawa 1988.
• 3. Findeisen W., red. Analiza systemowa -podstawy i metodologia, PWN, Warszawa 1985.
• 4. Fredholm D., Specifying an Interlocking System: The Alister Project, FMERail Workshop 4, May 1999, Netherland.
• 5. König N. H., The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project, Presentation for Polish Railways, 8 June 2004.
• 6. Kochan A., Łapiak G., Zabłocki W., Podstawy modelowania systemów srk - wybrane zagadnienia, „Transport XXI wieku”, Politechnika Warszawska, Wydział Transportu, Warszawa 2004.
• 7. Tarnai G., Schneider E., Formal Methods for Railway Operation and Control Systems, Proceedings of Symposium FORMS, May 15-16, 2003, Budapest.
• 8. Van Ylijmen S.F.M., Verification of the Vital Processor Interlocking, FMERail Workshop l, 8-9 june 1996, Netherland,
• 9. Zabłocki W., Wybrane zagadnienia modelowania systemów sterowania ruchem kolejowym, „Komputerowe systemy wspomagania nauki, przemysłu i transportu” Politechnika Radomska, 2005.
• 10. Zabłocki W., Modelowanie systemów sterowania ruchem kolejowym - struktury informacji i elementy opisu formalnego, Prace naukowe TRANSPORT, Politechnika Warszawska, 57/2006.
• 11. Zabłocki W., A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems, The Archives of Transport, vol. 18, Warszawa 2006.
• 12. Zabłocki W., Podstawy opisu formalnego zależności stacyjnych, Prace naukowe TRANSPORT, Politechnika Warszawska, z. 62/2007.