An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification

Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Sungdeok Cha, Yeong Jae Yoo

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis is suggested. For requirements verification and validation (V&V) tasks, our technique uses software inspection, requirement traceability, and formal specification with structural decomposition. Software inspection and requirements traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for requirements, which is an integrated approach that enables easy inspection by combining requirement traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for requirements. Called the nuclear software inspection support and requirements traceability (NuSISRT), the tool incorporates software inspection, requirement traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of requirement traceability. In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS).

Original languageEnglish
Pages (from-to)248-260
Number of pages13
JournalReliability Engineering and System Safety
Volume89
Issue number3
DOIs
Publication statusPublished - 2005 Sep 1
Externally publishedYes

Fingerprint

Safety-critical Systems
Requirements Analysis
Nuclear Power Plant
Traceability
Formal Specification
Nuclear power plants
Inspection
Software
Requirements
Formal methods
Nuclear engineering
Formal Analysis
Formal Methods
Software System
Formal specification
Requirements Specification
Verification and Validation
Decomposition
Specifications
Software Tools

Keywords

  • Formal method
  • Inspection
  • Safety-critical systems
  • Software requirements analysis
  • Traceability
  • V&V

ASJC Scopus subject areas

  • Mechanical Engineering
  • Safety, Risk, Reliability and Quality

Cite this

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. / Koo, Seo Ryong; Seong, Poong Hyun; Yoo, Junbeom; Cha, Sungdeok; Yoo, Yeong Jae.

In: Reliability Engineering and System Safety, Vol. 89, No. 3, 01.09.2005, p. 248-260.

Research output: Contribution to journalArticle

@article{cbfdc95fe8604629835cbe0f13f7575b,
title = "An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification",
abstract = "A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis is suggested. For requirements verification and validation (V&V) tasks, our technique uses software inspection, requirement traceability, and formal specification with structural decomposition. Software inspection and requirements traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for requirements, which is an integrated approach that enables easy inspection by combining requirement traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for requirements. Called the nuclear software inspection support and requirements traceability (NuSISRT), the tool incorporates software inspection, requirement traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of requirement traceability. In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS).",
keywords = "Formal method, Inspection, Safety-critical systems, Software requirements analysis, Traceability, V&V",
author = "Koo, {Seo Ryong} and Seong, {Poong Hyun} and Junbeom Yoo and Sungdeok Cha and Yoo, {Yeong Jae}",
year = "2005",
month = "9",
day = "1",
doi = "10.1016/j.ress.2004.08.024",
language = "English",
volume = "89",
pages = "248--260",
journal = "Reliability Engineering and System Safety",
issn = "0951-8320",
publisher = "Elsevier Limited",
number = "3",

}

TY - JOUR

T1 - An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification

AU - Koo, Seo Ryong

AU - Seong, Poong Hyun

AU - Yoo, Junbeom

AU - Cha, Sungdeok

AU - Yoo, Yeong Jae

PY - 2005/9/1

Y1 - 2005/9/1

N2 - A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis is suggested. For requirements verification and validation (V&V) tasks, our technique uses software inspection, requirement traceability, and formal specification with structural decomposition. Software inspection and requirements traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for requirements, which is an integrated approach that enables easy inspection by combining requirement traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for requirements. Called the nuclear software inspection support and requirements traceability (NuSISRT), the tool incorporates software inspection, requirement traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of requirement traceability. In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS).

AB - A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis is suggested. For requirements verification and validation (V&V) tasks, our technique uses software inspection, requirement traceability, and formal specification with structural decomposition. Software inspection and requirements traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for requirements, which is an integrated approach that enables easy inspection by combining requirement traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for requirements. Called the nuclear software inspection support and requirements traceability (NuSISRT), the tool incorporates software inspection, requirement traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of requirement traceability. In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS).

KW - Formal method

KW - Inspection

KW - Safety-critical systems

KW - Software requirements analysis

KW - Traceability

KW - V&V

UR - http://www.scopus.com/inward/record.url?scp=15844389109&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=15844389109&partnerID=8YFLogxK

U2 - 10.1016/j.ress.2004.08.024

DO - 10.1016/j.ress.2004.08.024

M3 - Article

AN - SCOPUS:15844389109

VL - 89

SP - 248

EP - 260

JO - Reliability Engineering and System Safety

JF - Reliability Engineering and System Safety

SN - 0951-8320

IS - 3

ER -