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

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

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

Full description

Bibliographic Details
Main Author: Marc Bouissou
Format: Article
Language:English
Published: Open Publishing Association 2017-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1703.06575v1
id doaj-8f556ae25efa4fe9be27ee17259698c5
record_format Article
spelling doaj-8f556ae25efa4fe9be27ee17259698c52020-11-25T02:32:45ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-03-01244Proc. MARS 201720021610.4204/EPTCS.244.8:16A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power PlantMarc Bouissou0 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.http://arxiv.org/pdf/1703.06575v1
collection DOAJ
language English
format Article
sources DOAJ
author Marc Bouissou
spellingShingle Marc Bouissou
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
Electronic Proceedings in Theoretical Computer Science
author_facet Marc Bouissou
author_sort Marc Bouissou
title A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
title_short A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
title_full A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
title_fullStr A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
title_full_unstemmed A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant
title_sort benchmark on reliability of complex discrete systems: emergency power supply of a nuclear power plant
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2017-03-01
description 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.
url http://arxiv.org/pdf/1703.06575v1
work_keys_str_mv AT marcbouissou abenchmarkonreliabilityofcomplexdiscretesystemsemergencypowersupplyofanuclearpowerplant
AT marcbouissou benchmarkonreliabilityofcomplexdiscretesystemsemergencypowersupplyofanuclearpowerplant
_version_ 1724818028150915072

Similar Items