KR20170125580A - Method and System for Verifying Control Logic in Nuclear Power Plant PLC - Google Patents

Method and System for Verifying Control Logic in Nuclear Power Plant PLC Download PDF

Info

Publication number
KR20170125580A
KR20170125580A KR1020160055531A KR20160055531A KR20170125580A KR 20170125580 A KR20170125580 A KR 20170125580A KR 1020160055531 A KR1020160055531 A KR 1020160055531A KR 20160055531 A KR20160055531 A KR 20160055531A KR 20170125580 A KR20170125580 A KR 20170125580A
Authority
KR
South Korea
Prior art keywords
control logic
plc
logic program
simulation
engineering
Prior art date
Application number
KR1020160055531A
Other languages
Korean (ko)
Inventor
성찬호
정연섭
김용수
최문재
Original Assignee
한국수력원자력 주식회사
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 한국수력원자력 주식회사 filed Critical 한국수력원자력 주식회사
Priority to KR1020160055531A priority Critical patent/KR20170125580A/en
Publication of KR20170125580A publication Critical patent/KR20170125580A/en

Links

Images

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/058—Safety, monitoring
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/10—Plc systems
    • G05B2219/13—Plc programming
    • G05B2219/13174—Pc, computer connected to plc to simulate machine
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/10—Plc systems
    • G05B2219/14—Plc safety
    • G05B2219/14054—Self test

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Testing And Monitoring For Control Systems (AREA)

Abstract

The present invention relates to a method and a system for testing a control logic program of a nuclear power plant programmable logic controller (PLC). A system for verifying the control logic program comprises: the PLC driving the control logic program; a simulation PC transmitting input data for verifying the control logic program to the PLC, receiving an estimated output value with respect to the input data from a user by using a control logic suitability determination software installed therein, receiving a result value of driving by the control logic program from the PLC, comparing the estimated output value with the value received from the PLC, and outputting a compared result; and an engineering PC transmitting the control logic program to the PLC.

Description

원자력 발전소 PLC의 제어논리 검증 방법 및 시스템{Method and System for Verifying Control Logic in Nuclear Power Plant PLC}TECHNICAL FIELD The present invention relates to a method and system for verifying control logic of a nuclear power plant PLC,

본 발명은 원자력 발전소의 제어망에 관한 것으로서, 보다 상세하게는 원자력 발전소 PLC의 제어논리 프로그램을 테스트하기 위한 방법 및 시스템에 관한 것이다.The present invention relates to a control network of a nuclear power plant, and more particularly, to a method and system for testing a control logic program of a nuclear power plant PLC.

최근에는 원자력 발전소의 디지털화가 진행됨에 따라 제어 및 감시 시스템에 컴퓨터를 활용한 시스템이 많이 사용되고 있다. 컴퓨터를 활용한 시스템에는 감시, 제어를 위한 소프트웨어 프로그램들이 장착되어 있으며, 이러한 소프트웨어의 신뢰도는 발전소의 안전 운전과도 직접 및 간접적으로 연관된다. 원자력발전소의 설비는 안전관련 설비와 비안전관련 설비로 구분될 수 있다. 안전관련 설비는 안전운전에 직접적인 영향을 줄 수 있는 설비를 의미하고, 비안전관련 설비는 안전운전에 직접적인 영향을 주지 않는 설비를 의미한다.Recently, as the digitization of nuclear power plants progresses, systems using computers for control and monitoring systems are widely used. Computer-based systems are equipped with software programs for monitoring and control, and the reliability of such software is directly or indirectly related to the safe operation of the plant. The facilities of nuclear power plants can be divided into safety related facilities and non-safety related facilities. Safety related equipment refers to equipment that can directly affect safety driving, and non-safety related equipment refers to equipment that does not directly affect safety driving.

안전관련 설비는 안전에 보다 민감하기 때문에, 이에 적용되는 소프트웨어 프로그램은 신뢰성 있는 조직에 의해 초기 장착 이전에 소프트웨어 확인(Verificaton)/검증(Validation) 과정을 거친다. 그러나 발전소 상업운전 전 시험운전을 하는 과정 또는 상업운전 중 유지보수 기간에 설계변경이 발생할 수 있고 이러한 설계변경에 따라 소프트웨어 프로그램을 변경하는 경우도 발생한다.Because safety-related facilities are more sensitive to safety, the software programs applied to them are subjected to software verification (Verification) / validation processes before initial installation by a reliable organization. However, the design change may occur during the test operation before commercial operation of the power plant or during the maintenance period during commercial operation, and the software program may be changed in accordance with such design change.

종래에는 원자력 발전소의 아날로그 설비 변경은 아날로그 카드의 교체 등의 방법에 의해 수행되었다. 이 때, 안전관련 설비에 설계변경된 카드를 장착하기 전에는 새로 장착될 카드에 대한 입출력확인시험 등의 단위시험을 거치고, 카드가 장착된 후에는 통합 기능시험 과정을 수행하였다. 하지만, 원전의 디지털화가 도입되면서 아날로그 설비와는 다르게 디지털 설비의 설계 변경시에는 소프트웨어 프로그램(또는 로직)의 변경이 수반된다. 하지만, 변경된 프로그램을 실제 디지털 설비에 장착하기 전에는 프로그램의 입출력 적합성, 동작성, 연계성 등 변경된 프로그램을 사전 시험하는 데에 어려움이 있다. 따라서, 본 기술분야에서는 원자력 발전소의 디지털 설비의 설계를 변경할 때 소프트웨어 프로그램을 사전 시험하기 위한 방법에 대한 개발이 요구된다. 예를 들어, 원자력발전소 안전관련 제어용 디지털 설비인 PLC(Programmable Logic Controller)의 제어 프로그램(제어로직)을 실제 설비에 장착하기 전에, 변경된 프로그램에 대한 단위시험을 통해 프로그램의 유효성, 응답성, 적합성 등에 대한 확인 및 검증을 구현하기 위한 장치 및 방법이 요구된다.In the past, the change of the analog equipment of the nuclear power plant was performed by a method such as replacement of the analog card. In this case, before the design-modified card was attached to the safety-related equipment, the unit test such as the input / output confirmation test for the card to be newly installed was performed, and the integrated function test process was performed after the card was mounted. However, unlike analog equipment, the design change of digital equipment accompanies the change of software program (or logic) as the digitization of nuclear power plant is introduced. However, before the modified program is installed in the actual digital equipment, there is a difficulty in pre-testing the changed program, such as suitability of input / output of the program, operation and connection. Accordingly, there is a need in the art to develop methods for pre-testing software programs when changing the design of digital installations of nuclear power plants. For example, before the control program (control logic) of PLC (Programmable Logic Controller), a digital facility for safety control related to nuclear power plants, is installed in an actual facility, unit testing of the changed program is performed to verify effectiveness, An apparatus and a method for realizing verification and verification of the data are required.

본 발명의 기술적 과제는 원자력 발전소 PLC의 제어논리 검증 방법 및 시스템을 제공하기 위함에 있다.The present invention provides a control logic verification method and system for a PLC of a nuclear power plant.

본 발명의 다른 기술적 과제는 원자력 발전소 PLC의 제어논리 프로그램의 유효성, 응답성 및 적합성을 확인 및 검증하기 위한 방법 및 장치를 제공하기 위함에 있다.It is another object of the present invention to provide a method and apparatus for verifying and verifying the validity, responsiveness, and suitability of a control logic program of a nuclear power plant PLC.

본 발명의 일 양태에 따르면, 원자력 발전소 PLC(Programmable Logic Controller)의 제어논리 프로그램을 검증하기 위한 시스템이 제공된다. 상기 제어논리 프로그램 검증 시스템은 상기 제어논리 프로그램을 구동하는 상기 PLC, 상기 PLC에 상기 제어논리 프로그램을 검증하기 위한 입력 데이터를 전송하고, 내부에 설치된 제어논리 적합성 판별 소프트웨어를 이용하여 상기 입력 데이터에 대한 예상 출력값을 사용자로부터 입력받고, 상기 PLC로부터 상기 제어논리 프로그램에 의해 구동된 결과값을 수신하여, 상기 예상 출력값과 상기 PLC로부터 수신된 결과값을 비교하여 비교 결과를 출력하는 시뮬레이션 PC, 상기 PLC에 상기 제어논리 프로그램을 전송하는 엔지니어링 PC를 포함하여 구현된다.According to one aspect of the present invention, a system is provided for verifying a control logic program of a PLC (Programmable Logic Controller) of a nuclear power plant. Wherein the control logic program verification system transmits input data for verifying the control logic program to the PLC driving the control logic program and the PLC, A simulation PC receiving a predicted output value from a user, receiving a result value driven by the control logic program from the PLC, comparing the predicted output value with a result value received from the PLC and outputting a comparison result, And an engineering PC for transmitting the control logic program.

본 발명의 다른 양태에 따르면, 상기 PLC는 상기 시뮬레이션 PC 및 상기 엔지니어링 PC와 데이터를 송수신하기 위한 통신 모듈 및 상기 제어논리 프로그램을 구동하기 위한 프로세서를 포함하여 구현된다.According to another aspect of the present invention, the PLC is implemented including a communication module for transmitting and receiving data with the simulation PC and the engineering PC, and a processor for driving the control logic program.

본 발명의 또 다른 양태에 따르면, 상기 통신 모듈은 AF-100용 통신 모듈로 구현된다.According to another aspect of the present invention, the communication module is implemented as a communication module for AF-100.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC에는 상기 PLC와의 통신을 위한 통신용 카드가 장착되어 구현된다.According to another aspect of the present invention, a communication card for communication with the PLC is mounted on the simulation PC.

본 발명의 또 다른 양태에 따르면, 상기 제어논리 프로그램은 실제 현장설비에 적용될 수 있는 입출력 제어논리가 통신기반 제어논리로 변경된 구성을 포함하여 구현된다.According to another aspect of the present invention, the control logic program is implemented including a configuration in which input / output control logic that can be applied to an actual field facility is changed to communication-based control logic.

본 발명의 또 다른 양태에 따르면, 상기 PLC와 상기 엔지니어링 PC는 직렬통신 방식으로 연결되어 구현된다.According to another aspect of the present invention, the PLC and the engineering PC are connected in a serial communication manner.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 모니터 상에 출력하도록 구현된다.According to another aspect of the present invention, the simulation PC is implemented to output the comparison result on a monitor.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 비프(BEEP) 알림음으로 출력하도록 구현된다.According to another aspect of the present invention, the simulation PC is implemented to output the comparison result as a BEEP announcement sound.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 시험자의 휴대폰 문자 메시지로 전송하도록 구현된다.According to another aspect of the present invention, the simulation PC is implemented to transmit the comparison result to a tester's mobile phone text message.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 상기 엔지니어링 PC에 전송하고, 상기 엔지니어링 PC는 상기 비교 결과가 서로 상이한 경우 다른 제어 논리 프로그램을 검색하여 상기 PLC에 전송하도록 구현된다.According to another aspect of the present invention, the simulation PC transmits the comparison result to the engineering PC, and the engineering PC is configured to search for another control logic program and transmit it to the PLC when the comparison results are different from each other.

본 발명의 또 다른 양태에 따르면, 상기 엔지니어링 PC는 상기 비교 결과를 메모리에 저장하고, 상기 저장된 비교 결과를 기반으로 상기 비교 결과가 저장되어 있지 않은 제어 논리 프로그램을 검색하여 상기 PLC에 전송하도록 구현된다.According to another aspect of the present invention, the engineering PC stores the comparison result in a memory, and searches for a control logic program in which the comparison result is not stored based on the stored comparison result, and transmits the control logic program to the PLC .

본 발명의 또 다른 양태에 따르면, 상기 엔지니어링 PC는 복수 개의 비교 결과를 메모리에 저장할 수 있고, 상기 비교 결과를 메모리에 저장한 후, 상기 비교 결과가 가장 적게 저장된 제어 논리 프로그램을 검색하여 상기 PLC에 전송하도록 구현된다.According to another aspect of the present invention, the engineering PC may store a plurality of comparison results in a memory, store the comparison result in a memory, search a control logic program having the least comparison result, Lt; / RTI >

본 발명의 또 다른 양태에 따르면, 원자력 발전소 PLC(Programmable Logic Controller)의 제어논리 프로그램을 검증하는 방법이 제공된다. 상기 제어논리 프로그램 검증 방법은, 엔지니어링 PC로부터 상기 PLC로 상기 제어논리 프로그램을 전송하는 단계, 시뮬레이션 PC로부터 상기 PLC로 상기 제어논리 프로그램을 검증하기 위한 입력 데이터를 전송하는 단계, 상기 PLC에 의해 상기 제어논리 프로그램을 구동하여 상기 입력값에 대한 결과값을 생성하는 단계, 상기 PLC로부터 상기 시뮬레이션 PC로 상기 결과값을 전송하는 단계, 상기 시뮬레이션 PC 내부에 설치된 제어논리 적합성 판별 소프트웨어를 사용하여 상기 입력 데이터에 대한 예상 출력값을 사용자로부터 입력받는 단계, 상기 시뮬레이션 PC에 의해 상기 결과값과 상기 예상 출력값을 비교하여, 비교 결과를 출력하는 단계 및 상기 비교 결과를 상기 시뮬레이션 PC로부터 상기 엔지니어링 PC로 전송하는 단계를 포함하여 구현된다.According to another aspect of the present invention, a method for verifying a control logic program of a programmable logic controller (PLC) of a nuclear power plant is provided. The control logic program verification method comprising the steps of: transferring the control logic program from the engineering PC to the PLC; transmitting input data for verifying the control logic program from the simulation PC to the PLC; Generating a result value for the input value by driving a logic program, transmitting the resultant value from the PLC to the simulation PC, using control logic suitability determination software installed in the simulation PC, Comparing the resultant value with the expected output value by the simulation PC, outputting a comparison result, and transmitting the comparison result from the simulation PC to the engineering PC .

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 모니터 상에 출력하도록 구현된다.According to another aspect of the present invention, the simulation PC is implemented to output the comparison result on a monitor.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 비프(BEEP) 알림음으로 출력하도록 구현된다.According to another aspect of the present invention, the simulation PC is implemented to output the comparison result as a BEEP announcement sound.

본 발명의 또 다른 양태에 따르면, 상기 시뮬레이션 PC는 상기 비교 결과를 시험자의 휴대폰 문자 메시지로 전송하도록 구현된다.According to another aspect of the present invention, the simulation PC is implemented to transmit the comparison result to a tester's mobile phone text message.

본 발명의 또 다른 양태에 따르면, 상기 제어논리 프로그램 검증 방법은, 상기 시뮬레이션 PC는 상기 비교 결과를 상기 엔지니어링 PC에 전송하는 단계 및 상기 엔지니어링 PC는 상기 비교 결과가 서로 상이한 경우, 다른 제어 논리 프로그램을 검색하여 상기 PLC에 전송하는 단계를 더 포함하여 구현된다. According to another aspect of the present invention, there is provided a method for verifying the control logic program, wherein the simulation PC transmits the comparison result to the engineering PC, and the engineering PC determines whether the comparison result is different, And transmitting the search result to the PLC.

본 발명의 또 다른 양태에 따르면, 상기 엔지니어링 PC는 상기 비교 결과를 메모리에 저장하고, 상기 저장된 비교 결과를 기반으로 상기 비교 결과가 저장되어 있지 않은 제어 논리 프로그램을 검색하여 상기 PLC에 전송하여 구현된다.According to another aspect of the present invention, the engineering PC stores the comparison result in a memory, and searches for a control logic program in which the comparison result is not stored based on the stored comparison result and transmits the control logic program to the PLC .

본 발명의 또 다른 양태에 따르면, 상기 엔지니어링 PC는 복수 개의 비교 결과를 메모리에 저장할 수 있고, 상기 비교 결과를 메모리에 저장한 후, 상기 비교 결과가 가장 적게 저장된 제어 논리 프로그램을 검색하여 상기 PLC에 전송하여 구현된다.According to another aspect of the present invention, the engineering PC may store a plurality of comparison results in a memory, store the comparison result in a memory, search a control logic program having the least comparison result, .

본 발명에 따르면, 원자력 발전소 PLC의 제어 프로그램을 실제 설비에 장착하기 전에 설비의 제어논리 프로그램의 유효성, 응답성 및 적합성을 확인 및 검증할 수 있다.According to the present invention, validity, responsiveness, and suitability of the control logic program of the facility can be verified and verified before the control program of the nuclear power plant PLC is installed in the actual facility.

도 1은 본 발명에 따른 PLC 제어논리 프로그램 검증 시스템의 개략적인 구조를 나타내는 블록도이다.
도 2는 본 발명에 따른 PLC 제어논리 프로그램 검증 방법을 나타내는 흐름도이다.
도 3은 본 발명에 따른 PLC 제어논리 프로그램 검증 방법의 데이터 흐름도이다.1 is a block diagram showing a schematic structure of a PLC control logic program verification system according to the present invention.
2 is a flowchart illustrating a PLC control logic program verification method according to the present invention.
3 is a data flow diagram of a PLC control logic program verification method according to the present invention.

이하, 첨부된 도면을 참조하여 본 발명의 실시 예에 대하여 본 발명이 속하는 기술 분야에서 통상의 지식을 가진 자가 용이하게 실시할 수 있도록 상세히 설명한다. 그러나 본 발명은 여러 가지 상이한 형태로 구현될 수 있으며 이하에서 개시되는 실시 예에 한정되지 않는다. 또한 도면에서 본 발명을 명확하게 개시하기 위해서 본 발명과 관계없는 부분은 생략하였으며, 도면에서 동일하거나 유사한 부호들은 동일하거나 유사한 구성요소들을 나타낸다.Hereinafter, exemplary embodiments of the present invention will be described in detail with reference to the accompanying drawings so that those skilled in the art can easily carry out the present invention. The present invention may, however, be embodied in many different forms and should not be construed as limited to the embodiments set forth herein. Also, in order to clearly illustrate the present invention in the drawings, portions not related to the present invention are omitted, and the same or similar reference numerals denote the same or similar components.

본 발명의 목적 및 효과는 하기의 설명에 의하여 자연스럽게 이해되거나 보다 분명해질 수 있으며, 하기의 기재만으로 본 발명의 목적 및 효과가 제한되는 것은 아니다.The objects and effects of the present invention can be understood or clarified naturally by the following description, and the objects and effects of the present invention are not limited only by the following description.

본 발명의 목적, 특징 및 장점은 다음의 상세한 설명을 통하여 보다 분명해질 것이다. 또한, 본 발명을 설명함에 있어서 본 발명과 관련된 공지 기술에 대한 구체적인 설명이, 본 발명의 요지를 불필요하게 흐릴 수 있다고 판단되는 경우에는 그 상세한 설명을 생략하기로 한다. 이하, 첨부된 도면을 참조하여 본 발명에 따른 실시예를 상세히 설명하기로 한다.The objects, features and advantages of the present invention will become more apparent from the following detailed description. In the following description, well-known functions or constructions are not described in detail since they would obscure the invention in unnecessary detail. Hereinafter, embodiments of the present invention will be described in detail with reference to the accompanying drawings.

도 1은 본 발명에 따른 PLC(Programmable Logic Controller) 제어논리 프로그램 검증 시스템의 일예를 나타낸다.1 shows an example of a PLC (Programmable Logic Controller) control logic program verification system according to the present invention.

도 1을 참조하면, 본 발명에 따른 PLC 제어논리 프로그램 검증 시스템은 PLC(110), 시뮬레이션 PC(120), 엔지니어링 PC(130)를 포함하여 구성된다.Referring to FIG. 1, a PLC control logic program verification system according to the present invention includes a PLC 110, a simulation PC 120, and an engineering PC 130.

PLC(110)는 통신 모듈(111) 및 프로세서(Processor, 113)를 포함하여 구성된다. 통신 모듈(111)은 PLC(110)가 시뮬레이션 PC(120) 및 엔지니어링 PC(130)로부터 데이터를 수신하거나 이들에 데이터를 전송한다. 상기 통신 모듈(111)은 AF-100 용 통신 모듈이 사용될 수 있다. 프로세서(113)는 제어논리 프로그램을 구동한다. 구체적으로 프로세서(113)는 통신 모듈(111)을 통해 엔지니어링 PC(130)로부터 제어논리 프로그램을 수신하고, 시뮬레이션 PC(120)로부터 입력 데이터를 수신하여 제어논리 프로그램을 구동하고, 출력값을 생성한다. 상기 출력값은 통신 모듈을 통해 시뮬레이션 PC(120)로 전송된다.The PLC 110 includes a communication module 111 and a processor 113. The communication module 111 receives the data from the simulation PC 120 and the engineering PC 130 or transmits the data to them. The communication module 111 may be a communication module for AF-100. The processor 113 drives the control logic program. Specifically, the processor 113 receives a control logic program from the engineering PC 130 via the communication module 111, receives input data from the simulation PC 120, and drives the control logic program to generate an output value. The output value is transmitted to the simulation PC 120 through the communication module.

시뮬레이션 PC(120)는 PLC(110)의 제어논리 프로그램을 검증하기 위해 PLC의 통신 모듈(113)에 시험값, 즉, 입력 데이터를 송신하고, 상기 시험값에 대한 PLC(110)의 연산 결과를 수신한다. 시뮬레이션 PC(120)에는 상기와 같은 PLC의 통신 모듈(113)과의 데이터 송수신을 위한 통신용 카드(도시되지 않음)가 장착될 수 있다. 상기 시뮬레이션 PC(120)는 통신선(140)을 통해 PLC(110)의 통신 모듈(113)에 연결된다. 상기 통신선(140)은 예를 들어, AF-100 용 통신선(140)이 사용될 수 있다. 또한, 상기 통신용 카드는 엔지니어링 PC(130)와의 통신을 위해서 사용될 수도 있다.The simulation PC 120 transmits a test value, that is, input data to the communication module 113 of the PLC in order to verify the control logic program of the PLC 110 and outputs the calculation result of the PLC 110 to the test value . The simulation PC 120 may be equipped with a communication card (not shown) for transmitting / receiving data to / from the communication module 113 of the PLC. The simulation PC 120 is connected to the communication module 113 of the PLC 110 via the communication line 140. As the communication line 140, for example, a communication line 140 for AF-100 may be used. The communication card may also be used for communication with the engineering PC 130. [

엔지니어링 PC(130)는 실제 현장설비에 적용될 수 있는 입출력(I/O) 제어논리를 통신기반 제어논리로 변경하고, 상기 제어논리 프로그램은 상기 통신기반 제어논리로 변경된 구성을 포함한다. 이 때, 엔지니어링 PC(130)와 PLC(110)는 직렬통신 방식으로 유선으로 연결될 수 있다.The engineering PC 130 changes input / output (I / O) control logic that can be applied to actual field installations to communication-based control logic, and the control logic program includes a configuration changed to the communication-based control logic. At this time, the engineering PC 130 and the PLC 110 can be connected by a serial communication method.

시뮬레이션 PC(120)에는 제어논리 적합성 판별 소프트웨어가 설치되어 PLC(110)에 장착된 제어논리 프로그램의 적합성을 판별할 수 있다. 상기 시뮬레이션 PC(120)는 상기 제어논리 적합성 판별 소프트웨어를 이용하여 제어논리의 입력 데이터에 대한 예상 출력값을 계산한다. 한편, 시뮬레이션 PC(120)는 OPC(OLE for Process Control) 서버 기능을 이용하여 PLC(120)에 제어논리 검증을 위한 입력 데이터를 전송하고, PLC(120)에서 처리된 결과값을 수신하여, 입력 데이터에 대한 제어논리의 예상 출력값과 비교하여 비교 결과를 출력한다. 상기 비교 결과는 시뮬레이션 PC(120)의 모니터 상에 출력될 수 있다. 예를 들어, PLC(110)에서 처리된 결과값이 예상 출력값과 동일하면 시뮬레이션 PC(120)의 모니터 상에 'PASS'를 출력하고, PLC(110)에서 처리된 결과값이 예상 출력값과 상이하면 시뮬레이션 PC(120)의 모니터 상에 'FAIL'을 출력할 수 있다. 한편, 시뮬레이션 PC(120)는 상기 비교 결과를 프린터 등을 이용하여 인쇄할 수도 있고, 상기 비교 결과를 비프(BEEP) 알림 음으로 출력할 수 있다. 또한, 시뮬레이션 PC(120)는 상기 비교 결과를 시험자에게 휴대폰 문자 메시지로 전송할 수도 있다.The simulation PC 120 is provided with control logic suitability determining software to determine suitability of a control logic program mounted on the PLC 110. [ The simulation PC 120 calculates the expected output value of the input data of the control logic using the control logic conformance determining software. Meanwhile, the simulation PC 120 transmits the input data for the control logic verification to the PLC 120 using the OLE (OLE for Process Control) server function, receives the processed result from the PLC 120, And compares the predicted output value of the control logic with the data to output the comparison result. The comparison result may be output on the monitor of the simulation PC 120. [ For example, if the result processed by the PLC 110 is the same as the expected output value, 'PASS' is output on the monitor of the simulation PC 120. If the result processed by the PLC 110 is different from the expected output value 'FAIL' can be output on the monitor of the simulation PC 120. Meanwhile, the simulation PC 120 may print the comparison result using a printer or the like, and may output the comparison result as a beep sound. In addition, the simulation PC 120 may transmit the comparison result to the tester in a mobile phone text message.

한편, 상기 시뮬레이션 PC(120) 및 엔지니어링 PC(130)의 기능은 하나의 통합된 PC 내에서 모두 구현될 수 있다. 이 때, 상기 통합된 PC는 AF-100 모드의 통신과 직렬통신 방식의 통신이 모두 가능한 PC일 수 있다.Meanwhile, the functions of the simulation PC 120 and the engineering PC 130 can be implemented in one integrated PC. At this time, the integrated PC may be a PC capable of both communication in the AF-100 mode and communication in the serial communication mode.

도 2는 본 발명에 따른 PLC 제어논리 프로그램 검증 시스템의 검증 방법을 나타낸다.2 shows a verification method of a PLC control logic program verification system according to the present invention.

도 2를 참조하면, 엔지니어링 PC(130)는 PLC(110)에 제어논리 프로그램을 전송한다(S210). 상기 전송되는 제어논리 프로그램은 실제 현장설비에 적용될 수 있는 입출력(I/O) 제어논리를 통신기반 제어논리로 변경한 프로그램이다. 이 때, 엔지니어링 PC(130)와 PLC(110)는 직렬통신 방식으로 연결될 수 있다.Referring to FIG. 2, the engineering PC 130 transmits a control logic program to the PLC 110 (S210). The transmitted control logic program is a program in which input / output (I / O) control logic that can be applied to actual field facilities is changed to communication based control logic. At this time, the engineering PC 130 and the PLC 110 can be connected in a serial communication manner.

다음으로, 시뮬레이션 PC(120)는 PLC(110)에 제어논리 검증을 위한 입력 데이터를 전송한다(S220).Next, the simulation PC 120 transmits the input data for the control logic verification to the PLC 110 (S220).

시뮬레이션 PC(120)로부터 입력 데이터를 수신한 PLC(110)는 제어논리 프로그램을 구동하여 결과값을 생성한다(S230).The PLC 110 receiving the input data from the simulation PC 120 drives the control logic program to generate a resultant value (S230).

PLC(110)는 제어논리 프로그램에 의해 생성된 결과값을 시뮬레이션 PC(120)로 전송한다(S240).The PLC 110 transmits the result value generated by the control logic program to the simulation PC 120 (S240).

시뮬레이션 PC(120)는 PLC(110)로부터 수신한 결과값을 모니터 상에 출력한다(S250). 한편, 시뮬레이션 PC(120)는 상기 결과값을 프린터 등을 이용하여 인쇄할 수도 있고, 결과값사용자에게 휴대폰 문자 메시지로 전송할 수도 있다.The simulation PC 120 outputs the result value received from the PLC 110 on the monitor (S250). Meanwhile, the simulation PC 120 may print the resultant value using a printer or the like, and may transmit the resultant value to a user of the result value by using a mobile phone text message.

도 3은 본 발명에 따른 PLC 제어논리 프로그램 검증 시스템의 데이터 흐름을 나타낸다.3 shows a data flow of the PLC control logic program verification system according to the present invention.

도 3을 참조하면, 엔지니어링 PC(130)는 PLC(110)에 제어논리 프로그램을 전송한다(S310). 상기 전송되는 제어논리 프로그램은 실제 현장설비에 적용될 수 있는 입출력(I/O) 제어논리를 통신기반 제어논리로 변경한 프로그램이다. 이 때, 엔지니어링 PC(130)와 PLC(110)는 직렬통신 방식으로 연결될 수 있다.Referring to FIG. 3, the engineering PC 130 transmits a control logic program to the PLC 110 (S310). The transmitted control logic program is a program in which input / output (I / O) control logic that can be applied to actual field facilities is changed to communication based control logic. At this time, the engineering PC 130 and the PLC 110 can be connected in a serial communication manner.

다음으로, 시뮬레이션 PC(120)는 PLC(110)에 제어논리 검증을 위한 입력 데이터를 전송한다(S320).Next, the simulation PC 120 transmits input data for control logic verification to the PLC 110 (S320).

시뮬레이션 PC(120)로부터 입력 데이터를 수신한 PLC(110)는 제어논리 프로그램을 구동하여 결과값을 생성한다(S330).The PLC 110 receiving the input data from the simulation PC 120 drives the control logic program to generate a resultant value (S330).

PLC(110)는 제어논리 프로그램에 의해 생성된 결과값을 시뮬레이션 PC(120)로 전송한다(S340).The PLC 110 transmits the resultant value generated by the control logic program to the simulation PC 120 (S340).

시뮬레이션 PC(120)는 PLC(110)로부터 수신한 결과값을 화면에 출력한다(S350). 한편, 시뮬레이션 PC(120)는 상기 결과값을 프린터 등을 이용하여 인쇄할 수도 있고, 상기 결과값을 비프(BEEP) 알림 음으로 출력할 수 있다. 또한, 시뮬레이션 PC(120)는 상기 비교 결과를 시험자에게 휴대폰 문자 메시지로 전송할 수도 있다.The simulation PC 120 outputs the result value received from the PLC 110 to the screen (S350). Meanwhile, the simulation PC 120 may print the resultant value using a printer or the like, and output the resultant value as a beep sound. In addition, the simulation PC 120 may transmit the comparison result to the tester in a mobile phone text message.

본 발명에 따르면, 원자력 발전소 PLC의 제어 프로그램을 실제 설비에 장착하기 전에 설비의 제어논리 프로그램의 유효성, 응답성 및 적합성을 확인 및 검증할 수 있다.According to the present invention, validity, responsiveness, and suitability of the control logic program of the facility can be verified and verified before the control program of the nuclear power plant PLC is installed in the actual facility.

본 발명이 속하는 기술분야에서 통상의 지식을 가진 자라면, 본 발명의 기술적 사상을 벗어나지 않는 범위 내에서, 여러 가지 치환, 변형 및 변경이 가능하므로, 본 발명은 전술한 실시 예 및 첨부된 도면에 의해 한정되는 것이 아니다.It will be apparent to those skilled in the art that various modifications and variations can be made in the present invention without departing from the spirit or scope of the inventive concept as defined by the appended claims. But is not limited thereto.

상술한 예시적인 시스템에서, 방법들은 일련의 단계 또는 블록으로써 순서도를 기초로 설명되고 있지만, 본 발명은 단계들의 순서에 한정되는 것은 아니며, 어떤 단계는 상술한 바와 다른 단계와 다른 순서로 또는 동시에 발생할 수 있다. 또한, 당업자라면 순서도에 나타낸 단계들이 배타적이지 않고, 다른 단계가 포함되거나 순서도의 하나 또는 그 이상의 단계가 본 발명의 범위에 영향을 미치지 않고 삭제될 수 있음을 이해할 수 있을 것이다.In the above-described exemplary system, the methods are described on the basis of a flowchart as a series of steps or blocks, but the present invention is not limited to the order of the steps, and some steps may occur in different orders . It will also be understood by those skilled in the art that the steps shown in the flowchart are not exclusive and that other steps may be included or that one or more steps in the flowchart may be deleted without affecting the scope of the invention.

Claims (11)

원자력 발전소 PLC(Programmable Logic Controller)의 제어논리 프로그램을 검증하기 위한 시스템에 있어서,
상기 제어논리 프로그램을 구동하는 상기 PLC;
상기 PLC에 상기 제어논리 프로그램을 검증하기 위한 입력 데이터를 전송하고, 상기 PLC로부터 상기 제어논리 프로그램에 의해 구동된 결과값을 수신하여, 상기 PLC로부터 수신된 결과값을 출력하는 시뮬레이션 PC;
상기 PLC에 상기 제어논리 프로그램을 전송하는 엔지니어링 PC
를 포함하는 제어논리 프로그램 검증 시스템.
A system for verifying a control logic program of a programmable logic controller (PLC) of a nuclear power plant,
A PLC for driving the control logic program;
A simulation PC for transmitting input data for verifying the control logic program to the PLC, receiving a result value driven by the control logic program from the PLC, and outputting a result value received from the PLC;
An engineering PC for transmitting the control logic program to the PLC
And a control logic program verification system.
제1항에 있어서, 상기 PLC는
상기 시뮬레이션 PC 및 상기 엔지니어링 PC와 데이터를 송수신하기 위한 통신 모듈; 및
상기 제어논리 프로그램을 구동하기 위한 프로세서
를 포함하는 것을 특징으로 하는 제어논리 프로그램 검증 시스템.
2. The method of claim 1,
A communication module for transmitting and receiving data to and from the simulation PC and the engineering PC; And
A processor for driving the control logic program
And a control logic program verification system.
제2항에 있어서, 상기 통신 모듈은 AF-100용 통신 모듈인 것을 특징으로 하는 제어논리 프로그램 검증 시스템.
3. The control logic program verification system of claim 2, wherein the communication module is a communication module for the AF-100.
제1항에 있어서, 상기 시뮬레이션 PC에는 상기 PLC와의 통신을 위한 통신용 카드가 장착되어 있는 것을 특징으로 하는 제어논리 프로그램 검증 시스템.
The control logic program verification system according to claim 1, wherein the simulation PC is equipped with a communication card for communication with the PLC.
제1항에 있어서, 상기 제어논리 프로그램은 실제 현장설비에 적용될 수 있는 입출력 제어논리가 통신기반 제어논리로 변경된 구성을 포함하는 것을 특징으로 하는 제어논리 프로그램 검증 시스템.
2. The control logic program verification system of claim 1, wherein the control logic program comprises a configuration in which the input / output control logic that may be applied to the actual field facility is changed to communication-based control logic.
제1항에 있어서, 상기 PLC와 상기 엔지니어링 PC는 직렬통신 방식으로 연결된 것을 특징으로 하는 제어논리 프로그램 검증 시스템.
2. The control logic program verification system of claim 1, wherein the PLC and the engineering PC are connected in a serial communication manner.
제1항에 있어서, 상기 시뮬레이션 PC는 상기 수신된 결과값을 모니터 상에 출력하는 것을 특징으로 하는 제어논리 프로그램 검증 시스템.
The control logic program verification system of claim 1, wherein the simulation PC outputs the received result value on a monitor.
제1항에 있어서, 상기 시뮬레이션 PC는 상기 수신된 결과값을 사용자의 휴대폰 문자 메시지로 전송하는 것을 특징으로 하는 제어논리 프로그램 검증 시스템.

The control logic program verification system of claim 1, wherein the simulation PC transmits the received result value to a user's mobile phone text message.

원자력 발전소 PLC(Programmable Logic Controller)의 제어논리 프로그램을 검증하는 방법에 있어서,
엔지니어링 PC로부터 상기 PLC로 상기 제어논리 프로그램을 전송하는 단계;
시뮬레이션 PC로부터 상기 PLC로 상기 제어논리 프로그램을 검증하기 위한 입력 데이터를 전송하는 단계;
상기 PLC에 의해 상기 제어논리 프로그램을 구동하여 상기 입력값에 대한 결과값을 생성하는 단계;
상기 PLC로부터 상기 시뮬레이션 PC로 상기 결과값을 전송하는 단계; 및
상기 시뮬레이션 PC에 의해 상기 PLC로부터 수신된 결과값을 출력하는 단계;
를 포함하는 것을 특징으로 하는 제어논리 프로그램 검증 방법.
A method for verifying a control logic program of a programmable logic controller (PLC) of a nuclear power plant,
Transmitting the control logic program from the engineering PC to the PLC;
Transmitting input data for verifying the control logic program from the simulation PC to the PLC;
Driving the control logic program by the PLC to produce a result value for the input value;
Transmitting the result value from the PLC to the simulation PC; And
Outputting a result value received from the PLC by the simulation PC;
Wherein the control logic program verification method comprises:
제9항에 있어서, 상기 시뮬레이션 PC는 상기 결과값을 모니터 상에 출력하는 것을 특징으로 하는 제어논리 프로그램 검증 방법.
10. The method according to claim 9, wherein the simulation PC outputs the resultant value on a monitor.
제9항에 있어서, 상기 시뮬레이션 PC는 상기 결과값을사용자의 휴대폰 문자 메시지로 전송하는 것을 특징으로 하는 제어논리 프로그램 검증 방법.
10. The method of claim 9, wherein the simulation PC transmits the resultant value as a user's mobile phone text message.
KR1020160055531A 2016-05-04 2016-05-04 Method and System for Verifying Control Logic in Nuclear Power Plant PLC KR20170125580A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020160055531A KR20170125580A (en) 2016-05-04 2016-05-04 Method and System for Verifying Control Logic in Nuclear Power Plant PLC

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020160055531A KR20170125580A (en) 2016-05-04 2016-05-04 Method and System for Verifying Control Logic in Nuclear Power Plant PLC

Publications (1)

Publication Number Publication Date
KR20170125580A true KR20170125580A (en) 2017-11-15

Family

ID=60387093

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020160055531A KR20170125580A (en) 2016-05-04 2016-05-04 Method and System for Verifying Control Logic in Nuclear Power Plant PLC

Country Status (1)

Country Link
KR (1) KR20170125580A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102063873B1 (en) 2018-10-11 2020-01-08 한국전력기술 주식회사 Method and System for Real-Time Common Cause Failure Diagnosis and Monitoring
KR20220170666A (en) * 2021-06-23 2022-12-30 한국수력원자력 주식회사 Apparatus for generating regular drawings for nuclear safety grades and Method for that

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102063873B1 (en) 2018-10-11 2020-01-08 한국전력기술 주식회사 Method and System for Real-Time Common Cause Failure Diagnosis and Monitoring
KR20220170666A (en) * 2021-06-23 2022-12-30 한국수력원자력 주식회사 Apparatus for generating regular drawings for nuclear safety grades and Method for that

Similar Documents

Publication Publication Date Title
US11262276B2 (en) Monitoring system
US20170315544A1 (en) Distributed control system, control device, control method, and program
US20200201310A1 (en) Method for verifying measurement control system of nuclear power plant, and verification device therefor
KR101865666B1 (en) Apparatus and System for Simulating Core Protection system software
US20180129761A1 (en) Test System Having Data Collection Unit for Dynamic Positioning Controller System of Ship
KR20170125580A (en) Method and System for Verifying Control Logic in Nuclear Power Plant PLC
KR101469179B1 (en) System for diagnosing communication error of nuclear power plant simmulator
KR20090012528A (en) Method and apparatus for autonomous online test of random number generator
US8959252B2 (en) Method for configuring a field device and corresponding system for parameterization
US20210262727A1 (en) Secure remote access to a reefer control system
KR101449360B1 (en) System for controlling a nuclear power plant and method of driving the same
KR101396501B1 (en) An auto loop signal tester for interposing logic system of the nuclear power plants
EP3206101A1 (en) Test device for monitoring control device
US11194685B2 (en) Recording medium for verifying correlation between test signal and test result signal, verification apparatus and verification method
US20080174419A1 (en) Alarm information processing device and alarm information processing method
KR101475596B1 (en) dispatcher training system and its control method
JP2016021166A (en) Plant instrumentation system
CN110347420A (en) A kind of distribution terminal software version consistency detecting method and system
KR101740666B1 (en) Method for operating cyber security evaluation managemental system
KR101682000B1 (en) Excore neutron flux Audible counter for Nuclear power plant stimulator
CN115442247B (en) Adopt artificial intelligence data processing fortune dimension case
Kanazy et al. Contribution onto Prognosability Based on Discrete Events Systems
KR101516353B1 (en) Simulator base on the signal database
KR102594239B1 (en) Apparatus for judging common errors and the method for judging common errors
JP2008172702A (en) Remote automatic test device

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
E601 Decision to refuse application