A formal software requirements specification method for digital nuclear plant protection systems
The work
| Authors | Junbeom Yoo; Taihyo Kim; Sungdeok Cha; Jang-Soo Lee; Han Seong Son |
|---|---|
| Editors | |
| Type | article |
| Year | 2005 |
| Citekey | yoo2005formal |
Where it appeared
| Published in | Journal of Systems and Software |
|---|---|
| Volume | 74 |
| Issue | 1 |
| Pages | 73--83 |
Identifiers
| DOI | 10.1016/j.jss.2003.10.018 |
|---|
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.
A copy is held
pdf, 687.3 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-16 15:42 UTC |
Filed under
Cite it as
@article{yoo2005formal,
title = {A formal software requirements specification method for digital nuclear plant protection systems},
author = {Junbeom Yoo and Taihyo Kim and Sungdeok Cha and Jang-Soo Lee and Han Seong Son},
year = {2005},
journal = {Journal of Systems and Software},
volume = {74},
number = {1},
pages = {73--83},
doi = {10.1016/j.jss.2003.10.018},
}
This record lives at https://refs.drheap.org/yoo2005formal/ and will keep doing so.