Title:
ANALYSIS DEVICE, METHOD, AND PROGRAM
Document Type and Number:
WIPO Patent Application WO/2020/255267
Kind Code:
A1
Abstract:
An analysis device (100) analyzes a dependence of a variable in a program that causes a programmable logic controller to achieve a function of a relay circuit. The program includes a first program and a second program that suspends execution of the first program and executes interrupt processing. A first extraction unit (110) extracts a first dependence that is a dependence of a variable in a first program and a second dependence that is a dependence of a variable in a second program. A dividing unit (120) divides the first program into at least two blocks according to a set condition. A second extraction unit (130) adds, to the second dependence, dependence between a variable in the second program and a variable in the first program if an interrupt occurs in a block of the first program, and extracts a third dependence. An integration unit (140) integrates the first dependence and the third dependence to generate integrated dependence information that is information indicating integrated dependence.
Inventors:
TAKAGI TOMOAKI (JP)
XU TIANFANG (JP)
XU TIANFANG (JP)
Application Number:
PCT/JP2019/024146
Publication Date:
December 24, 2020
Filing Date:
June 18, 2019
Export Citation:
Assignee:
MITSUBISHI ELECTRIC CORP (JP)
International Classes:
G05B19/05
Domestic Patent References:
| WO2014141352A1 | 2014-09-18 |
Foreign References:
| US20180314225A1 | 2018-11-01 |
Attorney, Agent or Firm:
KIMURA Mitsuru (JP)
Download PDF: