Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems
dc.contributor.author | Butenko, V. | |
dc.contributor.author | Odarushchenko, O. M. | |
dc.contributor.author | Kharchenko, V. | |
dc.contributor.author | Moskalets, V. | |
dc.contributor.author | Odarushchenko, O. B. | |
dc.contributor.author | Strjuk, O. | |
dc.contributor.author | Одарущенко, Олег Миколайович | |
dc.contributor.author | Одарущенко, Олена Борисівна | |
dc.date.accessioned | 2019-02-14T18:11:59Z | |
dc.date.available | 2019-02-14T18:11:59Z | |
dc.date.issued | 2016 | |
dc.description.abstract | 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. | uk_UA |
dc.identifier.citation | 2. Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems. Valentyna Butenko, Oleg Odarushchenko, Vyacheslav Kharchenko, Viktoriya Moskalets, Elena Odarushchenko, Oleksii Strjuk // In CERes Journal, Volume 2, Issue 2, 2016 – P. 61-69 | uk_UA |
dc.identifier.uri | https://dspace.pdau.edu.ua/handle/123456789/2396 | |
dc.language.iso | en | uk_UA |
dc.publisher | Centre for Safety Infrastructure Oriented Research and Analysis, Kharkiv, Ukraine; National Aerospace University “KhAI”, Kharkiv, Ukraine; Research and Production Company “Radiy”, Kirovograd, Ukraine | uk_UA |
dc.relation.ispartofseries | ;2 | |
dc.subject | Instrumentation and Control system | uk_UA |
dc.subject | Reactor Trip System | uk_UA |
dc.title | Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems | uk_UA |
dc.type | Article | uk_UA |