• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 G
• /
• pp.2324-2326
• /
• 1998

Plant controller using VME bus is developed. This controller is a PLC designed to control up to 768 I/O units of POSFA PLC which has been developed already by POSCON. In many programming aspects, it adopts IEC 1131, international standard of PLC programming to keep up with international trends. A system software and a controller architecture including CPU board, DSP board and bus extension board are developed to support the IEC 1131, and becomes a base of E.I. controller being developed now.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2004년도 요약집 춘계학술발표대회
• /
• pp.227-227
• /
• 2004

• 한국컴퓨터정보학회논문지
• /
• 제14권3호
• /
• pp.13-26
• /
• 2009

본 논문에서는 현재 많은 산업 현장에서 자동 제어를 위한 시스템으로 사용하는 PLC를 대체하기 위한 시스템으로 RTOS 기반 시스템을 제안하였다. RTOS 기반 시스템은 PLC의 한계를 극복하고 시스템의 안정성곽 신뢰성을 보장하기 위한 방법으로 PC와 RTOS를 사용하는 시스템이다. 그리고 PLC 기반 시스템을 RTOS 기반 시스템으로 변환하기 위한 방법으로 시스템 모델을 통한 변환 방법을 제안하였고 변환 절차와 변환 방법을 설명하였다. 시스템 모델은 PLC 기반 시스템을 RTOS 기반 시스템으로 변환하기에 앞서 시스템을 상위 레벨에서 하위레벨로 태스크 단위로 분석한 것으로 시스템을 모듈 별로 정의하고 정의된 모듈의 동작을 태스크로 세분화하여 정의한 것이다. 모듈 별로 시스템을 제어하는 것은 PLC를 통한 제어에 비해 성능뿐만 아니라 기능적으로도 향상을 가져오고 추후 시스템의 수정이나 변화 시에도 더 유연하게 대처할 수 있다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• pp.153-158
• /
• 1997

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.291-292
• /
• 2007

This paper deals with the design of control cabinet based on safety PLC for Control Rod Control System(CRCS). The CRCS controls the operation of the CRDMs(Control Rod Drive Mechanisms). The CRDM moves the control rods which regulate the reactor power. vertically in the reactor core. The Control Cabinet in CRCS makes and conveys control signals to the power cabinet which provides power to the CRDM. We designed the Control Cabinet, based on POSAFE-Q, safety PLC. The application programs working in PLC can be programmed by pSET(POSAFE-Q Software Engineering Tool), Identified Development Environment.

• 정보과학회 논문지
• /
• 제43권5호
• /
• pp.569-578
• /
• 2016

PLC (Programmable Logic Controller)는 원자력 발전소의 디지털 제어시스템의 개발을 위해 널리 사용되어왔지만 복잡성의 증가와 유지보수 비용 등의 문제로 인해 FPGA (Field Programmable Gate Array) 기반 제어시스템이 대안으로 떠오르고 있다. 하지만 PLC 개발자가 FPGA 기반 제어시스템을 개발하기 위해서는 FPGA 개발을 위한 언어를 사용해야 하고 기존의 PLC 개발에서 획득한 노하우 및 지식의 재사용을 어렵게 만든다는 등의 문제가 발생한다. 본 논문에서는 이와 같은 문제를 해결하기 위해서 PLC 소프트웨어 개발을 위한 언어 중 하나인 FBD (Function Block Diagram)를 FPGA 개발을 위한 하드웨어 기술 언어 중 하나인 VHDL로의 자동 변환을 위한 방법과 이를 기반으로 개발한 자동 변환 도구인 FBDtoVHDL을 소개한다. 본 연구에서 소개하는 FBDtoVHDL 도구를 사용하여 FBD를 VHDL로 자동 변환함으로써 PLC 개발자는 하드웨어 기술 언어에 대한 지식이 없이도 FPGA 개발하는 것이 가능하다.

• 전기학회논문지
• /
• 제59권1호
• /
• pp.192-196
• /
• 2010

Due to a development of a modem technology as Power Line Communication(PLC) over 200 Mbps, the high-speed multi-media data trasmission could be currently possible. The strength of the PLC has no more additional wiring work. PLC has also possible to high quality data transmission with currently electrical cable. It has a various strong point campare with existing wire and wireless communication technologies. In This paper we develop a high quality media transmitter-receiver based on merging the HomePlug AV, which is 200 Mbps class PLC technology and HDMI Interface technology. The video function was used for the VEDEO TEST GENERATOR in order to a property valuation. Smart Live 6 software were used for the assessment of audio property. As the result of measurement of the HD class images by capturing from the receiver of the PLC, the quality of images couldn't be confirm any deterioration, which has compared with original reflections. In case of audio part as the result of confirmation of the Phase, Magnitude, it has been confirmed that over 90% of nomal transmition and receiving of acoustic signal. It can be possible to have HD class Media service through the PLC.

• Journal of Biosystems Engineering
• /
• 제23권6호
• /
• pp.599-606
• /
• 1998

This study was carried out to develop the control system with PLC and its operating software and to investigate its control ability of greenhouse environments. Two experimental greenhouses were controlled by PLC and ON/OFF controller, respectively. In greenhouse controlled by PLC, target values of air temperature, relative humidity and $CO_2$ concentration were automatically changed. In warm-water heating, the variation of air temperature was reduced to $\pm$ $0.6^{\circ}C$ by the method of proportional-integration(PI) control with an inverter. In ventilation, the variation of air temperature was reduced, since windows open and close with multistage by mutual relation formula among the target, indoor, and outdoor temperature. Relative humidity at daytime was maintained with range of 35% to 55% by PLC controlled fogger. $CO_2$ concentration was automatically controlled from 300 to 800 $\mu$molㆍ$mol^{-1}$ according to amount of solar radiation. The suppling amount and frequency of nutrient solution were controlled by total integrated solar radiation. Difference in the yield of cucumber in the greenhouse controlled by PLC and by ON/OFF controller was not significant at the 5% level.