Software V&V methods for digital plant protection system

被引：0
|
作者：
Kim, HJ [1 ]
Han, JB [1 ]
Chun, CS [1 ]
Kim, S [1 ]
Kim, KJ [1 ]
机构：
[1] Korea Power Engn Co Inc, KOPEC, Instrumentat & Control Syst Engn Dept, Yu Sung Gu, Teajeon, South Korea
来源：
PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2 | 1997年
关键词：
D O I：
暂无
中图分类号：
TL [原子能技术]; O571 [原子核物理学];
学科分类号：
0827 ; 082701 ;
摘要：
Careful thought must be given to software design in the development of digital based systems that play a critical role in the successful operation of nuclear power plants. To evaluate the software verification and validation methods as well as to verify its system performance capabilities for the upgrade instrumentation and control system in the Korean future nuclear power plants, the prototype Digital Plant Protection System (DPPS) based on the Programmable Logic Controller (PLC) has been constructed. The system design description and features are briefly presented, and the software design and software verification and validation methods are focused.
引用
收藏
页码：796 / 801
页数：2
相关论文
共 50 条
  • [41] Verification and validation (V&V) for fast reactor system analysis code FASYS
    Zhao, Y.
    Kuang, B.
    Wang, J.
    Hou, J. M.
    Liu, P. F.
    ANNALS OF NUCLEAR ENERGY, 2023, 192
  • [42] V&V through inconsistency tracking and analysis
    Easterbrook, S
    Callahan, J
    Wiels, V
    NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS, 1998, : 43 - 49
  • [43] CFD V&V and open benchmark database
    Bai, Wen
    Li, Li
    Li, Zhou-Ming
    Liang, Yi-Hua
    Chinese Journal of Aeronautics, 2006, 19 (02): : 160 - 167
  • [44] Issues in V&V of autonomous and adaptive systems
    Tiwari, A
    Sinha, P
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1339 - 1342
  • [45] The Role of Model V&V in the Defining of Specifications
    Simmermacher, Todd
    Tipton, Greg
    Cap, Jerry
    Mayes, Randy
    MODEL VALIDATION AND UNCERTAINTY QUANTIFICATION, VOL 3, 2015, : 257 - 263
  • [46] An approach to V&V of embedded adaptive systems
    Yerramalla, S
    Liu, Y
    Fuller, E
    Cukic, B
    Gururajan, S
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 173 - 188
  • [47] VERIFICATION AND VALIDATION (V&V) OF GUIDANCE & CONTROL SYSTEMS: RESULTS FROM THE FIRST INTER-AGENCY WORKSHOP ON GNC V&V
    Dennehy, Cornelius
    Bennani, Samir
    Shankar, Uday
    Vandersteen, Jeroen
    VanZwieten, Tannen
    Von der Porten, Paul
    Wolf, Aron
    Girouart, Benedicte
    Casasco, Massimo
    PROCEEDINGS OF THE 44TH ANNUAL AMERICAN ASTRONAUTICAL SOCIETY GUIDANCE, NAVIGATION, AND CONTROL CONFERENCE, AAS 2022, 2024, : 399 - 432
  • [48] 综述:知识系统的V&V技术
    曾庆田
    梁永全
    段华
    计算机科学, 2006, (02) : 19 - 24
  • [49] V&V APPLICATION ON PRIVATE AND US GOVERNMENT PROJECTS
    Knight, Kelly J.
    Peltier, Joel
    Berkoe, Jon M.
    PROCEEDINGS OF THE ASME FLUIDS ENGINEERING DIVISION SUMMER CONFERENCE, VOL 1, PTS A-C, 2009, : 1995 - 2000
  • [50] 'Zonder de V&V is een organisatie nergens'
    DIRK JAN VEENSTRA
    TVZ - Verpleegkunde in praktijk en wetenschap, 2021, 131 (3) : 19 - 21
12345