Наукові статті

Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems

Одарущенко, О.Б.

Markov modeling is a well-known analytical state space modeling technique which is widely applied for quantitative analysis of safety-critical systems. There are few roadblocks for greater application of Markov modeling: accounting of additional system components increases the model state space and complicates analysis; the non-numerically sophisticated user may find it difficult to select method and tool to provide an accurate analysis of constructed Markov model. Thus, achieving highly trusted result for safety-critical systems is a nontrivial task. In this paper we present the case-study on application of Markov modeling with deep testing the model features, for safety analysis of industrial self-diagnostic, programmable FPGA-based Instrumentation and Control system which operates on Nuclear Power Plant.

English

2016-01

Reactor Trip System

Central European Researchers Journal

Butenko V. Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems / V. Butenko, O. Odarushchenko, V. Kharchenko, V. Moskalets, E. Odarushchenko, O. Strjuk // Central European Researchers Journal. - 2016. - Vol. 2, Issue 2. - Pp. 61-69.