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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.jss.2003.10.018 | Journal of Systems and Software |
Keywords | Field | DocType |
nuscr specification,specification method,temporal logic,formal software requirement,formal specification,software requirements,tabular notation,digital plant protection system,case study,nuclear power plant,reactor protection system,digital nuclear plant protection,digital protection system,software requirements specification,plant protection | Reactor protection system,Systems engineering,Computer science,Formal specification,Language Of Temporal Ordering Specification,Formal methods,System requirements specification,Software requirements specification,Functional specification,Formal verification | Journal |
Volume | Issue | ISSN |
74 | 1 | The Journal of Systems & Software |
Citations | PageRank | References |
13 | 1.44 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Junbeom Yoo | 1 | 143 | 19.86 |
Taihyo Kim | 2 | 18 | 1.89 |
Sungdeok Cha | 3 | 220 | 19.73 |
Jang-Soo Lee | 4 | 120 | 12.60 |
Hanseong Son | 5 | 51 | 5.54 |