Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

METHOD FOR THE ANALYSIS OF TEMPORAL CHANGE OF PHYSICAL STRUCTURE IN THE INSTRUMENTATION AND CONTROL LIFE-CYCLE

  • Goring, Markus (Vattenfall Europe Nuclear Energy GmbH) ;
  • Fay, Alexander (Helmut Schmidt University / University of the Federal Armed Forces Hamburg)
  • Received : 2013.02.04
  • Accepted : 2013.05.06
  • Published : 2013.10.25
Download PDF
⟨ Previous Next ⟩

Abstract

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.

Keywords

References

  1. IAEA, "Core Knowledge on Instrumentation and Control Systems in Nuclear Power Plants," NP-T-3.12, Nuclear Energy Series, International Atomic Energy Agency (2011).
  2. IAEA, "Design of Instrumentation and Control Systems for Nuclear Power Plants," DS-431, Draft Safety Guide, International Atomic Energy Agency (2012).
  3. P. J. Rebstock, Jr., "Managed Complexity: An Architectural paradigm for the Integration of Digital Systems in Nuclear Power Plants," Proc. of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2010), Las Vegas, USA, Nov. 7-11, 2010.
  4. S. Authen and J.-E. Holmberg, "Reliability Analysis of Digital Systems in a Probabilistic Risk Analysis for Nuclear Power Plants," Nuclear Engineering and Technology, vol. 44, pp. 471-482 (2012). https://doi.org/10.5516/NET.03.2012.707
  5. Y, Yaguang and S. Russell, "Realiability Estimation for a digital Instrument and Control System," Nuclear Engineering and Technology, vol. 44, pp. 405-414 (2012). https://doi.org/10.5516/NET.04.2012.513
  6. J.-C. Jung, H.-S. Chang, H.-B. Kim, " 3+3 Process" for Safety Critical Software for I&C System in Nuclear Power Plants," Nuclear Engineering and Technology, vol. 41, pp. 91-98 (2009). https://doi.org/10.5516/NET.2009.41.1.091
  7. S. Sarshar, M. Kristiansen, T. Sivertsen, "Survey on Techniques for Modeling of Dependencies in the Digital I&C Design Phase," Proc. of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2010), Las Vegas, USA, Nov. 7-11, 2010.
  8. V. M. Thomas, S.D. Whaley, J.H. Karns, "Approach to Use of Models in Support of I&C Upgrades Design and Test," Proc. of the 8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2012), San Diego, USA, Jul. 22-26, 2012.
  9. T.V. Nguyen, K.D. Leidy, D.P. Keene, "Key Design Challenges in Next generation Instrumentation & Control (I&C) Systems for Small Modular Reactor Nuclear Power Plants," Proc. of the 8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2012), San Diego, USA, Jul. 22-26, 2012.
  10. M. Lauder, M. Schlereth, S. Rose, A. Schurr, "Model-driven systems engineering: state-of-the-art and research challenges," Bulletin of the Polish Academy of Sciences, Technical Sciences, vol. 58, no. 3, pp. 409-421 (2010).
  11. A. Avizienis, J.-C. Laprie, B. Randell, C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33 (2004). https://doi.org/10.1109/TDSC.2004.2
  12. IEC, "Nuclear power plants - Instrumentation and control for systems important to safety - General requirements for systems," IEC 61513, International Electrotechnical Commission (2001).
  13. M. Goring and A. Fay, "Data Model Based Engineering of Computer-based Instrumentation and Control," Proc. of the 8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2012), San Diego, USA, Jul. 22-26, 2012.
  14. M. Goring and A. Fay, "Modeling Change and Structural Dependencies of Automation Systems," Proc. of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Krakow, Poland, Sep. 17-21, 2012.
  15. A. Luder, L. Hundt, A. Keibel, "Description of manufacturing processes using AutomationML," Proc. of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sep. 13-16, 2010.
  16. IEC, "Representation of process control engineering - Requests in P&I diagrams and data exchange between P&ID tools and PCE-CAE tools," IEC 62424, International Electrotechnical Commission (2008).
  17. OMG, "OMG Unified Modeling Language (OMG UML) Infrastructure," OMG UML Version 2.4.1, Object Management Group (2011).
  18. IEC, "Industrial systems, installations and equipment and industrial products - Structuring principles and reference designations - Part 1: Basic rules," IEC 81346-1, International Electrotechnical Commission (2009).
  19. F. Puppe, Systematic Introduction to Expert Systems, p.321, Springer-Verlag New York Berlin Heidelberg (1993).
  20. S. Runde, A. Fay, W.-O. Wutzke, "Software Support for Building Automation Requirements Engineering - An Application of Semantic Web Technologies in Automation," IEEE Transactions on Industrial Informatics, vol. 7, no. 4, pp 723-730 (2011). https://doi.org/10.1109/TII.2011.2166784
  21. M. Goring and A. Fay, "Modellierung von Veranderungen in hierarchischen Strukturmodellen automatisierter Anlagen," Softwaretechnik-Trends, vol. 32, no. 2 (2012).
  22. L.C. Pouchard, A.F. Cutting-Decelle, J.J. Michel, M. Gruninger, "ISO 18629 PSL: A Standardised Language for Specifying and Exchanging Process Information," Proc. of the 16th International Federation of Automatic Control (IFAC) World Congress, Prague, Czech Republic, Jul. 4-8, 2005.
  23. M. Goring and A.Fay, "Automation Systems - Formal Modeling of Temporal Change of Physical Structure," Proc of the 38th Annual Conference of the IEEE Industrial Electronics Society (IECON 2012), Montreal, Canada, Oct. 25-28, 2012.
  24. E. Schnieder, Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge fur Automatisierungssysteme, Vieweg-Verlag Braunschweig (1999).
  25. IAEA, "The management System for Facilities and Activities," GS-R-3, General Safety Requirements, International Atomic Energy Agency (2006).
  26. S. Mohringer, Entwicklungsmethodik fur mechatronische Systeme, habilitation dissertation, HNI-Verlagsschriftenreihe, University of Paderborn, Wiesentheid (2005).
  27. W.W. Royce, "Managing the development of large software systems," IEEE WESCON, pp. 1-9 (1970), reprinted in Proc. of the 9th International Conference on Software Engineering (ICSE '87), pp. 328-338 (1987).
  28. N.C. Thomas and E.F. Dowling, "Verification and Validation for Systems Important to Safety," IEEE Transactions on Nuclear Science, vol. NS-29, no. 1, pp. 952-958 (1982).
  29. K. Forsberg and H. Mooz, "The Relationship of System Engineering to the Project Cycle," Engineering Management Journal, vol. 4, no. 3, pp. 36-43 (1992). https://doi.org/10.1080/10429247.1992.11414684
  30. S. Biffl, D. Winkler, R. Hohn, H. Wetzel, "Software Process Improvement in Europe: Potential of the New V-Modell XT and Research Issues," Software Process Improvement and Practice, vol. 11, pp. 229-238 (2006). https://doi.org/10.1002/spip.266
  31. D.R. Graham, "Testing, verification and validation," IEE Colloquium on Layman's Guide to Software Quality (1993).
  32. G.G. Preckshot, "Method for Performin Diversity and Defense-in-Depth Analyses of Reactor Protection Systems," NUREG/CR-6303, prepared for the U.S. Nuclear Regulatory Commission (1994).
  33. R.T. Wood, R. Belles, M.S. Cetiner, D.E. Holcomb, K. Korsah, A.S. Loebl, G.T. Mays, M.D. Muhlheim, J.A. Mullens, W.P. Poore III, A.L. Qualls, T.L. Wilson Jr, M.E. Waterman, "Diversity Strategies for Nuclear Power Plant Instrumentation and Control Systems," Nureg/CR-7007, ORNL/TM-2009/302, U.S. Nuclear Regulatory Commission (2010).
  34. IAEA, "Development and Application of Level 1 Probabilistic Safety Assessment for Nuclear Power Plants," SSG-3, Specific Safety Guide, International Atomic Energy Agency (2010).
  35. IEC, "Analysis techniques for dependability - Event tree analysis (ETA)," IEC 62502, International Electrotechnical Commission (2010).
  36. IEC, "Fault tree analysis (FTA)," IEC 61025, International Electrotechnical Commission (2007).
  37. IEC, "Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)," IEC 60812, International Electrotechnical Commission (2006).
  38. C. Price and N. Taylor, "FMEA For Multiple Failures," Proc. of Annual Reliability and Maintainability Symposium, pp. 43-47 (1998).
  39. L. Grunske, K. Winter, N. Yatapanage, S. Zafar, P.A. Lindsay, "Experience with fault injection experiments for FMEA," Software - Practice and Experience, vol. 41, pp. 1233-1258 (2011). https://doi.org/10.1002/spe.1039