Modeling digital I&C systems for PRA with coloured Petri nets

9th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2015

Volumn 3, Issue , 2015, Pages 2373-2380

  Deleuze, Gilles ^a   Brinzei, Nicolae ^b  

^a EDF R AND D   (France)

^b UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Colored Petri nets; I C systems; PRA

Indexed keywords

HARDWARE; MAN MACHINE SYSTEMS;

C-SYSTEMS; COLORED PETRI NETS; COLOURED PETRI NETS; COMMON CAUSE FAILURE; HARDWARE RELIABILITY; PRA; PROTECTION SYSTEMS; UNIFORM DISTRIBUTION;

PETRI NETS;

EID: 84946229534     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Estimators for the Binomial Failure Rate Common Cause Model. C. L. Atwood, Report No.EG6-EA-5112. March 1980.
2. Common cause failures modelling by means of coloured Petri nets for dependability assessment of a control system of nuclear power plant. N. Brinzei, G. Deleuze, N. Villaume, J.E Petin. ESREL 2014 European Safety and Reliability Conference. Wroclaw, September 2014.
3. Bricman-Rejc, Z, M. Cepin, & A. Sitdikova. Estimating common-cause failures parameters within power system reliability analysis. European Safety and Reliability Association, ESREL 2013, Amsterdam, pp. 2841-2846.
4. A taxonomy for the FMEA of digital I&C protection systems. H. Bruneliere, G.Deleuze, N Thuy, C.Smidts, PSA2013, Columbia.
5. Failure modes taxonomy for reliability assessment of digital I&C systems for PRA. OECD/AEN WGRisk Task DIGREL. 12 January 2014.
6. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Volume 1), Volume 1. Jensen, K. Springer Verlag (1997).
7. Coloured Petri nets: modeling and validation of concurrent systems. Jensen, K. & L Kristensen .Springer-Verlag New York Ine (2009).
8. Analysis of common cause failures in complex safety instrumented systems. Technical note. Lilleheier, T. (2008).
9. Guidelines on Modeling Common-Cause Failures in Probabilistic Risk Assessment. NUREG/CR-5485. A. Mosleh, D. M. Rasmusson, F. M Marshall, 1998.
10. B. Pinna, G.Babykina, N.Brinzei, J.-F. Petin. Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach, ESREL 2013, European Safety and Reliability Conference. Amsterdam, pp. 2969-2977.
11. . Make your Petri Nets understandable: Reliability block diagrams driven petri nets. Signoret, J.-P, Y. Dutuit, P.-J. Cacheux, C. Folleau, S. Collas, & P. Thomas. Reliability Engineering and System Safety 113 (2013), pp61-75.