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