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

Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів

Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем критичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводити...

Стаття 2018/12/12

1

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