Nuclear Engineering and Technology

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

NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICAL SYSTEMS

  • Koo, Seo-Ryong (Department of Nuclear and Quantum Engineering) ;
  • Seong, Poong-Hyun (Department of Nuclear and Quantum Engineering) ;
  • Yoo, Jun-Beom (Department of Electrical Engineering & Computer Science, Division of Computer Science) ;
  • Cha, Sung-Deok (Department of Electrical Engineering & Computer Science, Division of Computer Science) ;
  • Youn, Cheong (Chungnam National University, Department of Information and Communication) ;
  • Han, Hyun-Chul (CQCom Inc.)
  • Published : 2006.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

Keywords

References

  1. EPRI, Handbook for verification and validation of digital systems Vol.1: Summary, EPRI TR-103291, Vol.1, 1994
  2. IEEE, IEEE Standard 1012 for Software Verification and Validation, an American National Standard, 1998
  3. M.E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development,' IBM system Journal, Vol. 15, No. 3, pp. 182-211, 1976 https://doi.org/10.1147/sj.153.0182
  4. Yeong-Jae, Yoo, 'Development of a Traceability Analysis Method based on Case Grammar for NPP Requirement Documents written in Korean Language', M.S. Thesis, Department of Nuclear and Quantum Engineering, KAIST, 2003
  5. J. Yoo, T. Kim, S. Cha, J. Lee and H. S. Son, 'A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems', Journal of Systemsand Software, accepted
  6. S. Koo, P. Seong and S. Cha, 'Software Design Specification and Analysis Technique for the Safety Critical Software based on Programmable Logic Controller (PLC)', Eighth IEEE International Symposium on High Assurance Systems Engineering, pp. 283-284, 2004 https://doi.org/10.1109/HASE.2004.1281760
  7. S. Koo, P. Seong, J. Jung and S. Choi, 'Software Design Specification and Analysis (NuFDS) Approach for the Safety Critical Software based on Programmable Logic Controller (PLC)', Proceedings of the Korean Nuclear Spring Meeting, 2004
  8. S. Koo, P. Seong, J. Yoo, S. Cha and Y. Yoo, 'An Effective Technique for the Software Requirements Analysis of NPP Safety-Critical Systems, Based on Software Inspection, Requirements Traceability and Formal Specification', Reliability Engineering & System Safety, 2004, in press https://doi.org/10.1016/j.ress.2004.08.024
  9. D. Harel, 'Statecharts: A Visual Formalism for Complex Systems,' Science of Computer Programming, vol. 8, pp.231-274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
  10. Kurt Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1, Springer-Verlag Berlin Heidelberg, 1997
  11. N.G. Leveson, M.P.E. Heimdahl, H. Hildreth and J.D. Reese, 'Requirements Specification for Process-Control Systems,' IEEE Transaction on Software Engineering, vol.20, no.9, Sept. 1994. https://doi.org/10.1109/32.317428
  12. C. Heitmeyer and B. Labaw, 'Consistency Checking of SCR-style Requirements Specification', International Symposium on Requirements Engineering, March 1995 https://doi.org/10.1109/ISRE.1995.512546
  13. WolsongnNPP 2/3/4, Software Work Practice Procedure for the Specification of SRS for Safety Critical Systems, Design Document no. 00-68000-SWP-002, Rev. 0, Sept. 1991
  14. J. Hopcroft and J. Ullman, Introduction to Automata Theory, Language and Computation, Addison-Wesley, 1979
  15. R. Alur and David L. Dill, 'A theory of Timed Automata,' Theoretical Computer Science Vol. 126, No. 2, pp. 183-236, April 1994 https://doi.org/10.1016/0304-3975(94)90010-8
  16. Roger S. Pressman, Software Engineering: A practitioner's approach, McGRAW-HILL Book Co, 2001
  17. IEC, IEC Standard 61131-3: Programmable controllers-Part 3, IEC 61131, 1993
  18. KOPEC. Functional Requirements for ATWS Mitigation System for KORI NPP UNIT 1, 2001
  19. KOPEC. Software Requirements Specification for ATWS Mitigation System for KORI NPP UNIT 1, 2001
  20. KNICS (Korea Nuclear Instrumentation and Control System Research and Development Center). http://www.knics.re.kr