Automation of quantitative requirements determination to software reliability of safety critical NPP I&C systems

B Volochiy, O Mulyak, L Ozirkovskyi… - … on Stochastic Models …, 2016 - ieeexplore.ieee.org
Providing the high availability level for the Instrumentation and Control (I&C) Systems in
Nuclear Power Plants (NPP) is highly important. The availability of the critical NPP I&C …

Maximizing yield per area of highly parallel CMPs using hardware redundancy

D Cheng, SK Gupta - … on Computer-Aided Design of Integrated …, 2014 - ieeexplore.ieee.org
The manufacturing yield of chip multiprocessors (CMPs) has become a significant problem
as more transistors are integrated onto a single die and the defect rate keeps increasing for …

A systematic methodology to improve yield per area of highly-parallel CMPs

D Cheng, SK Gupta - … on Defect and Fault Tolerance in VLSI …, 2012 - ieeexplore.ieee.org
Manufacturing yield of chip multi-processors (CMPs) has become a significant problem as
more transistors are integrated onto a single die, and the defect rate keeps increasing for" …

Availability model of critical nuclear power plant instrumentation and control system with non-exponential software update distribution

B Volochiy, V Yakovyna, O Mulyak… - … Conference on Information …, 2017 - Springer
This paper is the continuation of the research devoted to enhancing the adequacy of
reliability model of Nuclear Power Plant (NPP) Instrumentation and Control (I&C) System …

Надежностная модель отказоустойчивой многопроцессорной системы с учетом двукратного обновления программного обеспечения

БЮ Волочий, МВ Миськив, АВ Муляк… - Труды …, 2013 - cyberleninka.ru
В статье предложена надежностная модель отказоустойчивой многопроцессорной
системы, в состав которой входит две многопроцессорные системы (основная и …

Automated Development of the Markovian Chains to Assess the Availability and Performance of Multi-state Multiprocessor System

B Volochiy, O Mulyak, V Kharchenko - Recent Advances in Multi-state …, 2018 - Springer
Reliability design, availability and performance assessment of multi-state multiprocessor
system with structural redundancy involves solving number of issues. This paper outlines a …

Визначення впливу оновлення програмного забезпечення на показники надійності відмовостійкої багатопроцесорної системи

БЮ Волочій, МВ Міськів, ОВ Муляк… - Восточно …, 2013 - cyberleninka.ru
This article outlines a Fault-Tolerant Multiprocessor System, designed for prolonged
uninterrupted operation. During system operation software is updated with new versions …

Estimation of the Impact of a Software Update on Indicators of Reliability of a Fault Tollerant Multiprocessor System

БЮ Волочій, В Міськів, В Мирон, ОВ Муляк… - Eastern-European Journal … - neliti.com
This article outlines a Fault-Tolerant Multiprocessor System, designed for prolonged
uninterrupted operation. During system operation software is updated with new versions …

[PDF][PDF] Availability Model of Critical NPP I&C Systems with K-phase Erlang Distribution of Software Update

VY BogdanVolochiy, O Mulyak, V Kharchenko - ceur-ws.org
This paper is the continuation of the research devoted to enhancing the adequacy of
reliability model of Nuclear Power Plant (NPP) Instrumentation and Control (I&C) Systems …

[PDF][PDF] Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices.

B Volochiy, V Yakovyna, O Mulyak - ICTERI, 2016 - ceur-ws.org
Providing the high availability level for the Instrumentation and Control (I&C) Systems in
Nuclear Power Plants (NPP) is highly important. The availability of the critical NPP I&C …