公开(公告)号：CN115552405A

公开(公告)日：2022-12-30

申请号：CN202080100776.4

申请日：2020-05-15

Applicant: 三菱电机株式会社

Inventor： 井上裕昭 ,  岩津贤 ,  藤田浩平

IPC: G06F30/20 ,  G06F30/12

Abstract: 提供能够扩展可进行验证的设计信息的制造系统设计验证装置。制造系统设计验证装置具有设计信息模型、设计信息输入部、验证逻辑保存部及设计信息验证部。设计信息模型是对设计信息集中地进行表现的框架。向设计信息输入部输入设计信息。设计信息输入部参照设计信息模型而将设计信息转换为由资源记述语言记述的表达。验证逻辑保存部对包含由与资源记述语言对应的查询语言记述的查询和期待结果的组的验证逻辑进行保存。设计信息验证部具有对表达执行查询而回送执行结果的查询执行引擎和将执行结果与期待结果进行比较而回送验证结果的比较引擎。

公开(公告)号：CN117296016A

公开(公告)日：2023-12-26

申请号：CN202180097822.4

申请日：2021-05-10

Applicant: 三菱电机株式会社

Inventor： 阿部一裕 ,  岩津贤 ,  藤田浩平 ,  井上裕昭

IPC: G05B19/05

Abstract: 制造装置设计验证系统(1)具有制造装置的设计装置即机械设计装置(2)、电气设计装置(3)及控制程序设计装置(4)、从由控制程序设计装置(4)设计出的梯形图程序提取将共享触点及线圈的电路模块汇总后的共通组的控制程序切片装置(10)。设计成果物变更影响部位确定装置(5)基于提取出的共通组，对机械设计装置(2)、电气设计装置(3)及控制程序设计装置(4)各自的设计成果物的对应关系进行判断，当在机械设计装置(2)、机械设计装置(2)及控制程序设计装置(4)之中的任意设计装置中设计成果物产生了变更的情况下，对产生了该变更的设计装置之外的设计装置的设计成果物中的该变更的影响部位进行确定。

公开(公告)号：CN116848514A

公开(公告)日：2023-10-03

申请号：CN202180093655.6

申请日：2021-12-14

Applicant: 三菱电机株式会社

Inventor： D·库西诺 ,  F·费索 ,  D·芒特 ,  井上裕昭

IPC: G06F11/36

Abstract: 本发明涉及一种用于检查通过功能规范描述的PLC程序的正确性的方法，所述功能规范通常被作为时序图呈现。所述方法包括：‑S1：将PLC程序转化到模型中，‑S2：转化时序图，并且将所述时序图整合到模型中，‑S3：计算抽象语义，以推断时序图中最终丢失的信息，‑S4：谓词变换，并且从模型和预定义的正规化PLC指令演绎将被验证的性质，以便满足时序图验证，‑S5：解算并且检查所述性质是否总是被验证，或者提供反例，‑S6：将所述反例转化到PLC模型错误事件初始配置中，‑S7：模拟执行，‑S8：对状态和事件执行变量值进行汇编，以及‑S9：转化回PLC程序。