Integrating reliability analysis into MBSE for FPGA-based safety critical I&C system design in nuclear power plants

References

Babeshko, E., Bakhmach, I., Kharchenko, V., Ruchkov, E., and Siora, O. (2017). Operating reliability assessment of FPGA-based NPP I&C systems: approach, technique and implementation. In: Proceedings of the 2017 25th international conference on nuclear engineering. July 2–6, 2017. ASME, Shanghai, China, V001T04A026.Search in Google Scholar

Chong, J., Zhou, H., Wang, M., and Chen, Y. (2023). A design framework for complex spacecraft systems with integrated reliability using MBSE methodology. In: Sun, J., Wang, Y., Huo, M., and Xu, L. (Eds.), Signal and information processing, networking and computers. Lecture notes in electrical engineering, Vol. 917. Springer, Singapore, pp. 165–173, https://doi.org/10.1007/978-981-19-3387-5_19.Search in Google Scholar

de Andrade Melani, A.H. and de Souza, G.F.M. (2020). Obtaining fault trees through SysML diagrams: a MBSE approach for reliability analysis. In: Annual reliability and maintainability symposium (RAMS). Institute of Electrical and Electronics Engineers, Palm Springs, CA, USA, pp. 1–5.10.1109/RAMS48030.2020.9153658Search in Google Scholar

Elakrat, M.A. and Jung, J.C. (2018). Development of field programmable gate array–based encryption module to mitigate man-in-the-middle attack for nuclear power plant data communication network. Nucl. Eng. Technol. 50: 780–787, https://doi.org/10.1016/j.net.2018.01.018.Search in Google Scholar

Friedenthal, S., Griego, R., and Sampson, M. (2007). INCOSE model based systems engineering (MBSE) initiative. INCOSE 2007 Symposium, San Diego, CA, USA. https://www.researchgate.net/publication/267687693.Search in Google Scholar

Gough, K.M. and Phojanamongkolkij, N. (2018). Employing model-based systems engineering (MBSE) on a NASA aeronautic research project: a case study. In: 2018 aviation technology, integration, and operations conference. AIAA, Atlanta, Georgia.10.2514/6.2018-3361Search in Google Scholar

Hecht, M., Dimpfl, E., and Pinchak, J. (2014). Automated generation of failure modes and effects analysis from SysML models. In: Proceedings - IEEE 25th international Symposium on software reliability engineering workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., Naples, Italy, pp. 62–65.10.1109/ISSREW.2014.117Search in Google Scholar

Hu, Y., Peng, Q., Ni, Q., Wu, X., and Ye, D. (2023). Event-based safety and reliability analysis integration in model-based space mission design. Reliab Eng Syst Saf 229: 108866, https://doi.org/10.1016/j.ress.2022.108866.Search in Google Scholar

IAEA (2016). Design of Instrumentation and control Systems for nuclear power plants, IAEA Safety Standards Series No. SSG-39. International Atomic Energy Agency, Vienna, Austria.Search in Google Scholar

IEC (2010). Functional safety of electrical/electronic/programmable electronic safety-related systems. International Electrotechnical Commission, IEC 61508, London, UK.Search in Google Scholar

IEC (2012). Nuclear power plants—Instrumentation and control Important to safety—Development of HDL-programmed integrated Circuits for systems performing category A functions. International Electrotechnical Commission, IEC 62566.Search in Google Scholar

John, A.K. and Bhattacharjee, A.K. (2020). Qualification of hardware description language designs for safety critical applications in nuclear power plants. IEEE Trans. Nucl. Sci. 67: 502–507, https://doi.org/10.1109/TNS.2020.2972903.Search in Google Scholar

Kharchenko, V., Kovalenko, A., Siora, O., and Sklyar, V. (2015). Security assessment of FPGA-based safety-critical systems: US NRC requirements context. In: 2015 international conference on information and digital technologies, pp. 132–138.10.1109/DT.2015.7222963Search in Google Scholar

Kumar Jyotish, N., Kumar Singh, L., Kumar, C., and Singh, P. (2023). Batch deterministic and stochastic petri nets modeling for reliability quantification for safety critical systems of nuclear power plants. Nucl. Eng. Des. 404: 112191, https://doi.org/10.1016/j.nucengdes.2023.112191.Search in Google Scholar

Lemazurier, L., Chapurlat, V., and Grossetête, A. (2017). An MBSE approach to pass from requirements to functional architecture. IFAC-PapersOnLine 50: 7260–7265, https://doi.org/10.1016/j.ifacol.2017.08.1376.Search in Google Scholar

Lin, Z., Tao, L., Wang, S., Yong, N., Xia, D., Wang, J., and Ge, D. (2023). A subset simulation analysis framework for rapid reliability evaluation of series-parallel cold standby systems. Reliab Eng Syst Saf 241: 109706, https://doi.org/10.1016/j.ress.2023.109706.Search in Google Scholar

Madni, A.M., Erwin, D., and Madni, C.C. (2021). Digital twin-enabled MBSE testbed for prototyping and evaluating aerospace systems: lessons learned. In: 2021 IEEE aerospace conference proceedings. Institute of Electrical and Electronics Engineers, Big Sky, MT, USA, pp. 1–8.10.1109/AERO50100.2021.9438439Search in Google Scholar

Maerani, R., Waskita, A.A., Pradana, S., Saharudin, Deswandri, and Jung, J.C. (2019a). Reliability program plan for field programmable gate array-based I&C system of nuclear power plant. AIP Conf. Proc. 2180: 020035, https://doi.org/10.1063/1.5135544.Search in Google Scholar

Maerani, R., Deswandri, S.S., Sudarno, Irianto, I.D., and Irianto, D. (2019b). Reverse engineering program using MBSE to support development of I&C system experimental power reactor from PLC to FPGA. J Phys Conf Ser 2019: 022015, https://doi.org/10.1088/1742-6596/1198/2/022015.Search in Google Scholar

McNelles, P., Zeng, Z.C., Renganathan, G., Chirila, M., and Lu, L. (2017). Failure mode taxonomy for assessing the reliability of field programmable gate array based instrumentation and control systems. Ann. Nucl. Energy 108: 198–228, https://doi.org/10.1016/j.anucene.2017.04.033.Search in Google Scholar

McWilliams, G.B. (2015). Modular applications functions - a westinghouse MBSE tool. Insight 18: 26–28, https://doi.org/10.1002/inst.12017.Search in Google Scholar

Mhenni, F., Nguyen, N., and Choley, J.Y. (2018). SafeSysE: a safety analysis integration in systems engineering approach. IEEE Syst J 12: 161–172, https://doi.org/10.1109/JSYST.2016.2547460.Search in Google Scholar

Moreno, V.J.R. (2014). Applicability of field programmable gate arrays in instrumentation and control systems in nuclear power plants, PhD Thesis. Universidad de Extremadura, Cáceres, Spain.Search in Google Scholar

Panchal, P., Dmitriev, K., Myschik, S., and Holzapfel, F. (2023). Comprehensive overview of a process-oriented build tool for airborne safety-critical software development. In: Proceedings of 10th international Conference on recent Advances in Air and space technologies, RAST 2023. Institute of Electrical and Electronics Engineers Inc.10.1109/RAST57548.2023.10197990Search in Google Scholar

Pradana, S. and Jung, J. (2019). Software reliability growth model for FPGA-based safety critical software system. Transactions of the Korean Nuclear Society Spring Meeting Jeju, Korea.Search in Google Scholar

Wang, Y.C., Liu, W., Chen, P., Zhang, C., and Li, C.J. (2020). FPGA software security testing excitation random generation based on SFMEA and SFTA. In: 2019 6th international conference on dependable systems and their applications (DSA). Institute of Electrical and Electronics Engineers, Harbin, China, pp. 465–469.10.1109/DSA.2019.00074Search in Google Scholar

Xiong, W., Bai, T., Gu, P.F., Liang, H.H., and Tang, J.Z. (2020). Research on static testing technology of nuclear safety-critical software based on FPGA technology. In: Xu, Y., Sun, Y., Liu, Y., Wang, Y., Gu, P., and Liu, Z. (Eds.), Nuclear power plants: innovative technologies for instrumentation and control systems, Vol. 595. Lecture Notes in Electrical Engineering, pp. 516–523, SICPNPP 2019, https://doi.org/10.1007/978-981-15-1876-8_50.Search in Google Scholar

Zhuang, M., Zhao, X., and Siqiao, Z. (2019). Study on the NPP general operation strategy design method based on MBSE. Proc. Int. Conf. Nucl. Eng. (ICONE) 27: 1108, https://doi.org/10.1299/jsmeicone.2019.27.1108.Search in Google Scholar