eNUPPIR

Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508

The accurate dependability and safety assessment of systems for critical applications is an important task in development and certification processes. It can be conducted through probabilistic mode...

Стаття 2018/12/12

1

Metric-based approach and tool for modeling the I&C system using Markov chains

Markov’s chains (MC) are well-know and widely applied in dependability and performability analysis of safety-critical systems, because of the flexible representation of system components dependenci...

Стаття 2018/12/12

1

Assessment of the Reactor Trip System Dependability Two Markov Chains-based Cases

The diversity approach is commonly used to ensure dependability attributes of such critical computer-based systems as NPP I&C systems, including the Reactor Trip System. There are two basic pro...

Стаття 2018/12/12

1

Markov’s Modeling of NPP I&C Reliability and Safety optimization of tool-and-techique selection

Markov’s chains are widely applied in quantitative analysis of safety-critical systems. There are few roadblocks for greater ap plication of the Markov’s chains: accounting the additional hardware ...

Стаття 2018/12/12

1

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 applicat...

Стаття 2018/12/12

1

Анализ архитектур отказоустойчивых серверов для оценки их надежности

Рассмотрены архитектурные решения современных отказоустойчивых серверных систем (Fault Tolerance Server – FT - сервера ). Определено множество возможных дефектов и отказов таких систем. Дефекты и о...

Стаття 2018/12/12

1

Учет фактора вторичных дефектов при оценке надежности программных средств

В статье рассмотрена проблема учета вторичных программных дефектов при оценке надежности программных средств. Проанализированы существующие модели оценки надежности программных средств с точки зрен...

Стаття 2018/12/12

1

Учет фактора вторичных дефектов при оценке надежности программных средств

В статье рассмотрена проблема учета вторичных программных дефектов при оценке надежности программных средств. Проанализированы существующие модели оценки надежности программных средств с точки зре...

Стаття 2018/09/26

1

Метод оценивания надежности программных средств с учетом вторичных дефектов

Предлагается последовательность оценки надежности программных средств с учетом вторичных дефектов. Обоснован выбор модели оценки надежности программных средств с учетом вторичных дефектов. Показана...

Стаття 2017/10/12

1

Анализ сценариев и определение параметров для оценки надежности программных средств с учетом вторичных дефектов

Рассмотрена последовательность выбора модели оценки надежности программных средств, которая учитывает вторичные дефекты. Проанализированы сценарии устранения и внесения дефектов. Приведена методика...

Стаття 2017/10/10

1

Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов

Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в п...

Стаття 2017/10/10

1

Учет вторичных дефектов в моделях надежности программных средств

Анализируются допущения, принятые в моделях оценки надежности программных средств, на предмет внесения новых (вторичных) дефектов в процессе устранения обнаруженных ранее дефектов. Изложен порядок ...

Стаття 2017/10/10

1

Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств

Аналізуються припущення, що використовуються у моделях надійності програмних засобів. Запропонований підхід до розробки моделей комп’ютерних систем, що обслуговуються, враховує можливості внесення ...

Стаття 2017/10/05

1

Переглянути елементів