A formal software requirements specification method for digital nuclear plant protection systems

Junbeom Yoo, Taihyo Kim, Sungdeok Cha, Jang S. Lee, Han Seong Son

Research output: Contribution to journalArticle

33 Citations (Scopus)

Abstract

This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by providing graphical or tabular notations depending on the type of operations. NuSCR specifications can be formally analyzed for completeness, consistency, and against the properties specified in temporal logic. We introduce the syntax and semantics of NuSCR and demonstrate the effectiveness of the approach using reactor protection system, digital protection system being developed in Korea, as a case study.

Original languageEnglish
Pages (from-to)73-83
Number of pages11
JournalJournal of Systems and Software
Volume74
Issue number1 SPEC. ISS.
DOIs
Publication statusPublished - 2005 Jan 1
Externally publishedYes

Fingerprint

Specifications
Temporal logic
Nuclear power plants
Semantics

Keywords

  • Digital plant protection system
  • Formal specification
  • Software requirements

ASJC Scopus subject areas

  • Computer Science Applications
  • Information Systems
  • Software

Cite this

A formal software requirements specification method for digital nuclear plant protection systems. / Yoo, Junbeom; Kim, Taihyo; Cha, Sungdeok; Lee, Jang S.; Son, Han Seong.

In: Journal of Systems and Software, Vol. 74, No. 1 SPEC. ISS., 01.01.2005, p. 73-83.

Research output: Contribution to journalArticle

Yoo, Junbeom ; Kim, Taihyo ; Cha, Sungdeok ; Lee, Jang S. ; Son, Han Seong. / A formal software requirements specification method for digital nuclear plant protection systems. In: Journal of Systems and Software. 2005 ; Vol. 74, No. 1 SPEC. ISS. pp. 73-83.
@article{ea4fea75f899481ab694f5059292d4c2,
title = "A formal software requirements specification method for digital nuclear plant protection systems",
abstract = "This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by providing graphical or tabular notations depending on the type of operations. NuSCR specifications can be formally analyzed for completeness, consistency, and against the properties specified in temporal logic. We introduce the syntax and semantics of NuSCR and demonstrate the effectiveness of the approach using reactor protection system, digital protection system being developed in Korea, as a case study.",
keywords = "Digital plant protection system, Formal specification, Software requirements",
author = "Junbeom Yoo and Taihyo Kim and Sungdeok Cha and Lee, {Jang S.} and Son, {Han Seong}",
year = "2005",
month = "1",
day = "1",
doi = "10.1016/j.jss.2003.10.018",
language = "English",
volume = "74",
pages = "73--83",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",
number = "1 SPEC. ISS.",

}

TY - JOUR

T1 - A formal software requirements specification method for digital nuclear plant protection systems

AU - Yoo, Junbeom

AU - Kim, Taihyo

AU - Cha, Sungdeok

AU - Lee, Jang S.

AU - Son, Han Seong

PY - 2005/1/1

Y1 - 2005/1/1

N2 - This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by providing graphical or tabular notations depending on the type of operations. NuSCR specifications can be formally analyzed for completeness, consistency, and against the properties specified in temporal logic. We introduce the syntax and semantics of NuSCR and demonstrate the effectiveness of the approach using reactor protection system, digital protection system being developed in Korea, as a case study.

AB - This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by providing graphical or tabular notations depending on the type of operations. NuSCR specifications can be formally analyzed for completeness, consistency, and against the properties specified in temporal logic. We introduce the syntax and semantics of NuSCR and demonstrate the effectiveness of the approach using reactor protection system, digital protection system being developed in Korea, as a case study.

KW - Digital plant protection system

KW - Formal specification

KW - Software requirements

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

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

U2 - 10.1016/j.jss.2003.10.018

DO - 10.1016/j.jss.2003.10.018

M3 - Article

AN - SCOPUS:4944251718

VL - 74

SP - 73

EP - 83

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

IS - 1 SPEC. ISS.

ER -