Multi-fragmental and Multi-phase Availability Models of the Safety-critical I&C Systems with Two-cascade Redundancy
Abstract
Traditional availability, reliability, and safety models face the dimension problem due to a huge number of components in modern systems, motivating further research in this field. This paper focuses on multi-fragmental and multiphase models for availability and functional safety assessment of the information and control (I&C) systems with two-cascade redundancy considering design faults manifestation during operation. The methodology of the research is based on Markov and semi-Markov chains with the utilization of multi-phase modeling. Several multi-phase models are developed and investigated considering different conditions of operation and failures caused by version faults. The case study of the research is based on the analysis of safety-critical nuclear power plant I&C systems such as the reactor trip systems developed using the programmable platform RadICS.References
FPGA-Based Safety Platform RadICS https://www.exida.com/SAEL-Safety/rpc-radiy-fpga-based-safety-controller-fsc-radics
IAEA Safety Standards Series No. SSG-2 (Rev. 1). Deterministic Safety Analysis for Nuclear Power Plants. 2019. https://www-pub.iaea.org/MTCD/publications/PDF/PUB1851_web.pdf
S.-M. Shin, S. H. Lee, S. K. Shin, I. Jang, and J. Park, “STPA-based hazard and importance analysis on NPP safety I&C systems focusing on human–system interactions,” Reliability Engineering & System Safety, vol. 213, p. 107698, 2021. https://doi.org/10.1016/j.ress.2021.107698
S. J. Lee et al., “Bayesian belief network model quantification using distribution-based node probability and experienced data updates for software reliability assessment,” IEEE Access, vol. 6, pp. 64556–64568, 2018. https://doi.org/10.1109/access.2018.2878376
M. R. Mamdikar, V. Kumar, and P. Singh, “Dynamic Reliability Analysis Framework Using Fault Tree and Dynamic Bayesian Network: A Case Study of NPP,” Nuclear Engineering and Technology, vol. 54, no. 4, pp. 1213–1220, 2022. https://doi.org/10.1016/j.net.2021.09.038
O. Illiashenko and E. Babeshko, “Choosing FMECA-based techniques and tools for safety analysis of Critical Systems,” Information & Security: An International Journal, vol. 28, pp. 275–285, 2012. https://doi.org/10.11610/isij.2822
Z. Zeng, Y.-P. Fang, Q. Zhai, and S. Du, “A Markov reward process-based framework for resilience analysis of Multistate Energy Systems under the threat of extreme events,” Reliability Engineering & System Safety, vol. 209, p. 107443, 2021. https://doi.org/10.1016/j.ress.2021.107443
S. Kaalen, M. Nyberg, and C. Bondesson, “Tool-supported dependability analysis of Semi-Markov processes with application to autonomous driving,” 2019 4th International Conference on System Reliability and Safety (ICSRS), 2019. https://doi.org/10.1109/icsrs48664.2019.8987701
F. Felgner and G. Frey, “Multi-phase Markov models for functional safety prediction: Efficient simulation of Markov models used for safety engineering and the online integration of individual systems’ diagnostic and maintenance history,” 2011 3rd International Workshop on Dependable Control of Discrete Systems, 2011. https://doi.org/10.1109/dcds.2011.5970331
K. Bobrovnikova, S. Lysenko, B. Savenko, P. Gaj, O. Savenko. Technique for IoT malware detection based on control flow graph analysis, Radioelectron. Comput. Syst. 2022, 1, pp. 141-153, https://doi.org/10.32620/reks.2022.1.11
A. Avizienis, J.-C. Laprie, B. Randell and C. Landwehr, “Basic concepts and taxonomy of dependable and secure computing,” IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33, Jan.-March 2004, https://doi.org/10.1109/TDSC.2004.2. Trivedi 2017
K.S. Trivedi, A. Bobbio, “Reliability and Availability Engineering—Modeling, Analysis, and Applications;” Cambridge University Press: Cambridge, UK, 2017; pp. 1–730
L. Ozirkovskyy, B. Volochiy, O. Shkiliuk, M. Zmysnyi, P. Kazan, “Functional Safety Analysis of Safety-Critical System Using State Transition Diagram”, Radioelectron. Comput. Syst. 2022, 1, pp. 145–158, https://doi.org/10.32620/reks.2022.2.12
V. Kovtun, I. Izonin, and M. Gregus, “The functional safety assessment of cyber-physical system operation process described by Markov chain”, Sci Rep 12, 7089 (2022). https://doi.org/10.1038/s41598-022-11193-w
A. Farahani, A. Shoja, and H. Tohidi, “Markov and semi-Markov models in system reliability,” in Engineering Reliability and Risk Assessment, Elsevier, 2023, pp. 91-130, https://doi.org/10.1016/B978-0-323-91943-2.00010-1
V. Kharchenko, Y. Ponochovnyi, E. Ruchkov, and E. Babeshko, “Safety Assessment of the two-cascade redundant information and control systems considering faults of versions and supervision means,” New Advances in Dependability of Networks and Systems, pp. 88–98, 2022. https://doi.org/10.1007/978-3-031-06746-4_9
V. Kharchenko, Y. Ponochovnyi, I. Babeshko, E. Ruchkov, and A. Panarin, “Safety assessment of maintained control systems with Cascade Two-version 2oo3/1oo2 structures considering version faults,” Lecture Notes in Networks and Systems, pp. 119–129, 2023. https://doi.org/10.1007/978-3-031-37720-4_11
V. Kharchenko, Y. Ponochovnyi, O. Ivanchenko, H. Fesenko, and O. Illiashenko, “Combining markov and semi-markov modeling for assessing availability and cybersecurity of Cloud and IOT Systems,” Cryptography, vol. 6, no. 3, p. 44, 2022. https://doi.org/10.3390/cryptography6030044
Downloads
Published
Issue
Section
License
Copyright (c) 2024 International Journal of Electronics and Telecommunications
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
1. License
The non-commercial use of the article will be governed by the Creative Commons Attribution license as currently displayed on https://creativecommons.org/licenses/by/4.0/.
2. Author’s Warranties
The author warrants that the article is original, written by stated author/s, has not been published before, contains no unlawful statements, does not infringe the rights of others, is subject to copyright that is vested exclusively in the author and free of any third party rights, and that any necessary written permissions to quote from other sources have been obtained by the author/s. The undersigned also warrants that the manuscript (or its essential substance) has not been published other than as an abstract or doctorate thesis and has not been submitted for consideration elsewhere, for print, electronic or digital publication.
3. User Rights
Under the Creative Commons Attribution license, the author(s) and users are free to share (copy, distribute and transmit the contribution) under the following conditions: 1. they must attribute the contribution in the manner specified by the author or licensor, 2. they may alter, transform, or build upon this work, 3. they may use this contribution for commercial purposes.
4. Rights of Authors
Authors retain the following rights:
- copyright, and other proprietary rights relating to the article, such as patent rights,
- the right to use the substance of the article in own future works, including lectures and books,
- the right to reproduce the article for own purposes, provided the copies are not offered for sale,
- the right to self-archive the article
- the right to supervision over the integrity of the content of the work and its fair use.
5. Co-Authorship
If the article was prepared jointly with other authors, the signatory of this form warrants that he/she has been authorized by all co-authors to sign this agreement on their behalf, and agrees to inform his/her co-authors of the terms of this agreement.
6. Termination
This agreement can be terminated by the author or the Journal Owner upon two months’ notice where the other party has materially breached this agreement and failed to remedy such breach within a month of being given the terminating party’s notice requesting such breach to be remedied. No breach or violation of this agreement will cause this agreement or any license granted in it to terminate automatically or affect the definition of the Journal Owner. The author and the Journal Owner may agree to terminate this agreement at any time. This agreement or any license granted in it cannot be terminated otherwise than in accordance with this section 6. This License shall remain in effect throughout the term of copyright in the Work and may not be revoked without the express written consent of both parties.
7. Royalties
This agreement entitles the author to no royalties or other fees. To such extent as legally permissible, the author waives his or her right to collect royalties relative to the article in respect of any use of the article by the Journal Owner or its sublicensee.
8. Miscellaneous
The Journal Owner will publish the article (or have it published) in the Journal if the article’s editorial process is successfully completed and the Journal Owner or its sublicensee has become obligated to have the article published. Where such obligation depends on the payment of a fee, it shall not be deemed to exist until such time as that fee is paid. The Journal Owner may conform the article to a style of punctuation, spelling, capitalization and usage that it deems appropriate. The Journal Owner will be allowed to sublicense the rights that are licensed to it under this agreement. This agreement will be governed by the laws of Poland.
By signing this License, Author(s) warrant(s) that they have the full power to enter into this agreement. This License shall remain in effect throughout the term of copyright in the Work and may not be revoked without the express written consent of both parties.
