Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study

Kharchenko, Vyacheslav; Odarushchenko, Oleg; Odarushchenko, Valentina; Popov, Peter

doi:10.1007/978-3-319-03998-5_7

Cited by 6 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…4 presents the RBD for the threechannel two-track architecture. In both architectures, all tracks in the channels have identical hardware structures, but the software run on the system channels is diverse [10], i.e. nonidentical but functionally equivalent software copies are deployed on the system channels.…”

Section: Multi-fragmentation Approachmentioning

confidence: 99%

“…Using this approach the model is divided into N fragments that are with the same structure but may differ in one or more parameter values [10].…”

Section: Multi-fragmentation Approachmentioning

confidence: 99%

“…This standard asserts that methods for solving Markov models have been developed long ago and trying to improve these methods does not seem sensible 1 . The previous works show [10] that solving a large and/or stiff Markov model requires a careful selection of the solution method/tool. Using an inappropriate method/tool for the solution of a non-trivial MC may lead to significant errors.…”

Section: Introductionmentioning

confidence: 99%

“…Several techniques were developed to deal efficiently with MC largeness and stiffness [6,8,9] and a number of tools can be used to find the MC solution [10,12]. Such variety of tools and approaches is extremely helpful in the process of system modeling but this also poses a difficulty when it comes to choosing the most appropriate method for a specific assessment.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Assessment of the Reactor Trip System dependability: Two Markov's chains — Based cases

Kharchenko

Odarushchneko

Odarushchenko³

et al. 2014

The 10th International Conference on Digital Technologies 2014

Self Cite

View full text Add to dashboard Cite

The diversity approach is commonly used to ensure dependability attributes of such critical computer-based systems as nuclear power plants information and control (NPPs I&C) systems, including the Reactor Trip System. There are two basic problems emerging in this approach -the choice of product-process diversity kinds and assessment of multi-version systems dependability. This paper presents a study for dependability assessment of two architectures of a typical NPP I&C system, the Reactor Trip System: a diverse two-channel system with three parallel tracks on voting logic "2-out-of-3" in each channel and a diverse three-channel system with two parallel tracks on voting logic "1-out-of-2" in each channel. The multi-fragmentation approach is proposed to provide a detailed description of RTS hardware-software interconnection. The resulting models are stiff, which poses a problem in case of achieving the accurate numerical solution. Thus, the models are solved using a number of approaches and tools to verify the results. Obtained results can help to make informed decision between the observed RTS architectures.

show abstract

Section: Multi-fragmentation Approachmentioning

confidence: 99%

“…Using this approach the model is divided into N fragments that are with the same structure but may differ in one or more parameter values [10].…”

Section: Multi-fragmentation Approachmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Assessment of the Reactor Trip System dependability: Two Markov's chains — Based cases

Kharchenko

Odarushchneko

Odarushchenko³

et al. 2014

The 10th International Conference on Digital Technologies 2014

Self Cite

View full text Add to dashboard Cite

show abstract

“…Моделювання дозволяє провести дослідження ПТК, які не можуть бути виконані традиційними методами та визначити їх надійність та функціональну безпеку. Воно істотно знижує терміни та вартість проектування і за рахунок аналізу великої кількості варіантів підвищує ефективність системи, що розроблюється [6][7][8][9][10][11].…”

Section: вступunclassified

Марковські Моделі Оцінювання Функціональної Безпеки Програмно-Технічних Комплексів На Самодіагностовних Програмовних Платформах З Урахуванням Помилок Засобів Контролю

Одарущенко¹,

Одарущенко²,

Харченко³

2019

reks

View full text Add to dashboard Cite

Ensuring the safe operation of nuclear power plants remains one of the most important tasks. An important role in ensuring the safety of nuclear power plants is played by instrumentation and control systems (ICS). Extremely high demands are made on such systems, first of all, on their reliability and functional safety. The object of research and analysis in this work is the Nuclear Island I&C Instrumentation System and Reactor Protection System, which are developed based on programmable RadICS Platform with self-diagnostic. The failure trees of such platforms and ICS based on them were developed. In the next stage, several Markov models of redundant ICS are developed. The article aims to develop and analyze the results of research on Markov models for reliability and safety assessment of ICS based on self-checking programmable platforms. The models take into account errors of checking and diagnostic tools, namely errors associated with identifying failures and failures of the corresponding components of the hardware and software/FPGA and channels of redundant structures. Models have been developed for various options of redundant structures and taking into account the diversity principle for ISC structure and failure rate caused by design defects. Multiple-fragment Markov Models of ICS were also investigated. The scientific novelty lies in the fact that the proposed models take into account an expanded set of parameters of self-diagnosing programmable platforms, ICS, the processes of their use and maintenance. Recommendations on the selection of parameters and structural ICS are formulated.

show abstract

Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution

Volochiy

Yakovyna

Mulyak

et al. 2018

Information and Communication Technologies in Education, Research, and Industrial Applications

View full text Add to dashboard Cite

Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study

Cited by 6 publications

References 12 publications

Assessment of the Reactor Trip System dependability: Two Markov's chains — Based cases

Assessment of the Reactor Trip System dependability: Two Markov's chains — Based cases

Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution

Contact Info

Product

Resources

About

Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study

Cited by 6 publications

References 12 publications

Assessment of the Reactor Trip System dependability: Two Markov's chains &#x2014; Based cases

Assessment of the Reactor Trip System dependability: Two Markov's chains &#x2014; Based cases

Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution

Contact Info

Product

Resources

About

Assessment of the Reactor Trip System dependability: Two Markov's chains — Based cases

Assessment of the Reactor Trip System dependability: Two Markov's chains — Based cases