Abstract
Each safety function (SF) which is realized by an interlocking system (IS) have to be subjected to proving safety. Proving safety is also about the evaluation of a random failures safety integrity level of the safety function. In the case of modern (electronic) interlocking systems, the evaluation of the influence of multiple failures is based on using graphic-mathematical models. If safety function is realized on multiple levels of the interlocking system, then the creation of the model is demanding on an analyst’s work and by that a probability of an analyst’s mistake is also increasing. This paper describes the procedure of the creation of the model which is based on the decomposition of the interlocking system into individual submodels with exactly defined logical links. Knowledge of basic parameters of submodels and knowledge of logical links of submodels allows to merge submodels into one model and to calculate a hazard rate for the evaluated safety function. Fault Tree Analysis (FTA) is used as a basic method. Input parameters for a quantitative part of FTA (parameters of basic events) are defined by Markov Chain.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Einer, S., Slovák, R., Schnieder, E.: Modeling train control systems with Petri nets-an operational specification. In: 2000 IEEE International Conference on Systems, Man, and Cybernetics, 8–11 October 2000, vol. 5, pp. 3207–3211 (2000)
Rástočný, K., Ždánsky, J.: Hazardous failure rate of the safety function. In: Mikulski, J. (ed.) TST 2015. CCIS, vol. 531, pp. 284–291. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24577-5_28
Rástočný, K., et al.: Quantitative assessment of safety integrity level of message transmission between safety-related equipment. J. Comput. Inform. 33, 1001–1026 (2014)
Rástočný, K., et al.: Modelling of hazards effect on safety integrity of open transmission systems. J. Comput. Inform. 35, 470–496 (2016)
EN 50129: Railway applications – Communication, signalling and processing systems – Safety related electronic systems for signalling (2003)
EN 60812: Analysis techniques for system reliability – Procedure for failure mode and effects analysis (FMEA) (2006)
EN 61078: Analysis techniques for dependability - Reliability block diagram and boolean methods (2006)
EN 61025: Fault tree analysis (2007)
EN 61165: Application of Markov techniques (2007)
EN 62551: Analysis techniques for dependability - Petri net techniques (2012)
Ilavský, J., Rástočný, K.: Considerations of the recovery in 2-out-of-3 safety-related control system. In: 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems, PDeS, Brno, Czech Republic, 23–25 May (2012)
Rástočný, K., Franeková, M., Balák, J.: Failure effects analysis by multiple random variable. In: Mikulski, J. (ed.) TST 2017. CCIS, vol. 715, pp. 424–435. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66251-0_34
Rástočny, K., Ilavský, J.: Effects of a periodic maintenance on the safety integrity level of a control system. In: Schnieder, E., Tarnai, G. (eds.) FORMS/FORMAT 2010, pp. 77–85. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-14261-1_8
Fujiwara, T., et al.: A method of calculating safety integrity level for IEC 61508 conformity software. In: 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC): Proceedings Paper, Pasadena, CA, USA, 12–14 December, pp. 296–301 (2011)
Yamada, S., Nishikawa, T.: Quantitative assessment for software safety integrity level with functional safety standards and risk costs. Int. J. Reliab. Qual. Saf. Eng. 21(6) (2014)
Acknowledgement
This paper has been supported by the Educational Grant Agency of the Slovak Republic (KEGA) Number 034ŽU-4/2016: Implementation of modern technologies focusing on control using the safety PLC into education.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Balák, J., Rástočný, K. (2018). Mathematical Model for Safety Evaluation of Distributed Interlocking System. In: Mikulski, J. (eds) Management Perspective for Transport Telematics. TST 2018. Communications in Computer and Information Science, vol 897. Springer, Cham. https://doi.org/10.1007/978-3-319-97955-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-97955-7_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-97954-0
Online ISBN: 978-3-319-97955-7
eBook Packages: Computer ScienceComputer Science (R0)