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

Marc Bouissou
(EDF R&D)

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.

In Holger Hermanns and Peter Höfner: Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science 244, pp. 200–216.
Published: 15th March 2017.

ArXived at: https://dx.doi.org/10.4204/EPTCS.244.8 Ancillary files bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org