NuSEE: Nuclear Software Engineering Environment

  • Seo Ryong Koo
  • Han Seong Son
  • Poong Hyun Seong
Part of the Springer Series in Reliability Engineering book series (RELIABILITY)


The concept of software V&V throughout the software development lifecycle has been accepted as a means to assure the quality of safety-critical systems for more than a decade [1]. The Integrated Environment (IE) approach is introduced as one of the countermeasures for V&V (Chapter 5). Adequate tools are accompanied by V&V techniques for the convenience and efficiency of V&V processes. This chapter introduces NuSEE (Nuclear Software Engineering Environment), which is a toolset to support the IE approach developed at Korea Advanced Institute of Science and Technology (KAIST) [2]. The software lifecycle consists of concept, requirements, design, implementation, and test phases. Each phase is clearly defined to separate the activities to be conducted within it. Minimum V&V tasks for safety-critical systems are defined for each phase in IEEE Standard 1012 for “Software Verification and Validation” (Figure 6.1) [3]. V&V tasks are traceable back to the software requirements. A critical software product should be understandable for independent evaluation and testing. The products of all lifecycle phases are also evaluated for software quality attributes, such as correctness, completeness, consistency, and traceability. Therefore, it is critical to define an effective specification method for each software development phase and V&V task based on the effective specifications during the whole software lifecycle.


Programmable Logic Controller Software Requirement Specification Function Block Diagram Software Configuration Management Software Lifecycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    EPRI (1994) Handbook for verification and validation of digital systems Vol.1: Summary, EPRI TR-103291Google Scholar
  2. [2]
    Koo SR, Seong PH, Yoo J, Cha SD, Youn C, Han H (2006) NuSEE: an integrated environment of software specification and V&V for NPP safety-critical systems. Nuclear Engineering and TechnologyGoogle Scholar
  3. [3]
    IEEE (1998) IEEE Standard 1012 for software verification and validation, an American National StandardGoogle Scholar
  4. [4]
    Yoo YJ (2003) 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, KAISTGoogle Scholar
  5. [5]
    Harel D (1987) Statecharts: a visual formalism for complex systems. Science of Computer Programming, Vol. 8, pp. 231–274zbMATHCrossRefMathSciNetGoogle Scholar
  6. [6]
    Jensen K (1997) Coloured Petri nets: basic concepts, analysis methods and practical uses, Vol. 1. Springer–Verlag, Berlin HeidelbergGoogle Scholar
  7. [7]
    Leveson NG, Heimdahl MPE, Hildreth H, Reese JD (1994) Requirements specification for process-control systems. IEEE Transaction on Software Engineering, Vol. 20, No. 9, Sept.Google Scholar
  8. [8]
    Heitmeyer C, Labaw B (1995) Consistency checking of SCR-style requirements specification. International Symposium on Requirements Engineering, MarchGoogle Scholar
  9. [9]
    Wolsong NPP 2/3/4 (1991) Software work practice procedure for the specification of SRS for safety critical systems. Design Document no. 00-68000-SWP-002, Rev. 0, Sept.Google Scholar
  10. [10]
    Hopcroft J, Ullman J (1979) Introduction to automata theory, language and computation, Addison–WesleyGoogle Scholar
  11. [11]
    Alur R, Dill DL (1994) A theory of timed automata. Theoretical Computer Science Vol. 126, No. 2, pp. 183–236, AprilzbMATHCrossRefMathSciNetGoogle Scholar
  12. [12]
    Pressman RS (2001) Software engineering: a practitioner's approach. McGraw–Hill Book Co.Google Scholar
  13. [13]
    Koo SR, Seong PH (2005) Software Design Specification and Analysis Technique (SDSAT) for the Development of Safety-critical Systems Based on a Programmable Logic Controller (PLC), Reliability Engineering and System SafetyGoogle Scholar
  14. [14]
    IEC (1993) IEC Standard 61131-3: Programmable controllers–Part 3, IEC 61131Google Scholar

Copyright information

© Springer London 2009

Authors and Affiliations

  • Seo Ryong Koo
    • 1
  • Han Seong Son
    • 2
  • Poong Hyun Seong
    • 3
  1. 1.Nuclear Power Plant Business GroupDoosan Heavy Industries and Construction Co., Ltd.Yongin-SiKorea, Republic of
  2. 2.Department of Game EngineeringJoongbu UniversityKumsan-gunKorea, Republic of
  3. 3.Department of Nuclear and Quantum EngineeringKorea Advanced Institute of Science and TechnologyDaejeonKorea, Republic of

Personalised recommendations