Wybrane zagadnienia formalizacji systemów 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 anagement systems for rail transport (9-11.12.2015 ; Zakopane, Polska)
• Języki publikacji: PL EN

Abstrakty

PL

W publikacji przedstawiono wybrane zagadnienia opisu formalnego na przykładzie opisu funkcji sprzeczności. Zamieszczony przykład opisu formalnego został poprzedzony rozważaniami dotyczącymi opisów nieformalnych i półformalnych w ogólnym odniesieniu do procesu projektowania systemu srk i tworzenia dokumentacji systemu. Proces tworzenia poprawnych i pełnych opisów n-p-f staje się istotny z punktu widzenia warunków bezpieczeństwa. Opracowane dokumenty i formy opisu systemu srk stają się bazowymi dokumentami dowodu bezpieczeństwa. Metoda opisu formalnego sprzeczności dróg przebiegów odwołuje się do analizy właściwości obiektów uczestniczących w drogach przebiegów, tj. uwzględnia szczegółowo właściwości obiektów drogi jazdy, drogi ochronnej i obiektów ochronnych. Zaproponowany przykład metody formalizacji pozwala określić wystarczające warunki sprzeczności. Jednakże proponuje się zachować tablicę zależności z wykazanymi sprzecznościami dróg przebiegów jako podstawową formę klasycznego opisu półformalnego.

EN

The publication presents selected issues of formal description on the example of the function description contradictions. Included example on formal description was preceded by considerations relating to informal and semi-formal descriptions in relation to the overall system design process ATC and system documentation. The process of creating the correct and complete, informal, semi-formal, formal descriptions becomes important from the point of view of safety requirements. Background documents and forms of SRK description of the system are treated as the base documents of proof of safety. The method of formal description of contradiction routes refers to the analysis of properties of objects involved in routes, taking into account the detailed properties of objects route (drive path, overlap path and protective object). The proposed formalization of such methods allows you to specify sufficient conditions of contradictions. However, it is proposed to keep the interlocking board according to the disclosed contradiction routes as the basic form of the classical semi-formal description.

Słowa kluczowe

PL

ruch kolejowy; systemy sterowania; komputer zależnościowy; droga przebiegu; sprzeczność dróg przebiegu; opis formalny

EN

railway traffic; control systems; interlocking computer; route (drive path, overlap path and protective object)

• 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: 2015
• Tom: Nr 3(107)
• Strony: 147--156
• Opis fizyczny: Bibliogr. 17 poz., rys.

Twórcy

autor

Zabłocki W.

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

Bibliografia

• [1] Buczyńska D., Wybrane zagadnienie opisu formalnego zależności stacyjnych ze szczególnym uwzględnieniem wykluczeń specjalnych. Praca magisterska, Politechnika Warszawska, Wydział Transportu, Warszawa 2015.
• [2] Fischer S., Teixeira H., Engell S., Systematic Specification of a Logic Controller for a Delayed Coking Drum. Proceedings of the 11th International Symposium on Process Systems Engineering, July 2012, Singapore.
• [3] Bolignano D., Le Metayer, Loiseaux C., Formal Methods in Practice: The Missing Links. A. Perspective from the Security Area. http://www.systemes-critiques.org/bolignano.pdf, w dniu 2015.11.02.
• [4] 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.
• [5] König N. H., The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project. Presentation for Polish Railways, 8 June 2004.
• [6] Maciejewski M., Metodyka budowy komputerowych systemów sterowania ruchem kolejowym. Rozprawa doktorska, Politechnika Warszawska, Wydział Transportu, Warszawa 2015.
• [7] 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.
• [8] 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, 87 – 100.
• [9] Norma PN-EN 50126: Zastosowania kolejowe. Specyfikowanie i wykazywanie nieuszkadzalności, dostępności i podatności utrzymaniowej i bezpieczeństwa (RAMS).
• [10] Norma PN-EN 50128: Zastosowania kolejowe. Łączność, sygnalizacja i systemy sterowania. Programy dla kolejowych systemów sterowania i zabezpieczenia.
• [11] Norma PN-EN 50129: Zastosowania kolejowe. Systemy łączności, przetwarzania danych i sterowania ruchem. Elektroniczne systemy sterowania ruchem.
• [12] Wymagania bezpieczeństwa dla urządzeń sterowania ruchem kolejowym – DG PKP KA nr KA2b-5400-01/98 z dnia 06.02.1998 r.
• [13] 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.
• [14] Zabłocki W., Podstawy opisu formalnego zależności stacyjnych., Prace naukowe TRANSPORT, Politechnika Warszawska, z. 62/2007.
• [15] Zabłocki W., Interlocking Functions of ATC Station System. The Archives of Transport, vol. 20, Warszawa 2008.
• [16] Zabłocki W., Modelowanie stacyjnych systemów sterowania ruchem kolejowym. Prace Naukowe TRANSPORT, z. 65, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2008.
• [17] Zabłocki W., Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk. Zeszyty Naukowo – Techniczne SITK Oddz. w Krakowie, nr 2(104)/2014, ISSN 1231-9155, Kraków 2014, 399 - 406.