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

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

Research output: Contribution to journalArticle

35 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
Externally publishedYes

Keywords

  • Digital plant protection system
  • Formal specification
  • Software requirements

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'A formal software requirements specification method for digital nuclear plant protection systems'. Together they form a unique fingerprint.

  • Cite this