Innowacyjna metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym

• Autorzy: Kawalec P. , Koliński D.

Warianty tytułu

EN

Innovative design and verification method for interlocking functions in railway traffic control systems

• Języki publikacji: PL

Abstrakty

PL

W artykule omówiono zasadnicze ograniczenia wynikające z cech technologii mikroprocesorowej zastosowanej w urządzeniach srk. Następnie przedstawiono nową metodę formalnego opisu funkcji zależnościowych, z wykorzystaniem teorii grafów, analizy systemowej, rachunku macierzowego oraz teorii automatów. Uwzględniając uniwersalność obiektów, zdekomponowano je na rozłączne części, tak, aby każda z nich realizowała jedną z funkcji zależnościowych realizowanych przez obiekt. Przedstawione działania zilustrowano przykładami.

EN

The paper presented general limitations of microprocessor technology used nowadays in railway control systems. Then a new formal description method for interlocking functions was developed using graphs theory, system analysis, matrix formulae and automata theory. Considering versatility of objects they were decomposed into separate parts, so that every part executes a single interlocking function. The design process was shown on several examples.

Słowa kluczowe

PL

sterowanie ruchem kolejowym; system zależnościowy; formalizacja opisu

EN

railway traffic control; dependence system; formal description

• Wydawca: Instytut Naukowo-Wydawniczy "TTS" Sp. z o.o
• Czasopismo: TTS Technika Transportu Szynowego
• Rocznik: 2013
• Tom: R. 20, nr 10
• Strony: 1575--1586, CD
• Opis fizyczny: Bibliogr. 7 poz., rys.

Twórcy

autor

Kawalec P.

• Politechnika Warszawska, Wydział Transportu

autor

Koliński D.

• Egis Poland Sp. z o.o.

Bibliografia

• 1. Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Funkcje, wspomagania, zarys techniki. Wydanie 2 poprawione. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2007 r.
• 2. Dąbrowa-Bajon M., Karbowiak H., Grochowski K.: Zasady projektowania systemów i urządzeń sterowania ruchem kolejowym. WKŁ, Warszawa, 1981 r.
• 3. Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie. Politechnika Warszawska, Prace Naukowe - Transport, z. 68, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2009 r.
• 4. Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Politechnika Warszawska, Prace Naukowe - Transport, z. 86, OWPW, Warszawa, 2012, str. 35 - 52.
• 5. Lewiński A.: Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego. Politechnika Radomska, Monografie Nr 49, Radom, 2001 r.
• 6. Strona UIC: www.uic.org/download.php/publication/505_05E.pdf
• 7. Zabłocki W.: Modelowanie stacyjnych systemów sterowania ruchem kolejowym. Politechnika Warszawska, Prace Naukowe - Transport, z. 65, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2008 r.