Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk

• Autorzy: Zabłocki W.

Warianty tytułu

EN

Question contradictions and special exclusions in technology railway traffic control

• Konferencja: Nowoczesne Technologie i Systemy Zarządzania w Transporcie Szynowym = Modern Technologies and Management Systems for Rail Transport (3-5.12.2014 ; Zakopane, Polska)
• Języki publikacji: PL EN

Abstrakty

PL

W publikacji przedstawiono specyfikację dokumentacji wymaganej przy opracowywaniu założeń i projektowaniu komputerowych systemów sterownia ruchem. Istotnym zagadnieniem projektowania takich systemów jest automatyzacja utworzenia tablicy zależności z wykazem sprzecznych dróg przebiegów. Zalgorytmizowanie wyznaczania sprzeczności dróg przebiegów wymaga opracowania metody pozwalającej formalizować relacje sprzeczności. Podstawą formalizacji są szczegółowe właściwości obiektów drogi przebiegu i ich analiza zgodna z zasadami bezpieczeństwa, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. W projektowaniu komputerowych systemów sterowania powstaje dylemat: czy wyznaczenie funkcji sprzeczności spełnia także wymagania dotyczące sprzeczności dróg przebiegów o wykluczeniach specjalnych. Zaproponowana metoda formalizacji sprzeczności pozwala określić wystarczający warunek sprzeczności, który odnosi się także do wykluczeń specjalnych. Jednakże proponuje się zastosowanie klasycznej tablicy zależności z wykazanymi sprzecznościami dróg przebiegów i wykluczeniami specjalnymi. Oznaczenie wykluczeń specjalnych będzie stanowić dodatkowy czynnik bezpieczeństwa systemu srk.

EN

The publication presents the specifications of the documentation required in developing of the assumptions and designing computer systems for traffic control. Another important issue is the design of such systems is to automatically create an array according to a list of conflicting routes. Algorithmization of determination of contradictions routes requires to develop a method to formalize the relations conflict. The basis of formalizing are detailed properties of the route objects and analysis consistent with the safety regulations, with particular emphasis on routes contradiction function. In the design of computer control systems arises dilemma whether design of contradiction functions also meets the requirements for routes contradiction with the special exclusion. The proposed method of contradiction formalization allows to determine sufficient condition for conflict, which also applies to the special exclusions. However, it is proposed to apply the classic array interlocking to the disclosed conflicts of routes and special exclusions. Marking of special exclusions will be an additional safety factor of the train control system (ATC).

Słowa kluczowe

PL

ruch kolejowy; systemy sterowania; komputer zależnościowy; droga przebiegu; sprzeczność dróg przebiegu; wykluczenia specjalne dróg przebiegów; funkcje zależnościowe

EN

railway traffic; control systems; interlocking computer; route (drive path, overlap path and protective object); contradiction routes; special exclusion routes; interlocking function of ATC

• 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: 2014
• Tom: Nr 2(104)
• Strony: 399--406
• Opis fizyczny: Bibliogr. 14 poz., rys.

Twórcy

autor

Zabłocki W.

• Politechnika Warszawska, Wydział Transportu, ul. Koszykowa 75, 00-662 Warszawa, tel. [phone]

Bibliografia

• [1] Instrukcja o prowadzeniu ruchu pociągów Ir-1 (R-1), tekst ujednolicony przyjęty uchwałą Nr 176/2008 oraz zarządzeniami Nr 3/2011 i Nr 13/2014 Zarządu PKP Polskie Linie Kolejowe S.A.
• [2] Koliński D., Metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym, praca doktorska, Politechnika Warszawska, Wydział Transportu, Warszawa 2013.
• [3] König N. H., The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project, Presentation for Polish Railways, 8 June 2004.
• [4] Maciejewski M., Zabłocki W., Basis of the Formalization and the Algorithmization of the Control Functions in ATC Systems, Communications in Computer and Information Science, Transport Systems Telematics, Nr 104, Springer Verlag, Berlin - Haidelberg 2010, 253 – 262.
• [5] Maciejewski M., Zabłocki W., Metoda tworzenia funkcji i równań zależnościowych w systemach srk, Logistyka, nr 4/2010.
• [6] Maciejewski M., Zabłocki W., Wybrane problemy tworzenia funkcji i równań zależnościowych w systemach srk, Prace Naukowe, Politechnika Warszawska, seria Transport, z. 72, Warszawa 2010, s. 87 – 100.
• [7] Słownik pojęć i skrótów, KSR/03/09, Politechnika Warszawska, Wydział Transportu, Warszawa, 2009.
• [8] van Vlijmen S.F.M., Verification of the Vital Processor Interlocking, FMERail Workshop 1, 8 – 9 june 1996, Netherland.
• [9] Wymagania bezpieczeństwa dla urządzeń sterowania ruchem kolejowym – DG PKP KA nr KA2b-5400-01/98 z dnia 06.02.1998r.
• [10] Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym Ie-4 (WTB-E10), Załącznik do zarządzenia Nr 1/2014 Zarządu PKP Polskie Linie Kolejowe S.A. z dnia 14 stycznia 2014.
• [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.
• [13] Zabłocki W., Interlocking Functions of ATC Station System, The Archives of Transport, vol. 20, Warszawa 2008.
• [14] Zabłocki W., Modelowanie stacyjnych systemów sterowania ruchem kolejowym, Prace Naukowe TRANSPORT, zeszyt 65, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2008.