Semi-formal methods in safety railway control systems validation

• Autorzy: Magott J. , Lewiński A. , Perzyński T
• Języki publikacji: EN

Abstrakty

EN

Th e paper deals with extending the obligatory methods of safety proof of railway control and management computer systems towards more formalized methods based on mathematical apparatus. Such semi-formal methods are recommended by existing EU standards for the design, but also to demonstrate safe operation in accordance with the principle of the rail fail-safe rule, where no single error does not lead to catastrophic situations. Th e paper proposes an extension method of FTA (Fault Tree Analysis) method to FTTD (Fault Tree with Time Dependencies), and an analysis of THR method (Tolerable Hazard Rate) to the analysis of probability of catastrophic fault based on stationary Markov processes. Basic methods and their extension are shown on typical examples of rail automation systems: cross-level protection system and interlocking system.

Słowa kluczowe

EN

safety analysis; railway control computer system; THR; FTA; FTTD method; Markov process analysis

PL

analiza bezpieczeństwa; komputerowe systemy sterowania ruchem kolejowym; THR; FTA; metoda FTTD; analiza procesu Markowa

• Wydawca: Polskie Stowarzyszenie Telematyki Transportu
• Czasopismo: Archives of Transport System Telematics
• Rocznik: 2013
• Tom: Vol. 6, iss. 1
• Strony: 32--36
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Magott J.

• Wrocław University of Technology, Faculty of Electronics, Janiszewskiego 11/17, 50-371 Wrocław, Poland

autor

Lewiński A.

• University of Technology and Humanities in Radom, Faculty of Transport and Electrical Engineering, Malczewskiego 29, 26-600 Radom, Poland

autor

Perzyński T

• University of Technology and Humanities in Radom, Faculty of Transport and Electrical Engineering, Malczewskiego 29, 26-600 Radom, PolandPerzyński

Bibliografia

• [1] KOMBUD S.A. Technical Documentation
• [2] LEWIŃSKI A, PERZYŃSKI T., TORUŃ A.: Risk Analysis as a Basic Method of Safety Transmission System Certification. CCiS vol. 239. Springer 2011’.
• [3] LEWIŃSKI A., PERZYŃSKI T., TORUŃ A.: The Analysis of Open Transmission Standards in Railway Control and Management. In J. Mikulski (Ed.): TST 2012, CCiS vol. 329, pp. 10-17, Springer, Heidelberg (2012)
• [4] LEWIŃSKI A., PERZYŃSKI T.: Th e reliability and safety of railway control systems based on new information technologies. in J. Mikulski (Ed.): TST 2010, CCiS vol. 104, pp. 427-433, Springer, Heidelberg (2010)
• [5] LEWIŃSKI, A., PERZYŃSKI, T., TORUŃ A.: The risk analysis as a basic designed methods of safety open network transmission applied in railway control systems. Logistyka 03/2011, (in Polish)
• [6] MAGOTT J., LEWIŃSKI A., SKROBANEK P., TORUŃ A.: The FTTD method application to the safety analysis of Changeable Block Distance System, in J. Mikulski (Ed.): TST 2012, CCiS vol. 329, pp. 267-275, Springer, Heidelberg (2012)
• [7] Military Hand Book, Reliability Prediction of Electronic Equipment, USA Department of Defence (1991)
• [8] Perzyński, T.: The problems of safety of computer nets applied in the railway control. PhD dissertation - Technical University of Radom, Faculty of Electric Engineering and Transport, Radom (2009), (in Polish)
• [9] Standard PN-EN 50129:2003 Railway applications - Communication, signalling and processing systems – Safety related electronic systems for signalling
• [10] Standard PN-EN 50159 – 2010. Railway applications - Communication, signalling and processing systems - Safety related communication in transmission systems.
• [11] Standard PN-IEC 1025:1994 - Fault tree analysis (FTA).
• [12] Standards PN-EN 50126 - “Railway application – The specification and Demonstration of Reliability, Availability, Maintainability and Safety RAMS”.