References
- IAEA, "Core Knowledge on Instrumentation and Control Systems in Nuclear Power Plants," NP-T-3.12, Nuclear Energy Series, International Atomic Energy Agency (2011).
- IAEA, "Design of Instrumentation and Control Systems for Nuclear Power Plants," DS-431, Draft Safety Guide, International Atomic Energy Agency (2012).
- 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.
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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).
- 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
- IEC, "Nuclear power plants - Instrumentation and control for systems important to safety - General requirements for systems," IEC 61513, International Electrotechnical Commission (2001).
- 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.
- 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.
- 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.
- 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).
- OMG, "OMG Unified Modeling Language (OMG UML) Infrastructure," OMG UML Version 2.4.1, Object Management Group (2011).
- 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).
- F. Puppe, Systematic Introduction to Expert Systems, p.321, Springer-Verlag New York Berlin Heidelberg (1993).
- 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
- M. Goring and A. Fay, "Modellierung von Veranderungen in hierarchischen Strukturmodellen automatisierter Anlagen," Softwaretechnik-Trends, vol. 32, no. 2 (2012).
- 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.
- 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.
- E. Schnieder, Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge fur Automatisierungssysteme, Vieweg-Verlag Braunschweig (1999).
- IAEA, "The management System for Facilities and Activities," GS-R-3, General Safety Requirements, International Atomic Energy Agency (2006).
- S. Mohringer, Entwicklungsmethodik fur mechatronische Systeme, habilitation dissertation, HNI-Verlagsschriftenreihe, University of Paderborn, Wiesentheid (2005).
- 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).
- 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).
- 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
- 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
- D.R. Graham, "Testing, verification and validation," IEE Colloquium on Layman's Guide to Software Quality (1993).
- 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).
- 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).
- IAEA, "Development and Application of Level 1 Probabilistic Safety Assessment for Nuclear Power Plants," SSG-3, Specific Safety Guide, International Atomic Energy Agency (2010).
- IEC, "Analysis techniques for dependability - Event tree analysis (ETA)," IEC 62502, International Electrotechnical Commission (2010).
- IEC, "Fault tree analysis (FTA)," IEC 61025, International Electrotechnical Commission (2007).
- IEC, "Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)," IEC 60812, International Electrotechnical Commission (2006).
- C. Price and N. Taylor, "FMEA For Multiple Failures," Proc. of Annual Reliability and Maintainability Symposium, pp. 43-47 (1998).
- 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