Title:
PROGRAM COMPARISON DEVICE AND METHOD FOR PROGRAM COMPARISON
Document Type and Number:
Japanese Patent JP2019095896
Kind Code:
A
Abstract:
To provide a program comparison device and a method for a program comparison that can determine whether ladder circuits agree to each other substantially.SOLUTION: The present invention relates to a program comparison device 10 for comparing programs described by a ladder diagram, the device including: a logical formula converter 14 for converting a ladder circuit to a logical formula on the unit of ladder circuit forming a program; a sequence converter 26 for changing the sequence of variables of the logical formula of at least one of two ladder circuits as comparison targets so that the result of the logical formula stays the same; and a comparison unit 18 for comparing the logical formula of one of the ladder circuits and the logical formula of the other after the sequence of the variables is changed and determining whether the logical formulas are the same.SELECTED DRAWING: Figure 3
Inventors:
INO YASUYUKI
MOCHIZUKI MITSURU
MOCHIZUKI MITSURU
Application Number:
JP2017222755A
Publication Date:
June 20, 2019
Filing Date:
November 20, 2017
Export Citation:
Assignee:
FANUC LTD
International Classes:
G05B19/05
Attorney, Agent or Firm:
Takehiro Chiba
Toshiyuki Miyadera
Takayuki Chima
Shuji Ouchi
Yasuharu Nakasone
Shiro Sakai
Toru Sekiguchi
Akira Yamano
Toshiyuki Miyadera
Takayuki Chima
Shuji Ouchi
Yasuharu Nakasone
Shiro Sakai
Toru Sekiguchi
Akira Yamano