Models for Formal Analysis of Real Systems (MARS)

Description:	Emergency Power Supply of a Nuclear Power Plant
Author(s):	Marc Bouissou
Event(s):	MARS'17
Paper(s):	A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant

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.

Model(s)

language: BDMP
1. Download Model
2. Browse Model
3. tool(s): BDMP(KB3)
language: BDMP
1. Download Model
2. Browse Model
3. tool(s): BDMP(KB3)
language: FIGSEQ
1. Download Model
2. Browse Model
3. tool(s): FIGSEQ(KB3)
language: YAMS
1. Download Model
2. Browse Model
3. tool(s): YAMS
language: STORM
1. Download Model
2. Browse Model
3. tool(s): STORM
language: RISKSPECTRUM
1. Download Model
2. Browse Model
3. tool(s): RiskSpectrum

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

Models for Formal Analysis of Real Systems(MARS)

Emergency Power Supply

Abstract

Model(s)

Models for Formal Analysis of Real Systems
(MARS)