Abstract
The information and control system (I&CS) of Nuclear Power Plant (NPP) is considered as a set of three independent hardware channels including on-line testing system. NPP I&C system’s design on programmable platforms is rigidly tied to the V-model of the life cycle. Functional safety and availability during its life cycle are assessed using Markov models. Markov models are used to assess availability function and proof test period. The basic single-fragment model MICS01 contains an absorbing state in case of hidden faults and allows to evaluate risks of “hidden” unavailability. The MICS02 model simulates “migration” of states with undetected failures into states with detected faults. The results of Markov modeling (models MICS01 and MICS02) are compared to evaluate proof test period taking into account requirements for SIL3 level and limiting values of hidden fault probabilities.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ghosh, R., Longo, F., Frattini, F., Russo, S., Trivedi, K.: Scalable analytics for IaaS cloud availability. IEEE Trans. Cloud Comput. 2, 57–70 (2014)
Trivedi, K., Kim, D., Roy, A., Medhi, D.: Dependability and security models. In: 7th International Workshop on Design of Reliable Communication Networks, pp. 11–20 (2009)
Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A.: Availability assessment of information and control systems with online software update and verification. In: Ermolayev, V., Mayr, H., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2014. Communications in Computer and Information Science, vol. 469, pp. 300–324 (2014)
Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Brezhnev, E., Andrashov, A.: Monte-Carlo simulation and availability assessment of the smart building automation systems considering component failures and attacks on vulnerabilities. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Contemporary Complex Systems and Their Dependability, DepCoS-RELCOMEX 2018. Advances in Intelligent Systems and Computing, vol. 761, pp. 270–280 (2018)
Bulba, Y., Ponochovny, Y., Sklyar, V., Ivasiuk, A.: Classification and research of the reactor protection instrumentation and control system functional safety Markov models in a normal operation mode. CEUR Workshop Proc. 1614, 308–321 (2016)
Ponochovniy, Y., Bulba, E., Yanko, A., Hozbenko, E.: Influence of diagnostics errors on safety: Indicators and requirements. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), pp. 54–58 (2018)
IEC 61508-6:2010: Functional safety of electrical/electronic/programmable electronic safety related systems, Part 6: Guidelines on the application of IEC 61508-2,3 (2010)
D7.24-FSC(P3)-FMEDA-V6R0. Exida FMEDA Report of Project: Radiy FPGA-based Safety Controller (FSC) (2018)
Langeron, Y., Barros, A., Grall, A., Berenguer, C.: Combination of safety integrity levels (SILs): a study of IEC61508 merging rules. J. Loss Prev. Process Ind. 21(4), 437–449 (2008)
The function for drawing graphs and digraphs using MATLAB. http://iglin.exponenta.ru/All/GrMatlab/grPlot.html. Accessed 24 Feb 2019
IEC 61513:2011, Nuclear power plants - Instrumentation and control important to safety - General requirements for systems (2011)
Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Gorbenko, A.: Secure hybrid clouds: analysis of configurations energy efficiency. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability, DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol. 365, pp. 195–209 (2015)
Solve stiff differential equations and DAEs; variable order method - MATLAB ode15s. https://www.mathworks.com/help/matlab/ref/ode15s.htmll. Accessed 24 Feb 2019
Sklyar, V.V.: Elements of the information and control systems functional safety analysis methodology. Radioelectron. Comput. Syst. 6(40), 75–79 (2009)
Kharchenko, V., Ponochovnyi, Y., Abdulmunem, A., Andrashov, A.: Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Advances in Dependability Engineering of Complex Systems, DepCoS-RELCOMEX 2017. Advances in Intelligent Systems and Computing, vol. 582, pp. 186–195 (2017)
Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Brezhnev, E.: Resilience assurance for software-based space systems with online patching: two cases. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Dependability Engineering and Complex Systems, DepCoS-RELCOMEX 2016. Advances in Intelligent Systems and Computing, vol. 470, pp. 267–278 (2016)
Kharchenko, V., Butenko, V., Odarushchenko, O., Sklyar, V.: Multifragmentation markov modeling of a reactor trip system. ASME J. Nucl. Eng. Radiat. Sci. 1(3), 031005-1–031005-10 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Kharchenko, V., Ponochovnyi, Y., Andrashov, A., Brezhniev, E., Bulba, E. (2020). Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Engineering in Dependability of Computer Systems and Networks. DepCoS-RELCOMEX 2019. Advances in Intelligent Systems and Computing, vol 987. Springer, Cham. https://doi.org/10.1007/978-3-030-19501-4_26
Download citation
DOI: https://doi.org/10.1007/978-3-030-19501-4_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19500-7
Online ISBN: 978-3-030-19501-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)