Common cause failures modelling by means of coloured Petri nets for dependability assessment of a control system of nuclear power plant

Nicolae Brinzei (1) , Gilles Deleuze (2) , Nicolas Villaume (3) , Jean-François Pétin (1)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 EDF R&D MRI - Management des Risques Industriels
3 ENSEM - Ecole Nationale Supérieure d'Electricité et de Mécanique

This paper presents an approach to assess the effects of common cause failures (CCF) on dependability of digital systems. Independent failures of system components and partial or lethal shocks are considered in a global CCF model, the Atwood model. The Coloured Petri nets (CPN) are used to modelize the digital system and the common cause failures. Based on the CPN, the parameters of Atwood model are estimated analytically and by Monte-Carlo simulation. Thereafter, the Atwood model of CCF is modified in order to represent the dominant failures propagation on some system components in the case of partial shocks. The assessment of system dependability, in the presence of CCF failures, becomes possible. This approach is applied to a representative instrumentation and control system of a nuclear power plant. The system is large with a high level of redundancy.

Mots clés: Dependability assessment; common cause failures; Atwood model; coloured Petri nets; nuclear power plant

Domaines: Automatique / Robotique; Performance et fiabilité [cs.PF]

Nicolae Brinzei, Gilles Deleuze, Nicolas Villaume, Jean-François Pétin. Common cause failures modelling by means of coloured Petri nets for dependability assessment of a control system of nuclear power plant. European Safety and Reliability Conference ESREL 2014, Sep 2014, Wroclaw, Poland. pp.2121 - 2129. ⟨hal-01083192⟩