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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.877-880
• /
• 1991

In this paper, the architecture of a dataflow logic solving processor for programmable logic controller is proposed. As the proposed DFLSP(dataflow logic solving processor) is designed based on the dataflow architecture, it has inherently concurrent processing and data synchronization capabilities. And also, it has dynamic load balancing capabilites which increases the utilization of the whole system that can he hardly implemented in other multiprocessor system. The re-matching unit gets rid of unnecessary matching cycles in LSU, which increases the performance of LSU and allows the multiple input multiple output operations.

• 제어로봇시스템학회논문지
• /
• 제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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 B
• /
• pp.772-774
• /
• 1998

MMIS System of KNGR is composed of systems by using of digital equipment in general, and also interface function among systems is completed by a network. According to this, KNGR PCS also got rid of many kinds of interface cards which have been used for hardwired interface to outside system, and most of function in these cards is to be programmed by PLC. This paper defines the function and method which is to be programmed to PLC. And this paper presents new function which is to be added for operator's interface by using network. It is expected that PCS logic cabinet will be more simplified, satisfy KNGR design concept, and operation convenience will be increased.

• 조명전기설비학회논문지
• /
• 제12권2호
• /
• pp.54-61
• /
• 1998

PLC를 사용한 공정제어시스템의 설계에서 PLC 표준언어중 LD 언어가 가장 널리 사용되고 있다. 그러나 LD 언어는 데이터처리와 유지보수에 대한 단점이 있다. 반면에 SFC 그래픽언어는 복잡한 순차동작을 간결하게 記述할 수 있는 완벽한 방법이지만, 인터록조건을 記述하는데 문제점이 있다. 본 논문에서는 기존의 SFC 컴파일러를 사용하여 인터록을 실현하는 방법을 제시하고, 실예로서 In-Line Spin Coater에 적용하여 타당성을 확인하였다.

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

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2007년도 추계학술대회 학술발표 논문집
• /
• pp.296-299
• /
• 2007

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

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 추계학술발표회논문집(1)
• /
• pp.91-96
• /
• 1996

The Dynamic Safety System (DSS) is a compute. based reactor protection system that has fail-safe nature and perform dynamic self-testing. In this paper, the implementation of DSS in PLC is presented for PWR. In order to choose adequate PLC implementation model of DSS, the reliability analysis is performed. The KO-RI unit 2 Nuclear power plant is selected as the reference plant, and the verification is carried out using the KO-RI unit 2 simulator FISA-2.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.310-315
• /
• 2005

This paper describes the development of on-line Programmable Logic Controller (PLC) laboratories to teach the detailed operation of a PLC using distance learning approach. The PLC has become a key component to provide intelligence for machines in CIM environment. This study introduces a case study that teaches PLC programming in distance learning environment. The study describes the contents of PLC laboratories and workstation set ups. The study concludes with problems found and proposes the ways to improve the on-line laboratories.

• 산업공학
• /
• 제18권4호
• /
• pp.412-417
• /
• 2005

This paper describes the development of on-line Programmable Logic Controller(PLC) laboratories to teach the detailed operation of a PLC using distance learning approach. The PLC has become a key component to provide intelligence for machines in CIM environment. This study introduces a case study that teaches PLC programming in distance learning environment. The study describes the contents of PLC laboratories and workstation set ups. The study concludes with problems found and proposes the ways to improve the on-line laboratories.