• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Proceedings of the IEEK Conference
• /
• 2003.07c
• /
• pp.2795-2798
• /
• 2003

본 논문에서는 국내에서 개발하고 있는 과학로켓용 발사통제시스템(FCS, Fire Control System)의 시퀀스제어의 처리 영역을 PLC 시스템을 사용하여 구현하였다. 프로세서의 이중화를 통하여 Hot Backup 시스템을 구축하고 ControlNet 네트워크［l］［2］를 기반으로 하는 프로세서와 I/O 간의 통신을 이용하였다. 먼저 로켓 발사통제시스템의 개요 및 주요 임무에 대하여 설명하고 기존에 사용된 발사통제시스템 구성을 분석하였다. PLC 시스템의 개요와 CPU 동작 내용 그리고 ControlNet 통신방식에 대하여 설명하고 프로세서를 이중화한 시스템을 제안하였다. 또한 이중화된 프로세서의 Switchover［2］방법을 알아보고 이러한 조건에 따른 PLC 시스템을 응용한 발사 통제시스템을 구성하여 이를 위해 작성된 시스템 운용 Ladder Diagram 프로그램에 대한 기술을 논하였다. 개발된 PLC 시스템의 구성을 제시하고 발사체 및 각종 지원시설과 연계한 시험을 통하여 성능을 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.523-526
• /
• 2004

본 논문은 산업용 자동화기기에 사용되는 다수의 PLC(Programmable Logic Controller)를 모니터링하고 제어하기 위해, HMI(Human Machine Interface) 시스템에서 구동되는 저작 도구 응용프로그램을 설계 및 구현한다. HMI 저작 도구에서는 스크린이라는 가상화면 객체의 영역 안에서 태그라는 구성요소의 속성들을 편집하고 저장 및 전송하는 과정을 그래픽 화면을 통해 시각적으로 제공한다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.42 no.3 s.303
• /
• pp.25-32
• /
• 2005

PLC is the most widely utilized among many sorts of existing controller for the design of process control system, and study about a PLC language is performed actively. In this paper, we proposed the method that we increase an output points when increased of the output machine which is going to control it in the FA design that used PLC. Output point is going to be extended with 2-3 points in the state that cannot equip output unit in basic base any more. Then an extension base, a power supply, an extension cable and an output unit must be equipped particularly. Then a cost must be added very much. This paper propose the method which extended an output in a small quantity. We designed the expansion unit that received the points of output unit and decoded the signal and the program module that finally extended output points by encoding and decoding, and we confirmed his feasibility through a experiment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.244-247
• /
• 2006

본 논문에서는 검사장비에 제어용 라이브러리를 연구, 개발을 하였다. 개발된 라이브러리는 OPC 클라이어트, 스테이지 구동, 스위치 구동, 현미경 구동, 화상처리, 얼라이먼트, 태스크 관리로 나뉘며, 라이브러리 테스트 프로그램을 개발하여 모든 라이브러리의 기능 구현 테스트를 실시하고 있다. 제어 시스템 분야에서 세계 표준인OPC 개념을 도입하여, 검사 장비의 PLC 프로그램과 네트워크를 통해 데이터를 주고, 받을 수 있도록 OPC 서버를 사용하여 데이터를 관리하였다. 실제 검사장비에 탑재하기 전에 성능테스트를 위해PLC에 테스트 프로그램을 입력하여 실험을 하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.2
• /
• pp.283-294
• /
• 1996

To operate the automatic devices of manufacturing process more effectively and to solve the needs of the resource sharing, network technology is applied to the unit control devices located in common manufacturing zone and operated by connecting them. This paper introduces deign and test operation of cell system for the management of multivendor PLC by applying to wall paper process based on the manufacturing standardization of CIM. The analysis of designed multivendor PLC group is performed by selecting the parameters such as variation of data packet size and node number of PLC ladder logic program and variation by analyzing the corresponding variation values of token rotation time and waiting time for the system operation. For the method of the analysis,the equation is considering the overhead such as indicated packet service time and transmission safety margin for PLC network connection in M/G/1 queue model,and it is applied to the cell system and PLC group manage-ment for operation .Through the experiment,it is found that the realtime processing is possible with expanded and better result than the resuit obtained by Jayasumana.Browaka with PLC scan time considered,response lower limit of 10-20 msec. data packet size not more than 50 bytes.and the number of nodes less than 40.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.296-299
• /
• 2007

본 논문에서는 전기로 합금철 투입 중량을 보다 정밀하게 제어하기 위하여 퍼지 함수를 사용한 제어 기법을 적용하였다. 합금철 중량 제어에 사용된 퍼지 제어는 기존 단순 패턴 제어에 비하여 합금철 계량 정밀도를 높였으며, 합금철 계량 시간을 크게 단축시켰다. 한편 퍼지 제어 함수는 제어수식을 일반화시켜서 Programmable Logic Controller (PLC)의 래더 프로그램으로 구현하였다.

• Proceedings of the KIEE Conference
• /
• 1998.07g
• /
• pp.2402-2404
• /
• 1998

This paper proposes a translation method that converts ladder diagrams to binary executable codes for PLC (programmable logic controller)s. A PLC based on general purpose DSP(digital signal processor) validates the method. We performed a benchmark on the system that compares the execution time of the interpretation method and ours. Experimenal result shows how fast this method executes programs that consist of codes generated.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.146-148
• /
• 2010

본 논문에서는 SFC로 기술된 PLC 프로그램에서 외부 이벤트가 발생하는데 엣지동작에 관해 고찰해 본다. SFC 프로그램에서는 이벤트가 발생하는데 상승엣지와 하강엣지일 때의 이진 신호 이론을 고찰해보고, 수학적인 정의는 어떻게 정리되는지를 고찰해본다.