• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.54-59
• /
• 2010

산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.

• 제어로봇시스템학회논문지
• /
• 제5권1호
• /
• pp.33-38
• /
• 1999

This paper proposes a translation approach for PLCs (Programmable logic controllers) converting ladder diagrams directly to native codes, and describes detailed steps of the method followed by performance evaluation. A general-purpose DSP (Digital signal processor) based implementation validates the approach as well. A benchmark test shows that the Proposed translation framework fairly speeds up execution in comparison with the existing interpretation approach.

• 산업경영시스템학회지
• /
• 제17권30호
• /
• pp.153-160
• /
• 1994

In this paper, we present the application of knowledge-based system technique for generating of PLC ladder diagram The developed prototype system receives a time chart as an input and generates a ladder logic as its output This results in the computerization and intellegent processing of PLC programming. The system can be effectively applied to sequence control where the PLC programs need to be frequently changed and generated.

• 제어로봇시스템학회논문지
• /
• 제7권11호
• /
• pp.939-943
• /
• 2001

PLC(programmable Logic Controller)s essential components of modern automation systems encompassing almost every industry. Ladder Diagrams (LD) have been widely used in the design of such PLC since the LD is suitable for the modeling of the sequential control system. However, the synthesis of LD itself mainly depends on the experience of the industrial engineer, which may results in unstructured or inflexible design. Hence, in this paper, we propose a ladder diagram conversion algorithm which systematically produces LDs for PLCs based on discrete event models to enhance the structured and flexible design mechanism.

• 제어로봇시스템학회논문지
• /
• 제8권8호
• /
• pp.706-712
• /
• 2002

In general, a deadlock in flexible manufacturing systems (FMSs) is caused by a resource limitation and the diversity of routings. However, the deadlock of industrial controllers such as programmable logic controllers (PLCs) can occur from different causes compared with those in general FMSs. The deadlock of PLCs is usually caused by an error signal between PLCs and manufacturing systems. In this paper, we propose a deadlock detection and recovery (DDR) algorithm to resolve the deadlock problem of PLCs at design stage. This paper employs the MAPN (modified automation Petri net), MTPL (modified token passing logic), and ECC (efficient code conversion) algorithm to model manufacturing systems and to convert a Petri net model into a desired LD (ladder diagram). Finally, an example of manufacturing systems is provided to illustrate the proposed DDR algorithm.

• 제어로봇시스템학회논문지
• /
• 제8권5호
• /
• pp.401-406
• /
• 2002

As product lifecycles become shorter, factories are pushed to develop small batches of many different products. The highly flexible control systems has become a necessity. The majority of existing automated industrial systems are controlled by programmable logic controllers(PLCs). In most cases, the control programs for PLCs are developed based on ladder diagrams(LDs). However, it is difficult to debug and maintain those LDs because the synthesis of LD itself mainly depends on the experience of the industrial engineer via trial-and-error methods. Hence, in this paper, we propose a discrete event model conversion algorithm for systematic analysis of LDs. The proposed discrete event model conversion algorithm is illustrated by an example of a conveyor system.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.7-10
• /
• 2002

The diagnosis of faults of machine tool, which is controlled by CNC and PLC, is generally based on ladder diagram of PLC. Because sequential controls for CNC and servo motor are mostly processed in PLC. However, when fault is occurred, a searching for logical relation to fault reasons is required a lot of fault experiences and times, because PLC program has step structure. In this paper, FDS(Fault Diagnosis System) is developed and implemented to machine tool with open architecture controller in order to find the reason of fault lastly and correctly. The diagnosed reasons for fault are tele-serviced on web through developed RSS(Remote Service System). The operationability and usefulness of developed system are evaluated on specially manufactured machine tool with open architecture CNC. The results of this research can be the model of remote monitoring and fault diagnosis system of machine tool with open architecture CNC.

• 한국정밀공학회지
• /
• 제20권10호
• /
• pp.89-97
• /
• 2003

The faults diagnosis of machine tool, which is controlled by CNC(Computer Numerical Control) and PLC(Programmable Logic Controller), is generally based on ladder diagram of PLC because sequential controls for CNC and servo motor are mostly processed in PLC. However, when fault is occurred, a searching of logical relationship for fault reasons is required a lot of diagnosis experiences and times because PLC program has step structure. In this paper, FDS(Fault Diagnosis System) is developed and implemented to machine tool with open architecture controller in order to find the reason of fault fast and correctly. The diagnosed reasons for fault are remote serviced on web through developed RSS(Remote Service System). The operationability and usefulness of developed system are evaluated on specially manufactured machine tool with open architecture CNC. The results of this research can be the model of remote monitoring and fault diagnosis system of machine tool with open architecture CNC.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2001년도 춘계학술대회 논문집(한국공작기계학회)
• /
• pp.171-176
• /
• 2001

This paper describes the methodology of an IEC 1131-3-based control logic generator for the control system design and converting algorithm between programmable languages. The proposed control logic generator is generated based on the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 1131-3 Standard. The generation method of object file was proposed on five programmable language based on IECI 131-3. The generation method of object file is represented as following; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using C code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ and MFC on MS-windows NT 4.0