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

被引：28
|
作者：
Yoo, J
Kim, T
Cha, S
Lee, JS
Son, HS
机构：
[1] Korea Adv Inst Sci & Technol, Dept Elect Engn & Comp Sci, Taejon 305701, South Korea
[2] AITrc SPIC, Taejon 305701, South Korea
[3] Korea Atom Energy Res Inst, MMIS Team, Taejon, South Korea
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 2005年 / 74卷 / 01期
关键词：
formal specification; software requirements; digital plant protection system;
D O I：
10.1016/j.jss.2003.10.018
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. (C) 2003 Elsevier Inc. All rights reserved.
引用
收藏
页码：73 / 83
页数：11
相关论文
共 50 条
  • [21] Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches
    Rodrigues, Peterson
    Ecar, Miguel
    Menezes, Stefane V.
    da Silva, Joao Pablo S.
    Guedes, Gilleanes T. A.
    Rodrigues, Elder M.
    PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 416 - 423
  • [22] RAPID PROTOTYPING IN REQUIREMENTS SPECIFICATION PHASE OF SOFTWARE SYSTEMS
    Ghajar-Dowlatshahi, Jahangir
    Vernekar, Ashok
    INCOSE International Symposium, 1994, 4 (01) : 125 - 130
  • [23] An Automatic Generation and Verification Method of Software Requirements Specification
    Wei, Xiaoyang
    Wang, Zhengdi
    Yang, Shuangyuan
    ELECTRONICS, 2023, 12 (12)
  • [24] Discussion on: Formal Specification Method for Systems Automation
    Instituto de Investigación en Informá tica de Albacete, Universidad de Castilla-La Mancha, Campus Univ. s/n, Albacete, Spain
    Eur J Control, 2006, 2 (132-133):
  • [25] Discussion on: "Formal specification method for systems automation"
    Zaytoon, Janan
    Valero, V.
    Cambronero, M. E.
    Petin, J. -F.
    Morel, G.
    Panetto, H.
    EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 131 - 134
  • [26] Bases for the development of LAST:: a formal method for business software requirements specification (vol 44, pg 65, 2002)
    Almendros-Jiménez, JM
    González-Jiménez, L
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (06) : 393 - 393
  • [27] Requirements specification and analysis of digital systems using FARHDL
    Shen, VRL
    Kuo, FH
    Lai, FP
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (03) : 317 - 328
  • [28] Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
    Son, HS
    Seong, PH
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2003, 80 (01) : 19 - 32
  • [29] Visualization of Quality of Software Requirements Specification Using Digital Elevation Model
    Parwoto, Diding Adi
    Omori, Takayuki
    Itoga, Hiroya
    Ohnishi, Atsushi
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 209 - 215
  • [30] Requirements specification and software engineering properties of service oriented systems
    Král, J
    Zemlicka, M
    INNOVATIONS THROUGH INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2004, : 265 - 268
12345