NuSEE: Nuclear Software Engineering Environment

Seo Ryong Koo (), Han Seong Son () and Poong Hyun Seong ()
Additional contact information
Seo Ryong Koo: Doosan Heavy Industries and Construction Co., Ltd.
Han Seong Son: Joongbu University
Poong Hyun Seong: Korea Advanced Institute of Science and Technology

Chapter 6 in Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems, 2009, pp 121-135 from Springer

Abstract: 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.

Keywords: Programmable Logic Controller; Software Requirement Specification; Function Block Diagram; Software Configuration Management; Software Lifecycle (search for similar items in EconPapers)
Date: 2009
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ssrchp:978-1-84800-384-2_6

Ordering information: This item can be ordered from
http://www.springer.com/9781848003842

DOI: 10.1007/978-1-84800-384-2_6

Access Statistics for this chapter

More chapters in Springer Series in Reliability Engineering from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().