• 대한안전경영과학회지
• /
• 제12권2호
• /
• pp.65-73
• /
• 2010

In an automated industry PLC plays a central role to control the manufacturing system. Therefore, fault free operation of PLC controlled manufacturing system is essential in order to maximize a firm's productivity. On the contrary, distributed nature of manufacturing system and growing complexity of the PLC programs presented a challenging task of designing a rapid fault finding system for an uninterrupted process operation. Hence, designing an intelligent monitoring, and diagnosis system is needed for smooth functioning of the operation process. In this paper, we propose a method to continuously acquire a stream of PLC signal data from the normal operational PLC-based manufacturing system and to generate diagnosis model from the observed PLC signal data. Consequently, the generated diagnosis model is used for distinguish the possible abnormalities of manufacturing system. To verify the proposed method, we provided a suitable case study of an assembly line.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 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.

• 제어로봇시스템학회논문지
• /
• 제2권1호
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 V
• /
• pp.2601-2604
• /
• 2003

원전 안전계통에 적용될 PLC는 엄격한 내진, 전자파, 내환경 시험기준을 만족해야 하며, 원전 안전등급에 부합되는 안전성 및 신뢰성을 만족해야 한다. 전 세계에서 안전계통에 적용될 PLC는 Siemens 의 Teleperm XS, Invensys 의 Triconex, WestingHouse 의 AC-160 이 있으며, 국내에서는 원전 안전계통 개발시 전적으로 이들 PLC 수입에 의존하고 있다. 현재 한국원자력연구소와 국내 PLC 제조회사간에 공동과제를 통해 안전등급 PLC 개발을 수행하고 있으며, 본 논문에서는 개발될 PLC 의 설계기준과 개발된 하드웨어 및 소프트웨어 사양 등 개발현황에 대해 기술한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.1630-1631
• /
• 2007

This paper deals with the design of control cabinet based on safety PLC for reactor power control system(PCS). The PCS controls the operation of the CEDMs(Control Element Drive Mechanisms). The CEDM moves the CEAs(Control Element Assemblies) which regulates the reactor power, vertically in the reactor core. The Control Cabinet in PCS makes and conveys control signals to the power cabinet which provides power to the CEDM. We designed the Control Cabinet, based on POSAFE-Q, safety PLC. The application programs working in PLC can be programmed by pSET, Identified Development Environment.

• 정보보호학회논문지
• /
• 제29권2호
• /
• pp.365-375
• /
• 2019

PLC(Programmable Logic Controller)는 안전 지향 제어시스템(safety-critical control system)을 위한 실시간 임베디드 제어 애플리케이션들을 지원하는 고신뢰성의 산업용 디지털 컴퓨터이다. PLC의 실시간 제약조건을 만족시키기 위하여 uC/OS 등의 실시간 운영체제들이 구동되고 있다. PLC들이 산업제어 시스템 등에 널리 보급되고 인터넷에 연결됨에 따라, PLC 시스템을 대상으로 한 사이버 공격들이 증대되고 있다. 본 논문에서는, 통합 개발 환경(IDE)에서 개발된 프로그램이 PLC로 다운로드 되기 전에 실행 코드를 분석하여 취약성을 완화시켜 주는 "실행코드 새니타이저(sanitizer)"를 제안한다. 제안기법은, PLC 프로그램 개발 중에 포함되는 취약한 함수들과 잘못된 메모리 참조를 탐지한다. 이를 위해 취약한 함수 DB 및 이상 포인터 연산과 관련된 코드 패턴들의 DB를 관리한다. 이들 DB를 기반으로, 대상 실행 코드 상에 취약 함수들의 포함 여부 및 포인터 변수의 이상 사용 패턴을 탐지 제거한다. 제안 기법을 구현하고 실험을 통해 그 유효성을 검증하였다.

• 제어로봇시스템학회논문지
• /
• 제12궈1호
• /
• pp.1-8
• /
• 2006

The home network system guarantees families a safe, economical, socially integrated and healthy life by using information appliances. And it provides a family with domestic safety, control of instruments, controllable energy and health monitoring by connecting to home appliances. This study designs the broadband PLC home controller using broadband PLC(Power Line Communication) technology which can save much cost at a network infrastructure by using the existing power line at home. The broadband PLC home controller consists of the broadband PLC module, the embedded main controller module and I/O module. The broadband PLC home controller can control various domestic appliances such as an auto door-lock, a boiler, an oven, etc., because it has various I/O specifications. In this study, selected home network middleware for the broadband PLC home controller is Jini surrogate using Jini technology designed by means of access to easily a home network system without a limitation of the devices. And a client application program is supported java servlet program to manage and monitor the broadband PLC home controller via web browser of a PC or a PDA, etc. Finally, for an application, we implemented and tested a home security system using one broadband PLC home controller.

• 전기전자학회논문지
• /
• 제25권1호
• /
• pp.116-127
• /
• 2021

본 논문에서는 과도 상태 성능 향상이 있는 PLC와 인버터의 동시 제어기법을 제안한다. 기존 기계식 주차설비에서는 PLC만을 활용한 제어 방식이어서 유도전동기에 과전류를 발생시킬 확률이 높고, 브레이크 패드에 마찰로 인한 마모와 손상으로 승차감이 낮아지고, 수명이 단축된다. 이를 개선하기 위해서 PLC와 인버터의 동시 제어를 통한 제어 기법을 적용한 경우 유도전동기에 과전류를 방지하며 브레이크 패드를 보호하고, 승차감 향상, 제어성 상승과 안전성을 확보한다. 제안한 PLC와 인버터의 동시 제어를 통한 제어 방식을 기계식 주차설비에 적용하여 그 타당성을 검증한다.