Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
EPRI (1994) Handbook for verification and validation of digital systems Vol.1: Summary, EPRI TR-103291
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 Technology
IEEE (1998) IEEE Standard 1012 for software verification and validation, an American National Standard
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, KAIST
Harel D (1987) Statecharts: a visual formalism for complex systems. Science of Computer Programming, Vol. 8, pp. 231–274
Jensen K (1997) Coloured Petri nets: basic concepts, analysis methods and practical uses, Vol. 1. Springer–Verlag, Berlin Heidelberg
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.
Heitmeyer C, Labaw B (1995) Consistency checking of SCR-style requirements specification. International Symposium on Requirements Engineering, March
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.
Hopcroft J, Ullman J (1979) Introduction to automata theory, language and computation, Addison–Wesley
Alur R, Dill DL (1994) A theory of timed automata. Theoretical Computer Science Vol. 126, No. 2, pp. 183–236, April
Pressman RS (2001) Software engineering: a practitioner's approach. McGraw–Hill Book Co.
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 Safety
IEC (1993) IEC Standard 61131-3: Programmable controllers–Part 3, IEC 61131
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer London
About this chapter
Cite this chapter
Koo, S., Son, H., Seong, P. (2009). NuSEE: Nuclear Software Engineering Environment. In: Seong, P. (eds) Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems. Springer Series in Reliability Engineering. Springer, London. https://doi.org/10.1007/978-1-84800-384-2_6
Download citation
DOI: https://doi.org/10.1007/978-1-84800-384-2_6
Publisher Name: Springer, London
Print ISBN: 978-1-84800-383-5
Online ISBN: 978-1-84800-384-2
eBook Packages: EngineeringEngineering (R0)