Identyfikatory
Warianty tytułu
Innovative design and verification method for interlocking functions in railway traffic control systems
Języki publikacji
Abstrakty
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.
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.
Czasopismo
Rocznik
Tom
Strony
1575--1586, CD
Opis fizyczny
Bibliogr. 7 poz., rys.
Twórcy
autor
- Politechnika Warszawska, Wydział Transportu
autor
- 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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-1590aadd-4be9-458b-ac74-23d9fdf9a7fe