KR20100054947A - Modeling method of plc code test apparatus - Google Patents

Modeling method of plc code test apparatus Download PDF

Info

Publication number
KR20100054947A
KR20100054947A KR1020080113800A KR20080113800A KR20100054947A KR 20100054947 A KR20100054947 A KR 20100054947A KR 1020080113800 A KR1020080113800 A KR 1020080113800A KR 20080113800 A KR20080113800 A KR 20080113800A KR 20100054947 A KR20100054947 A KR 20100054947A
Authority
KR
South Korea
Prior art keywords
plc
equipment model
input
equipment
model
Prior art date
Application number
KR1020080113800A
Other languages
Korean (ko)
Inventor
박창목
곽종근
Original Assignee
주식회사 유디엠텍
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 주식회사 유디엠텍 filed Critical 주식회사 유디엠텍
Priority to KR1020080113800A priority Critical patent/KR20100054947A/en
Publication of KR20100054947A publication Critical patent/KR20100054947A/en

Links

Images

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/10—Plc systems
    • G05B2219/13—Plc programming
    • G05B2219/13186—Simulation, also of test inputs
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/10—Plc systems
    • G05B2219/14—Plc safety
    • G05B2219/14054—Self test

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Testing And Monitoring For Control Systems (AREA)

Abstract

PURPOSE: A modeling method of plc code test apparatus is provided to manufacture a simulator for testing a PLC code by modeling a plurality of virtual device reacting to a PLC. CONSTITUTION: More than one input-output model divides equipments corresponding to a PLC(110). The input output signal between PLC and the input-output model are extracted(120). Equipment model states are defined(130). External transition and internal transition function are embodied(140). The external function transits equipment model states in response to the external input. The internal transition function transit equipment model states without the external input.

Description

피엘씨 코드 테스트 장치 모델링 방법{Modeling method of PLC code test apparatus}Modeling method of PLC code test apparatus

본 발명의 실시예는 PLC 코드 테스트 장치 모델링 방법에 관한 것으로써, 예를 들어, 장치 상태, 천이 함수, 진입 이벤트, 탈출 이벤트, 디스에이블 함수 정의에 기반하여 PLC 에 반응하는 다수의 가상 장치를 제작하기 위한 모델링 방법에 관한 것이다. An embodiment of the present invention relates to a method for modeling a PLC code test device, for example, to fabricate a plurality of virtual devices that respond to a PLC based on a device state, transition function, entry event, exit event, disable function definition. It relates to a modeling method for.

자동차 제조 시스템에서의 새로운 시스템 도입의 지연은 세입과 신용에 큰 손실로 이어질 수 있다. 결과적으로, 자동차 산업의 많은 분야에서 시스템의 검증을 위한 가상 제조 기술들은 일반화 되어가고 있다. 제어 프로그램 검증과 확인은 제어 기술자들 사이에서 관심사 중 하나이다. 성공적인 프로그램 형 논리 제어기(PLC)를 디자인한 후, 프로그램의 정확성을 점검하는 것은 작업 현장에서의 제어 시스템의 의무가 되었다. 제어 논리의 정확성은 자동차 산업에서의 생산 공정의 적합한 적용을 위해 매우 중대한 역할을 수행한다. 제어 엔지니어들은 공장 건설 전에 통합 시스템의 검증을 위해 시뮬레이션과 가상 시운전 기술을 이용한다. Delays in the introduction of new systems in automotive manufacturing systems can lead to significant losses in revenue and credit. As a result, virtual manufacturing techniques for system verification in many areas of the automotive industry are becoming commonplace. Control program verification and validation is one of the concerns among control engineers. After designing a successful programmable logic controller (PLC), checking the correctness of the program became the duty of the control system on the shop floor. The accuracy of the control logic plays a very important role for the proper application of production processes in the automotive industry. Control engineers use simulation and virtual commissioning techniques to validate the integrated system prior to plant construction.

본 발명의 실시예가 이루고자 하는 기술적 과제는, PLC 코드를 테스트 하기 위한 시뮬레이터를 제작하기 위하여, PLC 에 반응하는 다수의 가상 장치를 효율적으로 모델링 하는 방법을 제공하는 데 있다.An object of the present invention is to provide a method for efficiently modeling a plurality of virtual devices responsive to a PLC in order to produce a simulator for testing a PLC code.

상기 기술적 과제를 달성하기 위한 본 발명의 일 실시예에 따른 PLC 코드 테스트 장치 모델링 방법은, 상기 PLC에 대응되는 설비들을 물리적 혹은 논리적으로 분할 하여 하나 이상의 입출력 모델을 정의하는 단계; 상기 입출력 모델과 상기 PLC 사이의 입출력 신호를 추출하는 단계; 상기 입출력 모델에 포함되는 장비 모델들이 가질 수 있는 장비 모델 상태들을 정의하는 단계; 상기 PLC로부터 수신된 외부입력에 응답하여 상기 장비 모델 상태들을 천이시키는 외부 천이 함수, 및 상기 PLC로부터 수신된 외부입력 없이 상기 장비 모델 상태들을 천이시키는 내부 천이 함수를 구현하는 단계; 및 상기 장비 모델 상태들 각각에 대하여, 상기 장비 모델이 상기 각각의 장비 모델 상태로 진입하면 상기 PLC로 진입 메시지를 전달하는 진입 이벤트(entering event), 및 상기 장비 모델이 상기 각각의 장비 모델 상태로부터 탈출하면 상기 PLC로 탈출 메시지를 전달하는 탈출 이벤트(leaving event)를 구현하는 단계, 상기 장비 모델이 상기 각각의 장비 모델 상태에 진입하면 상기 장비 모델을 비활성화 시키는 디스에이블 함수(disable function)을 구현하는 단계를 구비한다.PLC code test apparatus modeling method according to an embodiment of the present invention for achieving the technical problem, comprising the steps of defining one or more input and output models by physically or logically partitioning the facilities corresponding to the PLC; Extracting an input / output signal between the input / output model and the PLC; Defining equipment model states that equipment models included in the input / output model may have; Implementing an external transition function for transitioning the equipment model states in response to an external input received from the PLC, and an internal transition function for transitioning the equipment model states without an external input received from the PLC; And an entry event for transmitting an entry message to the PLC when the equipment model enters the respective equipment model state, and for each of the equipment model states, and the equipment model from the respective equipment model state. Implementing a leaving event for delivering an escape message to the PLC upon escape; implementing a disable function for deactivating the equipment model when the equipment model enters each of the equipment model states With steps.

본 발명의 실시예에 따른 PLC 코드 테스트 장치 모델링 방법의 효율성은 표 1과 같다. The efficiency of the PLC code test apparatus modeling method according to the embodiment of the present invention is shown in Table 1.

[표 1]TABLE 1

장치모델링 방법 효율성Device Modeling Method Efficiency

모델링 방법Modeling method 효율성efficiency 다수의 모델 정리Multiple Model Cleanup PLC 와 대응하는 다수의 설비들을 물리적 혹은 논리적으로 분할하여 장치 모델링 방법을 단순화 Simplify device modeling by physically or logically dividing the PLC and its multiple facilities 입력 셋Input three PLC의 출력셋 PLC output set 출력 셋Output set PLC의 입력셋PLC input set 상태 셋State set 각 장치들의 분리된 상태Separate state of each device 외부 천이 함수External transition function PLC 출력에 의해 발생되는 동작 Action generated by PLC output 내부 천이 함수Internal transition function PLC 출력 없이 자동으로 발생되는 동작Automatic operation without PLC output 진입 이벤트Entry event -접촉에 의해서 동작하는 물리적 센서 신호
특정 동작의 완료를 알리는 신호Physical sensor signal operated by contact
Signal to signal completion of a specific action 탈출 이벤트Escape event -분리에 의해서 동작하는 물리적 센서 신호
특정 동작이 시작되었음을 알리는 신호 Physical sensor signal operated by separation
A signal that a particular action has started 디스에이블 함수Disable function -설비간 상호 잠금 작용 로직
-설비의 동작 모드 로직(자동모드 혹은 수동모드 )Interlocking logic between equipment
Operation mode logic (automatic or manual mode)

본 발명과 본 발명의 동작상의 이점 및 본 발명의 실시에 의하여 달성되는 목적을 충분히 이해하기 위해서는 본 발명의 바람직한 실시예를 예시하는 첨부 도면 및 도면에 기재된 내용을 참조하여야 한다.DETAILED DESCRIPTION In order to fully understand the present invention, the operational advantages of the present invention, and the objects achieved by the practice of the present invention, reference should be made to the accompanying drawings which illustrate preferred embodiments of the present invention and the contents described in the drawings.

이하, 첨부한 도면을 참조하여 본 발명의 바람직한 실시예를 설명함으로써, 본 발명을 상세히 설명한다. 각 도면에 제시된 동일한 참조부호는 동일한 부재를 나타낸다.Hereinafter, exemplary embodiments of the present invention will be described in detail with reference to the accompanying drawings. Like reference numerals in the drawings denote like elements.

도 1은 본 발명의 실시예에 따른 PLC 코드 테스트 장치 모델링 방법의 순서 도이다.1 is a flowchart of a method for modeling a PLC code test apparatus according to an embodiment of the present invention.

도 1을 참조하면, 본 발명의 실시예에 따른 PLC 코드 테스트 장치 모델링 방법은, PLC에 대응되는 설비들을 물리적 혹은 논리적으로 분할 하여 하나 이상의 입출력 모델을 정의하고(S110), 입출력 모델에 포함되는 장비 모델들이 가질 수 있는 입출력 신호들을 정의한다(S120). 다음으로, 입출력 모델에 포함되는 장비 모델들이 가질 수 있는 장비 모델 상태들을 정의한다(S130). 다음으로, 외부 천이 함수, 내부 천이 함수, 진입 이벤트(entering event), 및 탈출 이벤트(leaving event)를 구현한다(S140, S150). 본 발명의 실시예에 따른 PLC 코드 테스트 장치 모델링 방법은, 디스에이블 함수를 구현하는 단계(S160)를 더 구비할 수도 있다.Referring to FIG. 1, in the PLC code test apparatus modeling method according to an exemplary embodiment of the present invention, one or more input / output models are defined by physically or logically dividing facilities corresponding to a PLC (S110) and equipment included in the input / output model. Input and output signals that the models may have are defined (S120). Next, the equipment model states that the equipment models included in the input / output model are defined (S130). Next, an external transition function, an internal transition function, an entering event, and a leaving event are implemented (S140 and S150). The PLC code test apparatus modeling method according to the embodiment of the present invention may further include implementing a disable function (S160).

본 발명의 실시예에 따른 PLC 코드 테스트 장치 모델링 방법은, 자동차 조립 공정 상의 제조 설비의 모델링에 적용될 수 있다.The PLC code test apparatus modeling method according to an embodiment of the present invention may be applied to modeling of a manufacturing facility on an automobile assembly process.

도 2는 PLC에 대응되는 설비들을 분할하여 다수의 입출력 모델을 정의한 모습을 나타낸다.2 is a diagram illustrating a plurality of input / output models defined by dividing facilities corresponding to PLCs.

도 2에는, PLC(210)와 통신하는 3개의 입출력 모델들(220, 230, 240)이 도시된다. PLC(210)는 입력단(IN1)과 출력단(OUT1)을 가지고, 입출력 모델들(220, 230, 240)도 입력단(IN2, IN3, IN4)과 출력단(OUT2, OUT3, OUT4)을 가진다. PLC(210)와 입출력 모델들(220, 230, 240)은, 입력단(IN1, IN2, IN3, IN4)과 출력단(OUT1, OUT2, OUT3, OUT4)을 이용하여, PLC 코드와 각종 제어신호들을 송수신한다.2, three input / output models 220, 230, 240 are shown in communication with the PLC 210. The PLC 210 has an input terminal IN1 and an output terminal OUT1, and the input / output models 220, 230, and 240 also have input terminals IN2, IN3, and IN4 and output terminals OUT2, OUT3, and OUT4. The PLC 210 and the input / output models 220, 230, and 240 transmit and receive PLC codes and various control signals using the input terminals IN1, IN2, IN3, and IN4 and the output terminals OUT1, OUT2, OUT3, and OUT4. do.

입출력 모델들(220, 230, 240) 각각에는, 하나 이상의 장비 모델 상태가 정 의될 수 있다.In each of the input and output models 220, 230, 240, one or more equipment model states may be defined.

도 3은 입출력 모델에서 정의되는 장비 모델 상태와 각종 함수들의 형식을 나타내는 도면이다.3 is a diagram illustrating the equipment model state and types of various functions defined in the input / output model.

도 3에 도시된 "State Name"은 장비 모델 상태를 의미한다. "State Name" shown in FIG. 3 means an equipment model state.

도 3에 도시된 "External transition function"과 "Internal transition function"은 장비 모델 상태를 천이하는 함수를 의미한다. "State Name"에 대응되는 장비 모델 상태로부터 다른 장비 모델 상태로 천이하는 함수 일 수도 있고, 다른 장비 모델 상태로부터 "State Name"에 대응되는 장비 모델 상태로 천이하는 함수 일 수도 있다. "External transition function"은 PLC로부터의 입력("PLC output signal(value)")에 응답하여 장비 모델 상태를 천이하는 함수를 의미하고, "Internal transition function"은 PLC로부터의 입력과 무관하게 장비 모델 상태를 천이하는 함수를 의미한다. 예를 들어, 타이머를 이용하여 장비 모델 상태를 천이할 수 있을 것이다. 이하에서는 "External transition function"과 "Internal transition function"를 외부 천이 함수와 내부 천이 함수라고 각각 칭한다."External transition function" and "Internal transition function" shown in Figure 3 means a function for transitioning the equipment model state. A function may be a function of transitioning from an equipment model state corresponding to the "State Name" to another equipment model state, or a function of transitioning from the other equipment model state to the equipment model state corresponding to "State Name". "External transition function" means a function that transitions the device model state in response to an input from the PLC ("PLC output signal (value)"), and "Internal transition function" means a device model state regardless of the input from the PLC. Means a function to transition. For example, a timer may be used to transition the state of the equipment model. Hereinafter, "External transition function" and "Internal transition function" are referred to as an external transition function and an internal transition function, respectively.

도 3에 도시된 "Entering output function"은 진입 이벤트를 의미한다. 즉, 장비 모델이 "State Name"에 대응되는 장비 모델 상태로 진입하는 상황을 의미한다. "Entering output function" 옆에 도시된 "PLC input signal(value)"는, 진입 이벤트가 발생한 경우("State Name"에 대응되는 장비 모델 상태로 진입한 경우), "value"에 대응되는 값을 PLC로 전송하는 것을 의미한다. 도 3에 도시된 "Leaving output function"은 탈출 이벤트를 의미한다. 즉, 장비 모델이 "State Name"에 대 응되는 장비 모델 상태로부터 탈출하는 상황을 의미한다. "Leaving output function" 옆에 도시된 "PLC input signal(value)"는, 탈출 이벤트가 발생한 경우("State Name"에 대응되는 장비 모델 상태로부터 탈출한 경우), "value"에 대응되는 값을 PLC로 전송하는 것을 의미한다. “Entering output function” shown in FIG. 3 means an entry event. That is, it means that the equipment model enters the equipment model state corresponding to the "State Name". The "PLC input signal (value)" shown next to the "Entering output function" indicates that when an entry event occurs (enter the equipment model state corresponding to the "State Name"), the value corresponding to the "value" Means to send. “Leaving output function” shown in FIG. 3 means an escape event. That is, it means a situation in which the equipment model escapes the equipment model state corresponding to the "State Name". The "PLC input signal (value)" shown next to the "Leaving output function" indicates that when an escape event occurs (escape from the equipment model state corresponding to the "State Name"), the PLC corresponds to the value corresponding to "value". Means to send.

도 3에 도시된 "Disable function"은, 장비 모델이 "State Name"에 대응되는 장비 모델 상태로 진입하면 해당 장비 모델은 디스에이블 된다는 것을 의미한다."Disable function" shown in FIG. 3 means that the device model is disabled when the device model enters the device model state corresponding to the "State Name".

도 4는 2가지 센서와 2가지 구동 실린더를 구비하는 JIG 시스템을 모델링 한 입출력 모델을 나타낸다. 4 illustrates an input / output model modeling a JIG system having two sensors and two driving cylinders.

도 4를 참조하면, JIG는 열린 상태(OPEN)와 닫힌 상태(CLOSE)를 가진다. JIG의 초기 상태는 열린 상태(OPEN)인 것으로 모델링 되었다. JIG를 닫기 위한 신호가 PLC로부터 수신되면, 외부 천이 함수(CLOSE_Y(1))가 실행된다. 여기에서, "CLOSE_Y"는 JIG 를 닫히게 하는 구동 실린더에 연결된 전기적 신호를 가리키고 "1"은 해당 신호가 전기적으로 ON이 되었다는 것을 의미한다. Referring to FIG. 4, the JIG has an open state OPEN and a closed state CLOSE. The initial state of the JIG was modeled as being open (OPEN). When a signal for closing the JIG is received from the PLC, the external transition function CLOSE_Y (1) is executed. Here, "CLOSE_Y" refers to the electrical signal connected to the drive cylinder to close the JIG and "1" means that the signal is electrically ON.

또한, JIG가 열린 상태(OPEN)에서 빠져나간다는 의미의 탈출 이벤트(OPEN_X(0))가 실행되고, JIG가 닫힌 상태(CLOSE)로 진입한다는 의미의 진입 이벤트(CLOSE_X(1))가 실행된다. 여기에서, "OPEN_X"는 JIG의 열린 상태를 감지하는 센서에 연결된 전기적 신호를 가리키고 "0"은 해당 신호가 전기적으로 OFF 되었다는 것을 의미한다. 또한 "CLOSE_X"는 JIG의 닫힌 상태를 감지하는 센서에 연결된 전기적 신호를 가리키고 "1"은 해당 신호가 전기적으로 ON 되었다는 것을 의미한 다. 반대로, JIG를 열기 위한 신호가 PLC로부터 수신되면, 외부 천이 함수(OPEN_Y(1))가 실행되고, JIG가 닫힌 상태(CLOSE)로부터 빠져나간다는 의미의 탈출 이벤트(CLOSE_X(0))가 실행되고, JIG가 열린 상태(OPEN)로 진입한다는 의미의 진입 이벤트(OPEN_X(1))가 실행된다. 이와 같이 2개의 센서를 가지는 실린더의 감지 메커니즘은 진입 이벤트와 탈출 이벤트를 이용하여 구현될 수 있다.In addition, an escape event OPEN_X (0) meaning that the JIG exits from the open state OPEN is executed, and an entry event CLOSE_X (1) which means that the JIG enters the closed state CLOSE is executed. . Here, "OPEN_X" indicates an electrical signal connected to a sensor for detecting the open state of the JIG, and "0" means that the signal is electrically OFF. In addition, "CLOSE_X" refers to the electrical signal connected to the sensor detecting the closed state of the JIG, and "1" means that the signal is electrically ON. On the contrary, when a signal for opening the JIG is received from the PLC, an external transition function OPEN_Y (1) is executed, and an escape event CLOSE_X (0) is executed, meaning that the JIG exits from the closed state CLOSE. The entry event OPEN_X (1), which means that the JIG enters the open state OPEN, is executed. As such, the sensing mechanism of the cylinder having two sensors may be implemented using an entry event and an exit event.

도 5와 도 6은 용접 로봇을 논리적으로 분할하여 2개의 모델로 표현한 입출력 모델들이다. 여기서 도 5는 용접 로봇의 동작 모드에 관련 모델이며, 도 6은 용접 로봇의 자동 운전에 관한 모델이다. 5 and 6 are input and output models that logically divide the welding robot into two models. 5 is a model related to the operation mode of the welding robot, and FIG. 6 is a model related to the automatic operation of the welding robot.

도 5는 용접 로봇의 동작 모드를 모델링 한 입출력 모델이다.5 is an input / output model modeling an operation mode of a welding robot.

도 5를 참조하면, 용접 로봇은 매뉴얼 모드(MANUAL MODE)와 자동 모드(AUTO MODE)로 동작한다. 초기에는 용접 로봇이 매뉴얼 모드(MANUAL MODE)에 있는 것으로 모델링 되었다. 매뉴얼 모드에서는 도 6에 명시된 모델 (ROBOT WORK)을 디스에이블 (disable) 상태로 만들어서, 매뉴얼 모드에서는 로봇이 동작하지 않도록 한다. Referring to FIG. 5, the welding robot operates in a manual mode and an automatic mode. Initially, the welding robot was modeled as being in manual mode. In the manual mode, the model (ROBOT WORK) shown in FIG. 6 is made disabled, so that the robot does not operate in the manual mode.

용접 로봇을 자동 모드(AUTO MODE)로 동작시키기 위한 신호가 PLC로부터 수신되면, 외부 천이 함수(ROBOT_AUTO_START_Y(1))가 실행된다. 이 경우, 용접 로봇이 자동 모드(AUTO MODE)로 진입한다는 의미의 진입 이벤트(ROBOT_AUTO_START_OK_X(1))가 실행되고, 용접 로봇이 매뉴얼 모드(MANUAL MODE)로부터 빠져나간다는 의미의 탈출 이벤트(ROBOT_AUTO_START_OK_X(0))가 실행된다. 또한 수동 모드에서 설정되었던 디스에이블(disable) 설정이 해제되어 도 6에 명시된 자동 운전 모델이 동작될 수 있다. When a signal for operating the welding robot in the AUTO mode is received from the PLC, the external transition function ROBOT_AUTO_START_Y (1) is executed. In this case, the entry event ROBOT_AUTO_START_OK_X (1), which means that the welding robot enters the automatic mode, is executed, and the escape event ROBOT_AUTO_START_OK_X (0) that means the welding robot exits from the manual mode. )) Is executed. In addition, the disable setting, which was set in the manual mode, may be released to operate the autonomous driving model shown in FIG. 6.

도 6은 용접 로봇의 자동운전을 모델링 한 다른 입출력 모델이다.6 is another input / output model modeling the automatic operation of the welding robot.

도 6을 참조하면, 용접 로봇은 리셋 모드(RESET MODE), 준비 모드(READY MODE)와 워크 모드(WORK MODE)로 동작한다. 초기에는 용접 로봇이 리셋 모드(RESET MODE)에 있는 것으로 모델링 되었다.Referring to FIG. 6, the welding robot operates in a reset mode, a ready mode, and a work mode. Initially, the welding robot was modeled in RESET MODE.

용접 로봇을 리셋 모드(RESET MODE)로부터 탈출시키기 위한 신호가 PLC로부터 수신되면, 외부 천이 함수(ROBOT_WORK_RESET_Y(0))가 실행된다. 용접 로봇을 워크 모드(WORK MODE)로 동작시키기 위한 신호가 PLC로부터 수신되면, 외부 천이 함수(ROBOT_NON_INTERRUPT_Y(1))가 실행된다. 이 경우, 용접 로봇이 워크 모드(WORK MODE)로 진입한다는 의미의 진입 이벤트(ROBOT_WORK_COMPLETE_X(1))가 실행된다. 용접 로봇을 리셋 모드(RESET MODE)로 동작시키기 위한 신호가 PLC로부터 수신되면, 외부 천이 함수(ROBOT_WORK_RESET_Y(1))가 실행된다. 이 경우, 용접 로봇이 리셋 모드(RESET MODE)로 진입한다는 의미의 진입 이벤트(ROBOT_WORK_COMPLETE_X(0))가 실행된다.When a signal for exiting the welding robot from the RESET MODE is received from the PLC, the external transition function ROBOT_WORK_RESET_Y (0) is executed. When a signal for operating the welding robot in the WORK MODE is received from the PLC, the external transition function ROBOT_NON_INTERRUPT_Y (1) is executed. In this case, the entry event ROBOT_WORK_COMPLETE_X (1), which means that the welding robot enters the WORK MODE, is executed. When a signal for operating the welding robot in the reset mode is received from the PLC, the external transition function ROBOT_WORK_RESET_Y (1) is executed. In this case, the entry event ROBOT_WORK_COMPLETE_X (0), which means that the welding robot enters the reset mode, is executed.

도 7은 트랜스포터를 모델링 한 입출력 모델이다.7 is an input / output model modeling a transporter.

도 7을 참조하면, 트랜스포터는 집는 모드(PICK_POS), 미는 모드(PUT_POS)와 얹는 모드(LOAD_PART)로 동작한다. 초기에는 트랜스포터가 집는 모드(PICK_POS)에 있는 것으로 모델링 되었다.Referring to FIG. 7, the transporter operates in a picking mode (PICK_POS), a pushing mode (PUT_POS), and a loading mode (LOAD_PART). Initially it was modeled as being in the picker mode (PICK_POS).

외부 천이 함수(TRANS_PICK_POS_Y(1))가 실행되면, 트랜스포터는 집는 모드(PICK_POS)에서 미는 모드(PUT_POS)로 천이된다. 이 경우, 트랜스포터가 집는 모 드(PICK_POS)로부터 탈출한다는 의미의 탈출 이벤트(TRANS_PICK_POS_X(0))가 실행되고, 트랜스포터가 미는 모드(PUT _POS)로 진입한다는 의미의 진입 이벤트(TRANS_PUT_POS_X(1))가 실행된다.When the external transition function (TRANS_PICK_POS_Y (1)) is executed, the transporter transitions from the picking mode (PICK_POS) to the pushing mode (PUT_POS). In this case, an escape event (TRANS_PICK_POS_X (0)), which means that the transporter escapes from the pick-up mode (PICK_POS), is executed, and an entry event (TRANS_PUT_POS_X (1)), which means that the transporter enters the push mode (PUT_POS). ) Is executed.

이상에서와 같이 도면과 명세서에서 최적 실시예가 개시되었다. 여기서 특정한 용어들이 사용되었으나, 이는 단지 본 발명을 설명하기 위한 목적에서 사용된 것이지 의미한정이나 특허청구범위에 기재된 본 발명의 범위를 제한하기 위하여 사용된 것은 아니다. 그러므로 본 기술분야의 통상의 지식을 가진 자라면 이로부터 다양한 변형 및 균등한 타 실시예가 가능하다는 점을 이해할 것이다. 따라서, 본 발명의 진정한 기술적 보호범위는 첨부된 특허청구범위의 기술적 사상에 의해 정해져야 할 것이다.As described above, optimal embodiments have been disclosed in the drawings and the specification. Although specific terms have been used herein, they are used only for the purpose of describing the present invention and are not intended to limit the scope of the invention as defined in the claims or the claims. Therefore, those skilled in the art will understand that various modifications and equivalent other embodiments are possible therefrom. Therefore, the true technical protection scope of the present invention will be defined by the technical spirit of the appended claims.

본 발명의 상세한 설명에서 인용되는 도면을 보다 충분히 이해하기 위하여 각 도면의 간단한 설명이 제공된다.BRIEF DESCRIPTION OF THE DRAWINGS In order to better understand the drawings cited in the detailed description of the invention, a brief description of each drawing is provided.

도 1은 본 발명의 실시예에 따른 PLC 코드 테스트 장치 모델링 방법의 순서도이다.1 is a flowchart of a method for modeling a PLC code test apparatus according to an embodiment of the present invention.

도 2는 PLC에 대응되는 입출력 모델을 정의한 모습을 나타낸다.2 shows a state in which an input / output model corresponding to a PLC is defined.

도 3은 입출력 모델에서 정의되는 장비 모델 상태와 각종 함수들의 형식을 나타내는 도면이다.3 is a diagram illustrating the equipment model state and types of various functions defined in the input / output model.

도 4는 2개의 센서를 가지는 실린더를 구비하는 JIG 시스템을 모델링 한 입출력 모델을 나타낸다. 4 shows an input / output model modeling a JIG system having a cylinder having two sensors.

도 5는 용접 로봇의 을 모델링 한 입출력 모델이다.5 is an input / output model modeling a of a welding robot.

도 6은 용접 로봇을 모델링 한 다른 입출력 모델이다.6 is another input / output model modeling a welding robot.

도 7은 트랜스포터를 모델링 한 입출력 모델이다.7 is an input / output model modeling a transporter.

Claims (4)

PLC 코드 테스트 장치 모델링 방법에 있어서,In the PLC code test device modeling method, 상기 PLC에 대응되는 설비들을 물리적 혹은 논리적으로 분할 하여 하나 이상의 입출력 모델을 정의하는 단계;Defining one or more input / output models by physically or logically dividing facilities corresponding to the PLC; 상기 입출력 모델과 상기 PLC 사이의 입출력 신호를 추출하는 단계;Extracting an input / output signal between the input / output model and the PLC; 상기 입출력 모델에 포함되는 장비 모델들이 가질 수 있는 장비 모델 상태들을 정의하는 단계;Defining equipment model states that equipment models included in the input / output model may have; 상기 PLC로부터 수신된 외부입력에 응답하여 상기 장비 모델 상태들을 천이시키는 외부 천이 함수, 및 상기 PLC로부터 수신된 외부입력 없이 상기 장비 모델 상태들을 천이시키는 내부 천이 함수를 구현하는 단계; 및Implementing an external transition function for transitioning the equipment model states in response to an external input received from the PLC, and an internal transition function for transitioning the equipment model states without an external input received from the PLC; And 상기 장비 모델 상태들 각각에 대하여, 상기 장비 모델이 상기 각각의 장비 모델 상태로 진입하면 상기 PLC로 진입 메시지를 전달하는 진입 이벤트(entering event), 및 상기 장비 모델이 상기 각각의 장비 모델 상태로부터 탈출하면 상기 PLC로 탈출 메시지를 전달하는 탈출 이벤트(leaving event)를 구현하는 단계를 구비하는 것을 특징으로 하는 PLC 코드 테스트 장치 모델링 방법.For each of the equipment model states, an entry event that delivers an entry message to the PLC when the equipment model enters the respective equipment model state, and the equipment model escapes from each equipment model state. And implementing a leaving event for delivering an escape message to the PLC. 제1항에 있어서, 상기 진입 이벤트와 상기 탈출 이벤트를 구현하는 단계 이후에, The method of claim 1, wherein after implementing the entry event and the exit event, 상기 장비 모델이 상기 각각의 장비 모델 상태에 진입하면, 상기 장비 모델 을 비활성화 시키는 디스에이블 함수(disable function)를 구현하는 단계를 더 구비하는 것을 특징으로 하는 PLC 코드 테스트 장치 모델링 방법.And implementing a disable function for deactivating the equipment model when the equipment model enters each of the equipment model states. 제1항에 있어서, 상기 장비 모델 상태들을 정의하는 단계 이후에,The method of claim 1, wherein after defining the equipment model states: 상기 장비 모델 상태들 중에서 초기 장비 모델 상태를 설정하는 단계를 더 구비하는 것을 특징으로 하는 PLC 코드 테스트 장치 모델링 방법.And setting an initial equipment model state among the equipment model states. 제1항에 있어서, 상기 장비 모델들은,The method of claim 1, wherein the equipment models, 자동차 조립 공정 상의 제조 설비의 모델인 것을 특징으로 하는 PLC 코드 테스트 장치 모델링 방법.PLC code test apparatus modeling method, characterized in that the model of the manufacturing equipment on the vehicle assembly process.
KR1020080113800A 2008-11-17 2008-11-17 Modeling method of plc code test apparatus KR20100054947A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020080113800A KR20100054947A (en) 2008-11-17 2008-11-17 Modeling method of plc code test apparatus

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020080113800A KR20100054947A (en) 2008-11-17 2008-11-17 Modeling method of plc code test apparatus

Publications (1)

Publication Number Publication Date
KR20100054947A true KR20100054947A (en) 2010-05-26

Family

ID=42279494

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020080113800A KR20100054947A (en) 2008-11-17 2008-11-17 Modeling method of plc code test apparatus

Country Status (1)

Country Link
KR (1) KR20100054947A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2469372C1 (en) * 2011-05-27 2012-12-10 Открытое акционерное общество "Информационные спутниковые системы" имени академика М.Ф. Решетнева" Method creating proof tests for electronic devices
KR101254598B1 (en) * 2012-08-23 2013-04-15 주식회사 유디엠텍 Method of examing interlock function of plc control program using symbolic model checker

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2469372C1 (en) * 2011-05-27 2012-12-10 Открытое акционерное общество "Информационные спутниковые системы" имени академика М.Ф. Решетнева" Method creating proof tests for electronic devices
KR101254598B1 (en) * 2012-08-23 2013-04-15 주식회사 유디엠텍 Method of examing interlock function of plc control program using symbolic model checker
WO2014030854A1 (en) * 2012-08-23 2014-02-27 주식회사 유디엠텍 Method of authenticating interlock function of plc control program using smv

Similar Documents

Publication Publication Date Title
US7996113B2 (en) Methods of integrating real and virtual world using virtual sensor/actuator
JP4442524B2 (en) Safety PLC
US8571839B2 (en) System for simulating automated industrial plants
US20100174395A1 (en) Integrated testing system and method for validation of a manufacturing automation system
US20050033457A1 (en) Simulation aid tools and ladder program verification systems
KR20100054947A (en) Modeling method of plc code test apparatus
CN111310313B (en) IAP-based simulation method and device and wafer cleaning equipment
Park et al. Simulation based control program verification in an automobile industry
CN104317259B (en) A kind of method for establishing PLC/DCS platform device logical models
US9971331B2 (en) Monitoring device for programmable controller
JP2012166290A (en) Robot conveyance apparatus
KR100792896B1 (en) Off-line test working system in automation facilities lines and operating method thereof
WO2018020632A1 (en) Work device and time measurement method for work device
CN105922261A (en) Robot control device and method
Lee et al. A systematic approach for the sequence controller design in manufacturing systems
CN114245883B (en) Program development device, engineering method, and storage medium
Kotze Modular control of a reconfigurable conveyor system
Ždánsky et al. Safety Integrity Evaluation of Safety Function
Dominka et al. Hybrid commissioning-from hardware-in-the-loop simulation to real production plants
Ivanova-Vasileva et al. Basics of modelling IEC 61499 function blocks with integer-valued data types
Kopacek et al. A modular control system for flexible robotized manufacturing cells
Glavaš et al. Modelling of a sequential system
US20230123063A1 (en) Methods and systems for programming computer numerical control machines
KR101254598B1 (en) Method of examing interlock function of plc control program using symbolic model checker
JPH06290187A (en) Controller for production line

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
E601 Decision to refuse application