Karol Rastocny, Jiri Zahradnik: Quantitative Approach to Safety Assessment of the Railway Interlocking System CSIT 2000 : 202-209
The paper deals with a quantitative approach to safety assessment process applicable to the safety-related system, specially the railway interlocking one. The authors present the methodology based on the Failure Mode and Effects Analysis (FMEA) and the Fault Tree Analysis (FTA) that is applicable to performing safety analysis of both electronic and computer based systems. The mathematical basis for the FTA is detailed, with a special attention paid to the mechanism used to determine probability of hazardous events based on primary event occurrence. For the sake of better understanding, examples of Markov's graphs for a different number of simultaneous hazardous faults are given. Relation between the presented approach and European Standards is indicated.
Copyright © 2000 by the Institute for Contemporary Education "JurInfoR-MSU". Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the CSIT copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Institute for Contemporary Education JMSUICE. To copy otherwise, or to republish, requires a fee and/or special permission from the JMSUICE.
Heinz Schweppe and Yuri S. Kabalnov (Eds.): CSIT'2000, Proceedings of 2nd International Workshop on Computer Science and Information Technologies, September 18-23, 2000, Ufa, Russia. USATU Publishers & JurInfoR-MSU Publishing 2000, ISBN 5-86911-312-1