This paper presents the independent Verification and Validation (V&V) process for safety software of Programmable Logic Controller (PLC) ,Digital Reactor Protection System (DRPS), and Engineered Safety Feature-Component Control System (ESF CCS) in Korea Nuclear Instrumentation and Control System (KNICS) projects.

Static analysis of software security techniques and tools

This article briefly presents the existing problem within software engineering course teaching and the essentiality of software security,and proposes applying the software security thoughtway to the software engineering course design.

After specifying common risk simply, this paper puts forward the software risk concept of safety-critical system and the metrics definition of software risk, and discusses the risk analysis and calculation way of safety-critical software.

Based on the research work of the authors to test safety control system of railway station, this paper discusses the whole structure of a test and assessment platform (T&AP) for safety critical software.