The semi-functional and reliability modelling of railway control system

• Autorzy: Lewiński A. , Sumiła M.

Warianty tytułu

PL

Semi-funkcjonalne i niezawodnościowe modelowanie kolejowych systemów sterowania

• Konferencja: "Transport Systems Telematics TST' 03". III International Conference, Katowice-Ustroń, 13-15 November 2003
• Języki publikacji: PL

Abstrakty

PL

Poprawne modelowanie kolejkowych systemów sterowania wymaga uwzględnienia wielu parametrów mających wpływ na pracę systemu w warunkach bezpieczeństwa. Wymaga to analizy zarówno pod kątem urządzeń jak i oprogramowania takich systemów. W artykule za przykład posłużył model samoczynnej sygnalizacji przejazdowej, gdyż odpowiada on najwyższemu poziomowi bezpieczeństwa, tzw. fail-safe, wg międzynarodowych standardów CENELEC. Zakładając Markowski charakter procesów wyznaczono szereg zasadniczych parametrów tego systemu.

EN

The correct and reliable software, properly integrated with hardware, allows analysing the safety on the system integrity level using quantity measures determined corresponding to typical reliability and maintenance numbers of parameters. Paper presents that a safety related raiway control system have to be described by several numbers of parameters. In the consequence it allows to determine system integrity level. An example presents a model of a safety railroad control system, which respect UE standards.

Słowa kluczowe

PL

system sterowania koleją; bezpieczeństwo; model Markova

EN

railway control system; safety; Marcov model

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Zeszyty Naukowe. Transport / Politechnika Śląska
• Rocznik: 2003
• Tom: z. 51
• Strony: 327--335
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Lewiński A.

• Faculty of Transport, Radom University of Technology, 26-600 Radom

autor

Sumiła M.

• Division of Transport Telecommunication, Warsaw University of Technology, Koszykowa 79, 02-008 Warsaw

Bibliografia

• [1] Bezpieczeństwo systemów sterowania ruchem kolejowym, Polska norma ZN-91/MTiGM-CBP-12, 1991.
• [2] CICHOCKI T., GÓRSKI J.: Safety assessment of computerized railway signalling equipment, Munich - Germany 1999.
• [3] DĄBROWA-BAJON M., KONOPIŃSKI L., LEWIŃSKI A.: Wybrane komputerowe systemy sterowania ruchem kolejowym na tle europejskich zaleceń normalizujących, Problemy kolejnictwa, Zeszyt 116, 1994.
• [4] H0YLAND A., RAUSAND M.: System Reliability Theory. Models and Statistical Methods, JOHN WILEY & SONS, INC. Toronto, New York 1994.
• [5] KONOPIŃSKI L., LEWIŃSKI A.: System wspomagający ocenę niezawodności komputerowych systemów sterowania ruchem kolejowym, materiały konferencyjne KONBIN, Szczyrk 2001.
• [6] LEWIŃSKI A.: Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego, Seria Monografie Nr 49, Wydawnictwo Politechniki Radomskiej, Radom, 2001.
• [7] Railway Application: The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS), European Standard EN 50126, CENELEC September 1999.
• [8] Railway Applications: Communication, signaling and processing systems - Software for railway control and protection systems, European Standard EN 50128, CENELEC March 2001.
• [9] Railway applications: Safety Related Electronic Railway Control and Protection Systems, report on the standard EN 50129, CENELEC 1997.
• [10] SUMILA M.: Próba realizacji oprogramowania bezpiecznego SRK z wykorzystaniem technik obiektowych, VII konferencji „TRANSCOMP” Zakopane 2003.