Dynamic reliability of digital-based transmitters

Reliability Engineering and System Safety

Volumn 96, Issue 7, 2011, Pages 793-813

  Brissaud, Florent ^a,c   Smidts, Carol ^b   Barros, Anne ^c   Bérenguer, Christophe ^c  

^a INSTITUT NATIONAL DE L ENVIRONNEMENT INDUSTRIEL ET DES RISQUES INERIS   (France)

^b The Ohio State University   (United States)

^c UNIVERSITÉ DE TECHNOLOGIE DE TROYES   (France)

Author keywords

Digital based system; Dynamic reliability; Intelligent transmitter; Petri net; Piecewise deterministic Markov process; Probabilistic dynamics; Smart sensor

Indexed keywords

DIGITAL-BASED SYSTEM; DYNAMIC RELIABILITY; INTELLIGENT TRANSMITTER; PIECEWISE DETERMINISTIC MARKOV PROCESS; PROBABILISTIC DYNAMICS;

DATA HANDLING; FAST REACTORS; GRAPH THEORY; MARKOV PROCESSES; NUMERICAL METHODS; PETRI NETS; RELIABILITY ANALYSIS; SMART SENSORS; STOCHASTIC SYSTEMS; TRANSMITTERS;

RISK ASSESSMENT;

EID: 79955522397     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2010.12.014     Document Type: Article

References (88)

1. US Nuclear Regulatory Commission. Reactor Safety Study (WASH-1400), NUREG-75/014. Washington, DC: US Nuclear Regulatory Commission; 1975.
2. Stamatelatos M, Apostolakis G, Dezfuli H, Everline C, Guarro S, Moieni P, et al. Probabilistic risk assessment procedures guide for NASA managers and practitioners, version 1.1. Washington, DC: Office of Safety and Mission Assurance, NASA Headquarters; 2002.
3. N. Siu Risk assessment for dynamic systems: an overview Reliab Eng Syst Saf 43 1 1994 43 73
4. A. Amendola, and G. Reina DYLAM-1: a software package for event sequence and consequence spectrum methodology, EUR 9224 EN 1984 Commission of European Communities Luxembourg
5. P.C. Cacciabue, A. Amendola, and G. Cojazzi Dynamic logical analytical methodology versus fault tree: the case study of the auxiliary feedwater system of a nuclear power plant Nucl Technol 74 2 1986 195 208 (Pubitemid 16593505)
6. G. Cojazzi The DYLAM approach for the dynamic reliability analysis of systems Reliab Eng Syst Saf 52 3 1996 279 296 (Pubitemid 126394193)
7. C. Acosta, and N. Siu Dynamic event trees in accident sequence analysis: application to steam generator tube rupture Reliab Eng Syst Saf 41 2 1993 135 154
8. K.S. Hsueh, and A. Mosleh The development and application of the accident dynamic simulator for dynamic probabilistic risk assessment of nuclear power plants Reliab Eng Syst Saf 52 3 1996 297 314 (Pubitemid 126394194)
9. M. Kloos, and J. Peschke MCDET: a probabilistic dynamics method combining Monte Carlo simulation with the discrete dynamic event tree approach Nucl Sci Eng 153 2 2006 137 156 (Pubitemid 43979451)
10. A. Hakobyan, T. Aldemir, R. Denning, S. Dunagan, D. Kunsman, and B. Rutt Dynamic generation of accident progression event trees Nucl Eng Des 238 12 2008 3457 3467
11. Pickard, Lowe and Garrick Inc. Seabrook station probabilistic safety assessment, PLG-0300. Newport Beach: (prepared for) Public Service Company of New Hampshire and Yankee Atomic Electric Company; 1983.
12. S. Swaminathan, and C. Smidts The event sequence diagram framework for dynamic probabilistic risk assessment Reliab Eng Syst Saf 63 1 1999 73 90
13. S. Swaminathan, and C. Smidts An application of the ESD framework to the probabilistic risk assessment of dynamic systems S. Kondo, K. Furuta, Proceedings of the fifth international conference on probabilistic safety assessment and management, Osaka, Japan vols. 14 2000 Universal Academy Press Tokyo 1283 1289
14. T. Matsuoka, and M. Kobayashi GO-FLOW: a new reliability analysis methodology Nucl Sci Eng 98 1 1988 64 78 (Pubitemid 18549828)
15. T. Matsuoka, and M. Kobayashi An analysis of a dynamic system by the GO-FLOW methodology C. Cacciabue, I.A. Papazoglou, Proceedings of the European safety and reliability conference/third international conference on probabilistic safety assessment and management, Crete, Greece 1996 Springer London 1547 1552
16. M. Cepin, and B. Mavko A dynamic fault tree Reliab Eng Syst Saf 75 1 2002 83 91 (Pubitemid 33142188)
17. M. Bouissou, and J.L. Bon A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes Reliab Eng Syst Saf 82 2 2003 149 163
18. Distefano S, Puliafito A. Dynamic reliability block diagrams VS dynamic fault trees. In: IEEE, editor. Proceedings of the 52nd annual reliability and maintainability symposium, Orlando, USA. New York: IEEE; 2006. p. 716.
19. S.K. Shin, and P.H. Seong Review of various dynamic modeling methods and development of an intuitive modeling method for dynamic systems Nucl Eng Technol 40 5 2008 375 386
20. C.J. Garrett, S.B. Guarro, and G.E. Apostolakis The dynamic flowgraph methodology for assessing the dependability of embedded software systems IEEE Trans Syst Man Cybern 25 5 1995 824 840
21. M. Yau, G. Apostolakis, and S. Guarro The use of prime implicants in dependability analysis of software controlled systems Reliab Eng Syst Saf 62 12 1998 23 32 (Pubitemid 128374585)
22. Y. Dutuit, E. Chatelet, J.P. Signoret, and P. Thomas Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases Reliab Eng Syst Saf 55 2 1997 117 124 (Pubitemid 127380848)
23. C. Kermisch, P.E. Labeau, E. Lardeux, and J.L. Chabot Implementation of hybrid Petri nets - lessons learned from their application to a SMR unit C. Spitzer, U. Schmocker, V.N. Dang, Proceedings of the seventh international conference on probabilistic safety assessment and management/European safety and reliability conference, Berlin, Germany, vols. 16 2004 Springer London 681 686
24. P. Sknourilova, and R. Bris Coloured Petri nets and a dynamic reliability problem Proc Inst Mech Eng Part O J Risk Reliab 222 4 2008 635 642
25. T. Aldemir Computer-assisted Markov failure modeling of process control systems IEEE Trans Reliab R-36 1 1987 133 144 (Pubitemid 17597639)
26. T. Aldemir Utilization of the cell-to-cell mapping technique to construct Markov failure models for process control systems G. Apostolakis, Proceedings of the first international conference on probabilistic safety assessment and management, Beverly Hills, USA, vol. 2 1991 Elsevier New York 1431 1436
27. B. Tombuyses, and T. Aldemir Dynamic PSA of process control systems via continuous cell-to-cell mapping C. Cacciabue, I.A. Papazoglou, Proceedings of the European safety and reliability conference/third international conference on probabilistic safety assessment and management 1996 Springer Crete, Greece. London 1541 1546
28. H. Zhang, F. Dufour, Y. Dutuit, and K. Gonzalez Piecewise deterministic Markov processes and dynamic reliability Proc Inst Mech Eng Part O J Risk Reliab 222 4 2008 545 551
29. Lair W, Ziani R, Mercier S, Roussignol M. Modeling and quantification of aging systems for maintenance optimization. In: IEEE, editor. Proceedings of the 56th annual reliability and maintainability symposium, San Jose, USA. New York: IEEE; 2010.
30. C. Smidts, and J. Devooght Probabilistic reactor dynamics - II: a Monte Carlo study of a fast reactor transient Nucl Sci Eng 111 3 1992 241 256
31. M. Marseguerra, and E. Zio Monte Carlo approach to PSA for dynamic process systems Reliab Eng Syst Saf 52 3 1996 227 241 (Pubitemid 126394190)
32. P.E. Labeau Monte Carlo estimation of generalized unreliability in probabilistic dynamics.1. Application to a pressurized water reactor pressurizer Nucl Sci Eng 126 2 1997 131 145 (Pubitemid 127593083)
33. G.A. Perez Castaneda, J.F. Aubry, and N. Brinzei Performance assessment of systems including conflict in the context of dynamic reliability Int J Adapt Innovative Syst 1 34 2010 233 247
34. T. Aldemir, N. Siu, P. Cacciabue, B. Göktepe, and A. Molesh Reliability and safety assessment of dynamic process systems. NATO ASI series, series F: computer and system sciences 1994 Springer Berlin
35. P.E. Labeau, C. Smidts, and S. Swaminathan Dynamic reliability: towards an integrated platform for probabilistic risk assessment Reliab Eng Syst Saf 68 3 2000 219 254
36. T. Aldemir, M.P. Stovsky, J. Kirschenbaum, D. Mandelli, P. Bucci, and L.A. Mangan Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments, NUREG/CR-6942 2007 US Nuclear Regulatory Commission Washington, DC
37. J. Kirschenbaum, P. Bucci, M. Stovsky, D. Mandelli, T. Aldemir, and M. Yau Benchmark system for comparing reliability modeling approaches for digital instrumentation and control systems Nucl Technol 165 1 2009 53 95
38. T. Aldemir, S. Guarro, D. Mandelli, J. Kirschenbaum, L.A. Mangan, and P. Bucci Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies Reliab Eng Syst Saf 95 10 2010 1011 1039
39. J. Devooght, and C. Smidts Probabilistic reactor dynamicsI: the theory of continuous event trees Nucl Sci Eng 111 3 1992 229 250
40. M.H.A. Davis Piecewise-deterministic Markov processes - a general class of non-diffusion stochastic models J R Stat Soc 46 3 1984 353 388
41. M.H.A. Davis Markov models and optimization. Monographs on statistics and applied probability series, vol. 49 1993 Chapman and Hall London
42. J. Devooght, and C. Smidts Probabilistic dynamics as a tool for dynamic PSA Reliab Eng Syst Saf 52 3 1996 185 196 (Pubitemid 126394187)
43. J. Devooght, and P.E. Labeau Moments of the distributions in probabilistic dynamics Ann Nucl Energy 22 2 1995 97 108
44. P.E.A. Labeau Monte Carlo estimation of the marginal distributions in a problem of probabilistic dynamics Reliab Eng Syst Saf 52 1 1996 65 75
45. C. Cocozza-Thivent, R. Eymard, S. Mercier, and M. Roussignol Characterization of the marginal distributions of Markov processes used in dynamic reliability J Appl Math Stoch Anal 2006 1 18
46. C. Cocozza-Thivent, R. Eymard, and S. Mercier A finite volume scheme for dynamic reliability models IMA J Numer Anal 26 3 2006 446 471 (Pubitemid 44048221)
47. J. Devooght, and C. Smidts Probabilistic reactor dynamics - III: a framework for time-dependent interaction between operator and reactor during a transient involving human error Nucl Sci Eng 112 2 1992 101 113 (Pubitemid 23559265)
48. T. Aldemir, D.W. Miller, M.P. Stovsky, J. Kirschenbaum, P. Bucci, and A.W. Fentiman Current state of reliability modeling methodologies for digital systems and their acceptance criteria for nuclear power plant assessments, NUREG/CR-6901 2006 US Nuclear Regulatory Commission Washington, DC
49. Barger P, Thiriet JM, Robert M. Dynamical reliability and availability evaluation and validation of distributed control systems. In: IEEE, editor. Proceedings of the 19th IEEE instrumentation and measurement technology conference, Anchorage, USA, vol. 1. New York: IEEE; 2002. p. 83742.
50. R. Ghostine, J.M. Thiriet, and J.F. Aubry Variable delays and message losses: influence on the reliability of a control loop Reliab Eng Syst Saf 96 1 2011 160 171
51. A.W. Al-Dabbagh, and L. Lu Reliability modeling of networked control systems using dynamic flowgraph methodology Reliab Eng Syst Saf 95 11 2010 1202 1209
52. E. Zio, and F. Di Maio Processing dynamic scenarios from a reliability analysis of a nuclear power plant digital instrumentation and control system Ann Nucl Energy 36 9 2009 1386 1399
53. D. Zhu, A. Mosleh, and C. Smidts A framework to integrate software behavior into dynamic probabilistic risk assessment Reliab Eng Syst Saf 92 12 2007 1733 1755 (Pubitemid 47088930)
54. Electric Power Research Institute Guideline for performing defense-in-depth and diversity assessments for digital I&C upgrades - applying risk-informed and deterministic methods, 1002835 2004 Electric Power Research Institute Palo Alto
55. F. Brissaud, A. Barros, C. Bérenguer, and D. Charpentier Dependability issues for intelligent transmitters and reliability pattern proposal N. Bakhtadze, A. Dolgui, Proceedings of the 13th IFAC symposium on information control problems in manufacturing, Moscow, Russia vol. 13 2009 Elsevier Oxford 298 303
56. F. Brissaud, A. Barros, C. Bérenguer, and D. Charpentier Reliability analysis for new technology-based transmitters Reliab Eng Syst Saf 96 2 2011 299 313
57. International Electrotechnical Commission IEC 60770-3, Transmitters for use in industrial-process control systems, Part 3: methods for performance evaluation of intelligent transmitters 2006 International Electrotechnical Commission Geneva
58. G. Smith, and M. Bowen Considerations for the utilization of smart sensors Sensors Actuators A 47 13 1995 521 524
59. J.E. Brignell The future of intelligent sensors: a problem of technology or ethics? Sensors Actuators A 56 12 1996 11 15
60. G.C.M. Meijer Concepts and focus point for intelligent sensor systems Sensors Actuators A 41 13 1994 183 191
61. CIAME, M. Bayart, B. Conrard, A. Chovin, and M. Robert Intelligent sensors and actuators Tech Ing 2005 S7520 [in French]
62. A.H. Taner, and J.E. Brignell Aspects of intelligent sensor reconfiguration Sensors Actuators A 47 13 1995 525 529
63. M. Staroswiecki Intelligent sensors: a functional view IEEE Trans Ind Inf 1 4 2005 238 249 (Pubitemid 41729787)
64. M. Blanke, R. Izadi-Zamanabadi, S.A. Bøgh, and C.P. Lunau Fault-tolerant control systems - a holistic view Control Eng Pract 5 5 1997 693 702 (Pubitemid 27414361)
65. Brissaud F, Barros A, Bérenguer C. Improving availability and safety of control systems by cooperation between intelligent transmitters. In: Proceedings of the 10th international conference on probabilistic safety assessment and management, Seattle, USA, June 711, 2010.
66. F. Brissaud, C. Smidts, A. Barros, and C. Bérenguer Dynamic reliability modeling of cooperating digital-based systems B.J.M. Ale, I.A. Papazoglou, A. Zio, Reliability, risk and safety: back to the future 2010 CRC Press, Taylor & Francis Group Boca Raton
67. T. Aldemir, and N. Siu Reliability and safety analysis of dynamic process systems - Guest editorial Reliab Eng Syst Saf 52 3 1996 181 183
68. S.M. Ross Stochastic processes 2nd ed. 1996 John Wiley & Sons USA
69. J. Devooght Uncertainty analysis in dynamic reliability A. Mosleh, R.A. Bari, Proceedings of the fourth international conference on probabilistic safety assessment and management, New York City, USA vols. 14 1998 Springer New York 2263 2268
70. P.E. Labeau, and Z.O. Amar Monte Carlo estimation of generalized unreliability in probabilistic dynamics. 2. Handling uncertainties in parameters Nucl Sci Eng 126 2 1997 146 157 (Pubitemid 127593084)
71. R. Eymard, and S. Mercier Comparison of numerical methods for the assessment of production availability of a hybrid system Reliab Eng Syst Saf 93 1 2008 168 177
72. P. Nelson, and S.W. Wang Dynamic reliability via computational solution of generalized state-transition equations for entry-time processes Reliab Eng Syst Saf 92 9 2007 1281 1293 (Pubitemid 46341797)
73. G. Stefanou The stochastic finite element method: past, present and future Comput Methods Appl Mech Eng 198 912 2009 1031 1051
74. T. Murata Petri nets - properties, analysis and applications Proc IEEE 77 4 1989 541 580
75. F. Bause, and P.S. Kritzinger Stochastic Petri nets - an introduction to the theory 2nd ed. 2002 Vieweg Verlag Germany
76. K. Jensen Coloured Petri nets: basic concepts, analysis methods and practical use 2nd ed. 2002 Springer-Verlag London
77. R. David, and H. Alla Petri nets for modeling of dynamic systems: a survey Automatica 30 2 1994 175 202 (Pubitemid 124007981)
78. D. Vernez, D. Buchs, and G. Pierrehumbert Perspectives in the use of coloured Petri nets for risk analysis and accident modelling Saf Sci 41 5 2003 445 463 (Pubitemid 36369426)
79. R. David, and H. Alla Discrete, continuous, and hybrid Petri nets 2nd ed 2010 Springer Berlin
80. Y.Y. Yang, D.A. Linkens, and S.P. Banks Modelling of hybrid systems based on extended coloured Petri nets P. Antsaklis, W. Kohn, A. Nerode, S. Sastry, Proceedings of the third workshop on hybrid systems II, New York, USA vol. 999 1995 Springer-Verlag Berlin 509 528
81. M.H.C. Everdij, H.A.P. Blom, and M.B. Klompstra Dynamically coloured Petri nets for air traffic management safety purposes M. Papageorgiou, A. Pouliezos, Proceedings of the eighth IFAC/IFIP/IFORS symposium on transportation systems, Chania, Greece vols. 13 1997 Pergamon Press Oxford 169 174
82. Giua A, Usai E. High-level hybrid Petri nets: a definition. In: IEEE, editor. Proceedings of the 35th IEEE conference on decision and control, Kobe, Japan, vols. 14. New York: IEEE; 1996. p. 14850.
83. I. Demongodin, and N.T. Koussoulas Differential Petri nets: representing continuous systems in a discrete-event world IEEE Trans Autom Control 43 4 1998 573 579 (Pubitemid 128737382)
84. Petri Nets World. Available from: 〈 http://www.informatik.uni- hamburg.de/TGI/PetriNets/
85. Commission of the European Communities Comparative analysis of a hypothetical loss-of flow accident in an irradiated LMFBR core using different computer models for a common benchmark problem, EUR 11925 EN 1989 Commission of European Communities Luxembourg
86. CPN Tools. Available from: 〈 http://wiki.daimi.au.dk/cpntools/ cpntools.wiki〉.
87. K. Jensen, L.M. Kristensen, and L. Wells Coloured Petri nets and CPN tools for modelling and validation of concurrent systems Int J Software Tools Technol Trans 9 3 2007 213 254 (Pubitemid 46876307)
88. CNN.com. Star survey reaches 70 sextillion. CNN.com/Science and Space 2003, Wednesday, July 23.