Published May 2014 | Version v1
Report Open

Development of Software Verification Tool for Nuclear Safety Control System

Creators

Description

Scope of technical support for practical usage and contents of the project - Development the prototype to test directly the safety grade FBD program - Development the prototype to do a formal verification about safety grade FBD program - Integration among controling engineering tools based on Eclipse platform -Extension and applicable features of techniques - Utilization in software validation for nuclear controller based on the PLC at domestic and abroad - Extended utilization in software validation for industrial automatic system.

Availability note (English)

Also available from KAERI

Files

49104105.pdf

Files (4.5 MB)

Name Size Download all
md5:20faa6ecbd44a1592f6949982226945a
4.5 MB Preview Download

Additional details

Publishing Information

Imprint Pagination
105 p.
Report number
KAERI/RR--3720/2013

INIS

Country of Publication
Korea, Republic of
Country of Input or Organization
Korea, Republic of
INIS RN
49104105
Subject category
S22: GENERAL STUDIES OF NUCLEAR REACTORS; S99: GENERAL AND MISCELLANEOUS;
Descriptors DEI
AUTOMATION; COMPUTER CODES; CONTROL SYSTEMS; SAFETY; USES; VALIDATION; VERIFICATION
Descriptors DEC
TESTING

Optional Information

Notes
22 refs, 134 figs, 1 tab