A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
This work addresses reliability assessment for nuclear power plant safety systems, but it is incremental as it applies an existing method to a specific real-world system without claiming major innovations.
The paper tackles the reliability modeling of a complex emergency power supply system in a nuclear power plant, using the BDMP formalism to calculate reliability and availability, with partial results presented.
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.