RADIOELECTRONIC AND COMPUTER SYSTEMS

The subject of research is to determine the functional safety indicators of a fault-tolerant safety-critical system, namely, the minimal cut sets’ probability for a given duration of the system’s operation, using the state transition diagram (STD). The aim is to create a new method for analyzing the functional safety of a fault-tolerant safety-critical system. This method is based on the methodology of developing models of operational reliability behavior in the form of STD. This methodology provides a detailed representation of inoperable states and their relation with pre-failure (inoperable critical) states. The task is to propose a new classification for inoperable states of the STD to obtain all possible emergencies in the same space of inoperable states. This approach allows consideration the correlations between the failures, that it is impossible to use the fault trees. Since the space of inoperable states can reach hundreds and thousands of states, a method is proposed for their automated determination according to the classification. The state space method was used to conduct the validation of the method of functional safety analysis. The following results were obtained: the system of Chapman-Kolmogorov differential equations is formed in accordance with the STD and it provides the dependence of the functional safety indicator – the minimal cut sets’ probability as a function of the operational duration of the fault-tolerant safety-critical system. This dependence is called the emergency function. The method for determining the emergency function is based on the usage of the emergency mask. Note that the proposed model of operational reliability behavior in the form of STD provides the possibility to conduct both the functional safety and the reliability indicators. The value of the minimal cut sets’ probability for a given duration of operation is determined using the fault tree for the validation of the proposed method of functional safety analysis. The fault tree was built by Reliasoft BlockSim software. The obtained value coincides with the value of the minimal cut sets’ probability, which was defined by the emergency function for the same operational duration. Thus, the designer can comprehensively analyze the feasibility of introducing redundancy (structural, temporal, functional). Conclusions: the scientific novelty of the obtained results is the following: the new method for determining safe, critical and catastrophic states in the set of inoperable states is used in the methodology of the STD developing to obtain the stochastic model of operational reliability behavior of fault-tolerant safety-critical system. This technique ensures an automated defining of emergency function by using an improved structural-automatic model.

functional safety; safety-critical system; reliability engineering; safety engineering; minimal cut sets; fault tree analysis; Markov analysis

Maurya, A., Kumar, D. Reliability of safety-critical systems: A state-of-the-art review. Quality and Reliability Engineering International, 2020, vol. 36, iss.7, pp. 2547-2568. DOI: 10.1002/qre.2715.

Knight, J. C. Safety critical systems: challenges and directions. 24th International Conference on Software Engineering ICSE 2002, 2002, pp. 547-550.

Kumar, P., Singh, L. K., Kumar, C. Performance evaluation of safety-critical systems of nuclear power plant systems. Nuclear Engineering and Technology, 2020, vol. 52, iss. 3, pp. 560-567. DOI: 10.1016/j.net.2019.08.018.

Rausand, М. Reliability of Safety-Critical Systems: Theory and Applications. John Wiley&Sons Publ., 2014. 480 p. DOI:10.1002/9781118776353.

IEC 61508-4:2010 – Functional safety of electrical/electronic/programmable electronic safety-related systems. Part 4: Definitions and abbreviations. Geneva, International Electrotechnical Commission Publ., 2010. 68 p.

Henley, E., Kumamoto, H. Probabilistic Risk Assessment and Management for Engineers and Scientists, Wiley-IEEE Press Publ., 2000. 600 p.

Center For Chemical Process Safety. Appendix D: Minimal cut set analysis. Guidelines for Chemical Process Quantitative Risk Analysis, Second Edition. John Wiley & Sons Publ., 2010, pp. 661-670. DOI: 10.1002/9780470935422.

Kohda, T. A Simple Method to Derive Minimal Cut Sets for a Non-coherent Fault Tree. International Journal of Automation and Computing, 2006, vol. 3, iss. 3, pp. 151–156. DOI: 10.1007/s11633-006-0151-4.

IEC 60812:2018 – Analysis techniques for system reliability – Procedure for failure mode and effects analysis (FMEA), Geneva, International Electrotechnical Commission Publ., 2018. 165 p.

MIL-STD-1629A, Military Standard: Procedures for Performing A Failure Mode, Effects, And Criticality Analysis. Department of Defense, Washington DC, 1998. 54 p.

Guidance on Failure Modes & Effects Analyses (FMEAs). M166, rev. 9. The International Marine Contractors Association, 2019. 99 p.

Stamatis, D. H. Risk Management Using Failure Mode and Effect Analysis (FMEA). ASQ Quality Press, 2019. 118 p.

Ozirkovskyy, L., Volochiy, B., Mashchak, A., Kulyk, I. Adequacy Increase of Assessment of Minimal Cut Sets Considering Latent Failures. Central European Researchers Journal, 2019, vol. 5, iss. 2, pp. 58-66.

Aslansefat, K., Kabir, S., Gheraibia, Y., Papadopoulos, Y. Dynamic Fault Tree Analysis: State-of-the-Art in Modeling, Analysis, and Tools. In Book Reliability Management and Engineering. 1 Edition: Chapter 4. CRC Press, 2020. 40 p. DOI: 10.1201/9780429268922.

Čepin, M., Mavko, B. A dynamic fault tree. Reliability Engineering & System Safety, 2002, vol. 75, iss. 1, pp. 83-91. DOI:10.1016/S0951-8320(01)00121-1.

Boudali, H., Crouzen, P., Stoelinga, M. Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), 2007, pp. 708-717, DOI: 10.1109/DSN.2007.37.

Kvassay, M., Kostolny, J. Minimal Cut Sets and Path Sets in Binary Decision Diagrams and logical differential calculus. 10th International Conference on Digital Technologies, Zilina, 2014, pp. 179-186. DOI: 10.1109/DT.2014.6868712.

Pedro, F., Marquez, G. Binary Decision Diagrams applied to Fault Tree Analysis. 4th IET International Conference on Railway Condition Monitoring, Derby, UK, 2008, pp. 1-5. DOI: 10.1049/ic:20080314.

Cui, L., Frenkel, I., Lisnianski, A. Stochastic Models in Reliability Engineering. CRC Press, 2020. 478 p. DOI: 10.1201/9780429331527.

Wang, R. Reliability Evaluation Techniques. Energy-Efficient Fault-Tolerant Systems, 2014, pp. 11-97. DOI: 10.1007/978-1-4614-4193-9.

Collins, R. Markov Models: Theory, Algorithms and Applications. CreateSpace Independent Publishing Platform, 2017. 58 р.

Kharchenko, V., Kovalenko, A., Ruchkov, E., Babeshko, I. Reliability Assessment of Multi-cascade Redundant Systems Considering Failures of Intermodular and Bridge Communications. Theory and Engineering of Dependable Computer Systems and Networks. DepCoS-RELCOMEX 2021. Advances in Intelligent Systems and Computing, 2021, vol. 1389, pp. 179-188. DOI: 10.1007/978-3-030-76773-0_18.

Li, H., Zhao, Q. A cut/tie set method for reliability evaluation of control systems. American Control Conference, 2005, pp. 1048-1053. DOI: 10.1109/ACC.2005.1470099.

Geiger, B., Temmel, C. Information-Preserving Markov Aggregation. IEEE Information Theory Workshop, 2013, pp. 258-262. DOI: 10.48550/arXiv.1304.0920.

Bobalo, Yu., Volochiy, B., Lozynsky, O., Mandzii, B., Ozirkovskiy, L., Fedasyuk, D., Scherbovskikh, S., Yakovyna, V. Matematychni modeli ta metody analizu nadiynosti radioelektronnykh, elektrychnykh ta prohramnykh system [Mathematical models and methods of reliability analysis of radioelectronic, electrical and software systems]. Lviv Polytechnic Publishing House, 2013. 300 p.

Volochiy, B., Mandziy, B., Ozirkovskyi, L. Extending the features of software for reliability analysis of fault-tolerant systems. Computational Problems of Electrical Engineering, 2012, vol. 2, no. 2, pp. 113-121.

Ponochovnyy, Yu. L., Kharchenko, V. S. Metodolohiya zabezpechennya harantozdatnosti informatsiyno-keruyuchykh system z vykorystannyam bahatotsil'ovykh stratehiy obsluhovuvannya [Dependability Assurance Methodology of Information and Control Systems Using Multipurpose Service Strategies]. Radioelektronni i komp'uterni sistemi – Radioelectronic and Computer Systems, 2020, no. 3(95), pp. 43-58. DOI: 10.32620/reks.2020.3.05.

Volochiy, B., Mandziy, B., Ozirkovskyy, L. The New Method of Building a Safety Model for Quantitative Risk Assessment of Complex Technical Systems for Critical Application. Communications in Computer and Information Science, 2016, vol. 594, pp. 56-70. DOI: 10.1007/978-3-319-30246-1_4.

Ozirkovskyy, L., Pashchuk, Yu., Mashchak, A., Volochiy, S. The Automation of the Exploitation Risks Assessment of the Navigation Information System of Air Drones. XIIIth International Conference TCSET’2016 Modern Problems of Radio Engineering, Telecommunications, and Computer Science, 2016, pp. 140-144. DOI: 10.1109/TCSET.2016.7451993.

Volochiy, B., Ozirkovskyy, L., Mulyak, O., Volochiy, S. Safety estimation of critical NPP I&C systems via state space method. 2nd International Symposium on Stochastic Models in Reliability Engineering, Life Science, and Operations Management, SMRLO 2016, 2016, pp. 347–356. DOI: 10.1109/SMRLO.2016.63.