# A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant

## TL;DR

This paper presents a detailed reliability benchmark for a nuclear power plant's emergency power supply system, combining real system description with a BDMP-based reliability model and initial calculations.

## Contribution

It introduces a comprehensive reliability model of a complex electrical system using BDMP formalism and provides initial quantitative reliability and availability assessments.

## Key findings

- Reliability model captures system redundancies and reconfigurations.
- Initial calculations offer insights into system availability.
- The benchmark aids in evaluating complex system reliability.

## Abstract

This paper contains two parts: the description of a real electrical system, with many redundancies, reconfigurations and repairs, then the description of a reliability model of this system, based on the BDMP (Boolean logic Driven Markov Processes) formalism and partial results of a reliability and availability calculation made from this model.