CN115552405A - 制造系统设计验证装置 - Google Patents

制造系统设计验证装置 Download PDF

Info

Publication number
CN115552405A
CN115552405A CN202080100776.4A CN202080100776A CN115552405A CN 115552405 A CN115552405 A CN 115552405A CN 202080100776 A CN202080100776 A CN 202080100776A CN 115552405 A CN115552405 A CN 115552405A
Authority
CN
China
Prior art keywords
verification
design information
design
manufacturing system
query
Prior art date
Legal status (The legal status 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 status listed.)
Pending
Application number
CN202080100776.4A
Other languages
English (en)
Inventor
井上裕昭
岩津贤
藤田浩平
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric Corp
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 Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Publication of CN115552405A publication Critical patent/CN115552405A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/20—Design optimisation, verification or simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/10—Geometric CAD
    • G06F30/17—Mechanical parametric or variational design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/34—Circuit design for reconfigurable circuits, e.g. field programmable gate arrays [FPGA] or programmable logic devices [PLD]
    • G06F30/343—Logical level
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
    • G06F2119/16—Equivalence checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30—Computing systems specially adapted for manufacturing

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Geometry (AREA)
  • Computer Hardware Design (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • General Engineering & Computer Science (AREA)
  • Pure & Applied Mathematics (AREA)
  • Mathematical Optimization (AREA)
  • Mathematical Analysis (AREA)
  • Computational Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

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

Description

制造系统设计验证装置
技术领域
本发明涉及制造系统设计验证装置。
背景技术
在进行制造系统的设计的情况下，进行机械设计、电气设计、控制设计等多种设计。另外，已知用于在进行了上述这样的制造系统的设计的情况下进行制造系统的设计信息的妥当性的验证的技术。例如，在专利文献1所记载的技术中，机械CAD图纸、控制程序等设计信息被输入至专用的装置模拟器，通过专用的装置模拟器对制造系统整体的动作进行模拟，由此进行制造系统的设计信息的妥当性的验证。
专利文献1：日本特开2015-225419号公报
发明内容
但是，在使用了模拟的以往的制造系统设计信息的妥当性的验证中，能够输入至模拟器的制造系统设计信息限于机械CAD图纸、控制程序等一部分的设计信息。因此，能够进行验证的内容受到限制。
本发明就是鉴于该问题而提出的。本发明的目的在于提供能够扩展可进行验证的设计信息的制造系统设计验证装置。
制造系统设计验证装置具有设计信息模型、设计信息输入部、验证逻辑保存部及设计信息验证部。设计信息模型是对设计信息集中地进行表现的框架。向设计信息输入部中输入设计信息。设计信息输入部参照设计信息模型而将设计信息转换为由资源记述语言记述的表达。验证逻辑保存部对包含由与资源记述语言对应的查询语言记述的查询和期待结果的组的验证逻辑进行保存。设计信息验证部具有对表达执行查询而回送执行结果的查询执行引擎和将执行结果与期待结果进行比较而回送验证结果的比较引擎。
发明的效果
根据本发明，参照对设计信息集中地进行表现的框架即设计信息模型而将设计信息转换为由资源记述语言记述的表达，基于该表达而回送验证结果。因此，能够将工序设计、机械设计、电气设计、控制设计等各种设计的设计信息输入至制造系统设计验证装置。由此，能够扩展可由制造系统设计验证装置进行验证的设计信息的种类。
本发明的目的、特征、方案及优点通过以下的详细说明和附图变得更清楚。
附图说明
图1是示意性地图示实施方式1的制造系统设计验证装置的硬件结构的框图。
图2是示意性地图示实施方式1的制造系统设计验证装置的功能结构的框图。
图3是表示与由实施方式1的制造系统设计验证装置进行的制造系统设计信息的输入相关的处理的流程的流程图。
图4是表示与由实施方式1的制造系统设计验证装置进行的设计信息的验证相关的处理的流程的流程图。
图5是对由实施方式1的制造系统设计验证装置进行的设计信息的验证的例子进行说明的图。
图6是图示在实施方式1的制造系统设计验证装置上显示的画面的例子的图。
图7是示意性地图示实施方式2的制造系统设计验证装置的功能结构的框图。
图8是图示向实施方式2的制造系统设计验证装置输入的验证项目模板的例子的图。
图9是图示向实施方式2的制造系统设计验证装置输入的内部规格的例子的图。
图10是表示与由实施方式2的制造系统设计验证装置进行的验证项目模板的输入以及验证逻辑的生成及保存相关的处理的流程的流程图。
图11是对与由实施方式2的制造系统设计验证装置进行的外部规格相关的验证的例子进行说明的图。
图12是示意性地图示实施方式3的制造系统设计验证装置的功能结构的框图。
图13是图示向实施方式3的制造系统设计验证装置输入的动作规格的例子的图。
图14是表示与由实施方式3的制造系统设计验证装置进行的使用了动作规格的控制程序的验证相关的处理的流程的流程图。
图15是对由实施方式3的制造系统设计验证装置进行的验证的例子进行说明的图。
图16是示意性地图示实施方式4的制造系统设计验证装置的一部分的功能结构的框图。
图17是表示与由实施方式4的制造系统设计验证装置进行的设计指南的获得及验证逻辑的生成相关的处理的流程的流程图。
具体实施方式
实施方式1
图1是示意性地图示实施方式1的制造系统设计验证装置的硬件结构的框图。
如图1所图示，实施方式1的制造系统设计验证装置1具有处理器92、存储器93、硬盘驱动器94、输入装置95、输出装置96及系统总线97。
处理器92是中央处理装置(CPU)、图形处理装置(GPU)、数字信号处理装置(DSP)等。存储器93是随机存取存储器(RAM)、只读存储器(ROM)等。硬盘驱动器94也可以被置换为除硬盘驱动器94以外的辅助存储装置。例如，硬盘驱动器94可以被置换为固态驱动器(SSD)、RAM盘等。输入装置95是键盘、指点设备、传声器、扫描仪、照相机、通信接口、传感器等。输出装置96是显示器、灯、扬声器、通信接口等。
系统总线97将处理器92、存储器93、硬盘驱动器94、输入装置95及输出装置96彼此可通信地连接。
图2是示意性地图示实施方式1的制造系统设计验证装置的功能结构的框图。
如图2所图示的那样，制造系统设计验证装置1具有设计信息模型10、设计信息输入部12、验证逻辑保存部13、设计信息保存部14及设计信息验证部15。这些要素是通过由处理器92执行从硬盘驱动器94被加载至存储器93的程序而构成的。这些要素的一部分或全部也可以由不执行程序的硬件构成。
向制造系统设计验证装置1输入制造系统设计信息20。另外，制造系统设计验证装置1将制造系统设计信息20的验证结果21输出。
制造系统设计信息20表示对产品进行制造的制造系统的设计的内容。制造系统设计信息20包含表示在制造系统的设计中包含的工序设计、机械设计、电气设计、控制设计等设计的内容的设计信息。表示设计的内容的设计信息由在该设计中利用的设计工具进行输出。
以下，构成设计信息的部分信息被称为设计项目。
设计信息模型10是对设计信息集中地进行表现的框架。设计信息模型10通过对用于以特定的表达形式来表现设计信息的规则进行定义而对设计信息集中地进行表现。所定义的规则包含类别的定义及设计项目之间的关系的定义。类别的定义是指对设计信息所包含的设计项目进行分类。关系的定义表示设计项目和与该设计项目相关的其它设计项目呈何种关系。
向设计信息输入部12输入制造系统设计信息20。由此，向设计信息输入部12输入制造系统设计信息20所包含的设计信息。
另外，设计信息输入部12参照设计信息模型10将输入进来的设计信息转换为由资源记述语言记述的表达。设计信息输入部12此时使用由所参照的设计信息模型10定义的类别及关系，将设计信息转换为由资源记述语言记述的表达。资源记述语言是AutomationML(自动化标记语言)、Resource Description Framework(RDF；资源描述框架)等。以下，由资源记述语言记述的表达被称为设计信息资源。
这里，考虑通过设计信息模型10而定义出“工序”及“装置”这样的类别以及“由工序利用的装置”这样的关系的情况。在这种情况下，就设计信息资源而言，在作为“工序”及“装置”这样的类别的实例而分别包含“工序A”及“装置B”，在“工序A”与“装置B”之间包含“由工序利用的装置”这一关系时，该设计信息资源表现出“由工序A利用的装置是装置B”这一情况。
设计信息保存部14保存被输入进来的设计信息及通过对该设计信息进行转换而得到的设计信息资源这两者。设计信息保存部14此时将设计信息及设计信息资源储存于设计信息数据库(DB)。
验证逻辑保存部13对至少一个验证逻辑130进行保存。验证逻辑保存部13此时将至少一个验证逻辑130储存于验证项目DB。所保存的至少一个验证逻辑130是为了对设计信息的匹配性进行验证而使用的。各验证逻辑130包含查询1300和期待结果1301的组。
查询1300是至少一个查询。查询1300是由与上述的资源记述语言对应的查询语言记述的。查询语言是SPARQL等。查询1300是使用由设计信息模型10定义的类别及关系而取得设计信息所包含的信息的查询。例如，查询1300是取得特定的设计项目的值的查询、对两个设计项目之间是否存在特定的关系进行检查的查询等。
期待结果1301被与其成对的查询1300的执行结果进行比较。期待结果1301是通过使用编程语言，将查询1300的执行结果设为自变量而输出真伪值的函数定义而表现的。由此，期待结果1301表现出查询1300的执行结果应满足的限制。
设计信息验证部15针对在验证逻辑保存部13保存的验证逻辑130及在设计信息保存部14保存的设计信息资源而进行设计信息是否满足验证逻辑130的验证。设计信息验证部15具有查询执行引擎150及比较引擎151。查询执行引擎150对由资源记述语言记述的设计信息资源执行由查询记述语言记述的查询1300而回送查询1300的执行结果。查询执行引擎150例如是SPARQL执行引擎。比较引擎151将回送的查询1300的执行结果与期待结果1301进行比较而回送验证结果。比较引擎151此时对查询1300的执行结果应用期待结果1301即函数而回送验证结果。由此，设计信息验证部15针对各验证逻辑130而输出验证结果。所输出的验证结果是以真(True)或伪(False)给出的，包含于由制造系统设计验证装置1输出的验证结果21。由此，设计信息验证部15能够通过执行验证逻辑130而由机器确认制造系统设计信息20的匹配性。
图3是表示与由实施方式1的制造系统设计验证装置进行的制造系统设计信息的输入相关的处理的流程的流程图。
设计信息输入部12执行图3所示的步骤S1至S4。
在步骤S1中，向设计信息输入部12输入制造系统设计信息20所包含的设计信息。
在接下来的步骤S2中，设计信息输入部12读入设计信息模型10。
在接下来的步骤S3中，设计信息输入部12使用所读入的设计信息模型10将输入进来的设计信息转换为由资源记述语言记述的表达即设计信息资源。
在接下来的步骤S4中，设计信息输入部12将设计信息及设计信息资源保存于设计信息保存部14。
图4是表示与由实施方式1的制造系统设计验证装置进行的设计信息的验证相关的处理的流程的流程图。
设计信息验证部15执行图4所示的步骤S21至S26。
在步骤S21中，设计信息验证部15从由设计信息保存部14构建的设计信息DB读入设计信息资源。
在接下来的步骤S22中，设计信息验证部15从由验证逻辑保存部13构建的验证项目DB读入至少一个验证逻辑130。
在接下来的步骤S23中，查询执行引擎150执行各验证逻辑130而获得各验证逻辑130所包含的查询1300的执行结果。查询执行引擎150此时对已读入的设计信息资源执行各验证逻辑130所包含的查询1300而获得查询1300的执行结果。
在接下来的步骤S24中，比较引擎151将获得的执行结果与各验证逻辑130所包含的期待结果1301即期待值进行比较而获得验证结果。
在接下来的步骤S25中，设计信息验证部15对至少一个验证逻辑130是否已全部被执行进行判断。设计信息验证部15在至少一个验证逻辑130已全部被执行的情况下，使处理进入步骤S26，在至少一个验证逻辑130并未全部被执行的情况下，使处理返回至步骤S23。在处理返回至步骤S23的情况下，在步骤S23中，比较引擎151针对尚未获得验证结果的验证逻辑130而获得验证结果。
在步骤S26中，设计信息验证部15将包含针对至少一个验证逻辑130而获得的验证结果的验证结果21输出。
根据实施方式1，参照对设计信息集中地进行表现的框架即设计信息模型10而将设计信息转换为由资源记述语言记述的表达，基于该表达而回送验证结果。因此，能够将工序设计、机械设计、电气设计、控制设计等各种设计的设计信息输入至制造系统设计验证装置1。由此，能够扩展可由制造系统设计验证装置1进行验证的设计信息的种类。
另外，根据实施方式1，由设计信息验证部15提供了能够在形式上对想要验证的内容进行表现而由计算机执行的机制。由此，能够由机器验证制造系统设计信息20的匹配性。
由此，根据实施方式1，能够降低制造系统的设计阶段的成本。
图5是对由实施方式1的制造系统设计验证装置进行的设计信息的验证的例子进行说明的图。
在由图5说明的例子中，通过对存在实现设计信息所包含的全部工序的装置进行确认，从而验证在设计信息中是否包含缺陷。因此，在由图5说明的例子中，设计信息具有匹配性的状态是存在实现设计信息所包含的全部工序的装置的状态。
设计信息模型10包含设计项目的类别的定义及设计项目之间或类别之间的关系的定义。另外，设计信息资源140是通过由设计信息输入部12使用类别及关系的定义将设计信息转换为由资源记述语言记述的表达而得到的。设计信息资源140例如是由RDF形式记述的，是包含作为设计项目或类别的2个要素及1个关系在内的3组列表的形式。在由图5说明的例子中，设计信息资源140的第1行处的“is_a关系”表现出“工序A”属于“工序”类别这一情况。另外，设计信息资源140的第5行处的“hasEquipment关系”表现出由“装置B”实现“工序A”这一情况。
验证逻辑130包含查询1300及期待结果1301。查询1300是至少一个查询，是使用由设计信息模型10定义的类别及关系而由查询语言即SPARQL记述的。期待结果1301可以是单纯的期待值，但也可以是由编程语言记述的过程(procedure)。在期待结果1301是由编程语言记述的过程的情况下，即使在查询1300是多个查询时，期待结果1301也能够对查询1300的执行结果153应满足的限制进行记述。
这里，对验证逻辑130、查询1300及期待结果1301的构成方法进行说明。
在图5所示的例子中，想要验证的内容是“存在实现设计信息所包含的全部工序的装置”。该想要验证的内容能够通过以下方式进行表现，即，准备包含提取全部工序的查询及提取由装置实现的全部工序的查询在内的查询1300，将由前者的查询提取到的工序的数量及由后者的查询提取到的工序的数量彼此相等这一情况设为期待结果1301。在由图5说明的例子中，准备包含取得工序和与其相关的装置的组的“查询1”及取得工序的一览的“查询2”在内的查询1300。另外，期待结果1301具有对“查询1”的执行结果的大小与“查询2”的执行结果的大小彼此是否相等进行评价的函数。
设计信息验证部15为了进行设计信息的验证而使查询执行引擎150针对设计信息资源140执行验证逻辑130。由此，能够得到各查询1300的执行结果153。向比较引擎151输入各查询1300的执行结果153及期待结果1301。比较引擎151通过对输入进来的各查询1300的执行结果153应用输入进来的期待结果1301即函数，从而回送以“True”或“False”给出的真伪值。回送的真伪值被赋予“True”表示各查询1300的执行结果153满足期待结果1301。另一方面，回送的真伪值被赋予“false”表示各查询1300的执行结果153不满足期待结果1301。在由图5说明的例子中，由于“查询1”的执行结果的大小及“查询2”的执行结果的大小同为“2”，因此回送的真伪值被赋予“True”。
在由图5说明的例子中，例如在设计信息资源140缺少“"工序C"hasEquipment"装置D"”的情况下，“查询1”的执行结果仅是“工序A装置B”，因此，“查询1”的执行结果的大小及“查询2”的执行结果的大小彼此不同，回送的真伪值被赋予“False”。因此，在这种情况下，在设计信息中包含缺陷。
也可以采用与上述的验证逻辑130、查询1300及期待结果1301的构成方法不同的验证逻辑130、查询1300及期待结果1301的构成方法。
图6是图示在实施方式1的制造系统设计验证装置上显示的画面的例子的图。
图6所图示的画面190显示于输出装置96即显示器。画面190是由在制造系统设计验证装置1中实现设计信息的输入及验证的功能的软件进行显示的。
在画面190的“设计信息一览”区域191中一览显示有在设计信息DB储存的设计信息即设计文件。在显示有画面190的情况下，通过在响应于“设计信息输入”按钮192的按下而显示的文件选择对话框上选择设计文件，从而能够按照图3所示的处理的流程，将选择出的设计文件即设计信息追加保存于设计信息保存部14。另外，在显示有画面190的情况下，通过按下“验证”按钮193，从而能够按照图4所示的处理的流程，进行在设计信息保存部14保存的设计信息的验证。所进行的验证的结果被显示于“验证结果一览”区域194。在“验证结果一览”区域194中针对每个与1个验证逻辑130对应的验证项目而显示验证的结果。各验证的结果以“True”或“False”给出。在验证的结果被赋予“False”的情况下，作为其原因而示出执行结果与期待结果如何不同。
设计信息验证部15能够在任意的定时(timing)对在验证逻辑保存部13保存的验证逻辑130及在设计信息保存部14保存的设计信息进行验证。例如，设计信息验证部15能够在由用户按下了“验证”按钮193时进行该验证，但也能够在设计信息被更新时进行该验证，能够在与设计信息模型10的更新相伴地更新了验证逻辑130时进行该验证。
由制造系统设计验证装置1验证的验证项目能够由用户自由地进行选择。因此，也能够仅对由用户从在验证逻辑保存部13保存的验证逻辑130中选择出的任意个数的验证逻辑130进行验证。作为由用户选择验证项目的方法，例如也可以对设定对话框进行显示，由用户通过所显示的设定对话框而选择验证项目。
验证结果21的输出方法不受限定。例如，能够通过图形用户界面(GUI)而将验证结果21显示给用户。另外，能够通过电子邮件将验证结果21通知给用户。
实施方式2
图7是示意性地图示实施方式2的制造系统设计验证装置的功能结构的框图。
以下，说明图7所图示的实施方式2的制造系统设计验证装置2与图1所图示的实施方式1的制造系统设计验证装置1的不同点。关于未说明的点，在制造系统设计验证装置2中也采用与在制造系统设计验证装置1中采用的结构相同的结构。
如图7所图示的那样，制造系统设计验证装置2还具有验证逻辑生成部11。
向验证逻辑生成部11输入验证项目模板40。另外，验证逻辑生成部11基于输入进来的验证项目模板40而生成验证逻辑130。
验证项目模板40具有与外部规格401及内部规格402的至少一者相关的输入栏。因此，用户通过将外部规格401及内部规格402的至少一者输入至该输入栏，从而能够将外部规格401及内部规格402的至少一者记述于验证项目模板40。在验证项目模板40记述的规格是想要验证的项目。
外部规格401表示制造系统的规格值。制造系统的规格值是制造系统的尺寸、制造系统的重量、制造系统整体的功耗、制造系统整体的热容量等。
图8是图示向实施方式2的制造系统设计验证装置输入的验证项目模板的例子的图。
图8所图示的验证项目模板40具有制造系统的重量、制造系统的尺寸及制造系统整体的功耗的输入栏作为外部规格401的输入栏。
内部规格402表示在对制造系统进行设计时利用的制造系统的内部设计信息。制造系统的内部设计信息是表示可编程逻辑控制器(PLC)与各装置的触点之间的连接关系的连接关系表、制造系统的构建所利用的部件的一览即部件表等。
图9是图示向实施方式2的制造系统设计验证装置输入的内部规格的例子的图。
图9所图示的内部规格402是上述的连接关系表。该连接关系表表示“传感器A”与具有“X100”这一PLC侧触点编号的PLC侧触点连接这一情况等。在该连接关系表被记述于验证项目模板40的情况下，该连接关系表的各项目成为输入栏。
图10是表示与由实施方式2的制造系统设计验证装置进行的验证项目模板的输入以及验证逻辑的生成及保存相关的处理的流程的流程图。
验证逻辑生成部11执行图10所示的步骤S101至S103。
在步骤S101中，向验证逻辑生成部11输入验证项目模板40。在被输入的验证项目模板40的输入栏由用户输入外部规格401及内部规格402的至少一者。因此，在被输入的验证项目模板40由用户记述有外部规格401及内部规格402的至少一者。
在接下来的步骤S102中，验证逻辑生成部11根据输入进来的验证项目模板40而生成验证逻辑130。所生成的验证逻辑130与实施方式1同样地包含查询1300与期待结果1301的组。查询1300取得设计信息所包含的值、设计信息所包含的关系的有无等。期待结果1301是将被输入至验证项目模板40的输入栏中的值与查询1300的执行结果进行比较的函数。在生成验证逻辑130时，基本来说，准备与验证项目模板40的各输入栏对应的查询1300，期待结果1301即函数中的值根据该各输入栏而发生变化。
在步骤S103中，验证逻辑生成部11将生成的验证逻辑130储存于由验证逻辑保存部13构建的验证项目DB。
根据实施方式2，通过在验证项目模板40记述用户想要验证的项目，从而能够对与外部规格401、内部规格402等相关的多个验证项目进行设计的验证。
图11是对与由实施方式2的制造系统设计验证装置进行的外部规格相关的验证的例子进行说明的图。
在由图11说明的例子中，验证制造系统的重量是否小于或等于被输入至验证项目模板40的输入栏中的制造系统的重量。在由图11说明的例子中，设计信息资源140表现出使用hasWeight关系而构成制造系统的装置的重量。另外，向验证逻辑生成部11输入外部规格401，该外部规格401被输入至验证项目模板40的输入栏。
验证逻辑生成部11按照图10所示的处理的流程，根据输入进来的外部规格401而生成验证逻辑130。所生成的验证逻辑130所包含的查询1300是以验证项目模板40的输入栏为单位而准备的。在由图11说明的例子中，查询1300取得构成制造系统的装置的重量。验证逻辑130所包含的期待结果1301是作为将查询1300的执行结果即构成制造系统的装置的重量的合计值是否小于被输入至与外部规格401相关的输入栏中的制造系统的重量进行比较的函数而生成的。由此，验证逻辑生成部11能够根据外部规格401而生成验证逻辑130。
验证逻辑生成部11同样地也能够根据内部规格402而生成验证逻辑130。在根据内部规格402而生成验证逻辑130的情况下，例如验证是否按照被输入至验证项目模板40的与内部规格402相关的输入栏中的连接关系表而在设计信息中进行了配线。在这种情况下，作为验证逻辑130所包含的查询1300，能够想到针对制造系统所包含的各PLC端子而取得连接目标装置的触点的查询。另外，作为验证逻辑130所包含的期待结果1301，能够想到具有将查询1300的执行结果与连接关系表进行比较的处理的函数。
在图10所示的处理的流程中，根据验证项目模板40而生成的验证逻辑130被追加保存于验证逻辑保存部13。但是，也能够基于验证项目模板40而进行已保存于验证逻辑保存部13中的验证逻辑130的修正或删除。
实施方式3
图12是示意性地图示实施方式3的制造系统设计验证装置的功能结构的框图。
以下，说明图12所图示的实施方式3的制造系统设计验证装置3与图1所图示的实施方式1的制造系统设计验证装置1的不同点。关于未说明的点，在制造系统设计验证装置3中也采用与在制造系统设计验证装置1中采用的结构相同的结构。
制造系统设计验证装置3能够进行上述的验证，但在制造系统设计信息20包含控制程序201的情况下，能够进行与上述的验证不同的验证。在制造系统设计信息20包含控制程序201的情况下，向设计信息输入部12输入控制程序201。控制程序201是在制造系统的设计所包含的控制设计中创建的。
如图12所图示的那样，制造系统设计验证装置3还具有验证逻辑生成部11。
向验证逻辑生成部11输入验证项目模板40。
验证项目模板40具有与动作规格403相关的输入栏。用户通过将动作规格403输入至该输入栏，从而能够将动作规格403记述于验证项目模板40。在验证项目模板40记述的动作规格403是想要验证的项目。
动作规格403表现制造系统的动作。动作规格403是记述有构成制造系统的装置、装备等的动作定时的时序图等。
图13是图示向实施方式3的制造系统设计验证装置输入的动作规格的例子的图。
图13所图示的动作规格403是时序图。时序图表现出PLC的具有以“X”开头的PLC侧触点编号的输入触点及具有以“Y”开头的PLC侧触点编号的输出触点的值的历时变化。在图13所图示的动作规格403中，值在由与“ON”对应的ON值及与“OFF”对应的OFF值构成的2个值之间进行变化。值也可以在3个值之间进行变化。值也可以是模拟值。在动作规格403是时序图的情况下，向验证项目模板40的输入栏输入该时序图。
验证逻辑生成部11将动作规格403设为在验证逻辑保存部13保存的验证逻辑130。
如图12所图示的那样，设计信息验证部15具有模拟执行环境152。模拟执行环境152在向设计信息输入部12输入了控制程序201的情况下，使用动作规格403所包含的信息而模拟执行控制程序201，输出执行结果。在如图13所图示的那样动作规格403是时序图的情况下，模拟执行环境152读入时序图所包含的输入触点的值的历时变化的组合及控制程序201，使用所读入的输入触点的值的历时变化的组合而模拟执行控制程序201，回送输出触点的值的历时变化的组合。
比较引擎151将输出的执行结果与动作规格403所包含的期待结果进行比较而回送验证结果。
图14是表示与由实施方式3的制造系统设计验证装置进行的使用了动作规格的控制程序的验证相关的处理的流程的流程图。
设计信息验证部15执行图14所示的步骤S201至S205。
设为在开始步骤S201至S205的执行时，在验证逻辑保存部13已保存有验证逻辑130即时序图。另外，设为在设计信息保存部14已保存有作为控制设计的设计信息的控制程序201。
在步骤S201中，设计信息验证部15从由设计信息保存部14构建的设计信息DB读入设计信息即控制程序201。
在接下来的步骤S202中，设计信息验证部15从由验证逻辑保存部13构建的验证项目DB读入验证逻辑130即时序图。
在接下来的步骤S203中，模拟执行环境152基于读入的控制程序201及时序图而模拟执行控制程序201，取得执行结果。所取得的执行结果包含PLC的输出触点的值的历时变化。
在接下来的步骤S204中，比较引擎151将已取得的执行结果所包含的PLC的输出触点的值的历时变化与已取得的时序图所包含的PLC的输出触点的值的历时变化进行比较而回送验证结果。
在步骤S205中，设计信息验证部15输出验证结果21。所输出的验证结果21包含在步骤S204中回送的验证结果。
根据实施方式3，能够由机器验证由控制程序201实现的动作是否与由动作规格403即时序图表现出的动作一致。
图15是对由实施方式3的制造系统设计验证装置进行的验证的例子进行说明的图。
在由图15说明的例子中，时序图154被用户输入至验证项目模板40的与动作规格403相关的输入栏。时序图154所包含的PLC的输入触点的值的历时变化成为被输入至模拟执行环境152的输入数据。时序图154所包含的PLC的输出触点的值的历时变化成为被输入至比较引擎151的期待结果1301。
向模拟执行环境152输入PLC的输入触点的值的历时变化。模拟执行环境152将PLC的输出触点的值的历时变化作为执行结果而输出。所输出的PLC的输出触点的值的历时变化被输入至比较引擎151。比较引擎151将从模拟执行环境152输入的PLC的输出触点的值的历时变化与期待结果1301即PLC的输出触点的值的历时变化进行比较而回送验证结果。此时，由于具有“Y102”这一PLC侧触点编号的输出触点的值的历时变化和具有与该PLC侧触点编号相同的PLC侧触点编号的输出触点的值的历时变化不同，因此，比较引擎151将验证结果设为“No”。
如此得到的验证结果包含与PLC的输出触点的值的历时变化相关的信息。因此，该验证结果也能够在GUI上作为时序图而进行图示。由此，用户易于对PLC的输出触点的值的历时变化进行比较。
实施方式4
图16是示意性地图示实施方式4的制造系统设计验证装置的一部分的功能结构的框图。
以下，说明图16所图示的实施方式4的制造系统设计验证装置4与图1所图示的实施方式1的制造系统设计验证装置1的不同点。关于未说明的点，在制造系统设计验证装置4中也采用与在制造系统设计验证装置1中采用的结构相同的结构。
在制造系统设计验证装置4中，设计信息保存部14能够对与制造系统相关的多个设计信息进行积蓄。设计信息保存部14对被输入至设计信息输入部12的设计信息进行保存而汇入至积蓄下来的设计信息中。由此，设计信息保存部14能够连同过去的设计的设计信息也包含在内地对设计信息进行积蓄。
如图16所图示的那样，制造系统设计验证装置4还具有设计指南学习部17。
设计指南学习部17根据设计信息保存部14所积蓄的多个设计信息对设计指南进行学习。所学习的设计指南表示所期望的设计。设计指南表示在制造系统设计信息20所包含的设计信息中包含的2个设计项目的关系。该2个设计项目是在该2个设计项目的一个设计项目的值已被决定下来的情况下该2个设计项目的多个设计项目的值会被决定下来的2个设计项目。该2个设计项目是PLC的触点数及控制盘的尺寸等。在PLC的触点数已被决定下来的情况下控制盘的尺寸被决定下来，因此，PLC的触点数及控制盘的尺寸可以成为该2个设计项目。
验证逻辑生成部11根据学习得到的设计指南而生成验证逻辑130。
图17是表示与由实施方式4的制造系统设计验证装置进行的设计指南的获得及验证逻辑的生成相关的处理的流程的流程图。
验证逻辑生成部11及设计指南学习部17执行图17所示的步骤S301至S303。
在步骤S301中，设计指南学习部17从由设计信息保存部14构成的设计信息DB读入设计信息。
在接下来的步骤S302中，设计指南学习部17根据读入的设计信息导出设计指南。设计指南由在输入了某个设计项目的值的情况下回送另一个设计项目的值的函数进行表示。例如，在与2个设计项目A及B相关的设计指南由函数f表示的情况下，函数f在输入了设计项目A的值a的情况下回送设计项目B的值f(a)。所回送的值f(a)是设计项目B的推荐值。该函数能够通过将已知的设计信息所包含的设计项目的值设为输入的统计方法、机器学习等而得到。
在接下来的步骤S303中，验证逻辑生成部11根据设计指南而生成验证逻辑130，将生成的验证逻辑130储存于由验证逻辑保存部13构建的验证项目DB。所储存的验证逻辑130与实施方式1同样地是查询1300及期待结果1301的组。查询1300从设计信息取得某2个设计项目的值。期待结果1301是将查询1300的执行结果与设计指南进行比较的函数。
根据实施方式4，根据积蓄下来的设计信息对设计指南进行学习，根据学习到的设计指南而生成验证逻辑130。另外，基于所生成的验证逻辑130对设计信息进行验证。由此，能够验证设计信息是否是偏离了其它多个设计的设计信息的设计信息。
此外，能够对各实施方式自由地进行组合，对各实施方式适当地进行变形、省略。
详细地说明了本发明，但上述说明在所有方面都是例示，不是限定性的内容。可以理解为能够想到未例示出的无数的变形例。
标号的说明
1制造系统设计验证装置，2制造系统设计验证装置，3制造系统设计验证装置，4制造系统设计验证装置，10设计信息模型，11验证逻辑生成部，12设计信息输入部，13验证逻辑保存部，14设计信息保存部，15设计信息验证部，17设计指南学习部，150查询执行引擎，151比较引擎，152模拟执行环境。

Claims (4)

1.一种制造系统设计验证装置，其具有：
设计信息模型，其是对设计信息集中地进行表现的框架；
设计信息输入部，其被输入所述设计信息，参照所述设计信息模型将所述设计信息转换为由资源记述语言记述的表达；
验证逻辑保存部，其对验证逻辑进行保存，该验证逻辑包含由与所述资源记述语言对应的查询语言记述的查询和期待结果的组；以及
设计信息验证部，其具有对所述表达执行所述查询而回送执行结果的查询执行引擎和将所述执行结果与所述期待结果进行比较而回送验证结果的比较引擎。
2.根据权利要求1所述的制造系统设计验证装置，其中，
具有验证逻辑生成部，向该验证逻辑生成部输入具有与表示制造系统的规格值的外部规格及表示所述制造系统的内部设计信息的内部规格的至少一者相关的输入栏的验证项目模板，该验证逻辑生成部基于所述验证项目模板而生成所述验证逻辑。
3.根据权利要求1或2所述的制造系统设计验证装置，其中，
具有验证逻辑生成部，向该验证逻辑生成部输入具有与表现制造系统的动作的动作规格相关的输入栏的验证项目模板，该验证逻辑生成部将所述动作规格设为所述验证逻辑，
所述设计信息验证部具有模拟执行环境，该模拟执行环境在向所述设计信息输入部输入了控制程序的情况下使用所述动作规格所包含的信息而模拟执行所述控制程序，输出执行结果，
所述比较引擎将由所述模拟执行环境输出的执行结果与所述动作规格所包含的期待结果进行比较而回送验证结果。
4.根据权利要求1至3中任一项所述的制造系统设计验证装置，其中，具有：
设计信息保存部，其对所述设计信息进行保存而汇入至积蓄下来的设计信息中；
设计指南学习部，其根据所述积蓄下来的设计信息对设计指南进行学习；以及
验证逻辑生成部，其根据所述设计指南而生成所述验证逻辑。
CN202080100776.4A 2020-05-15 2020-05-15 制造系统设计验证装置 Pending CN115552405A (zh)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2020/019386 WO2021229785A1 (ja) 2020-05-15 2020-05-15 製造システム設計検証装置

Publications (1)

Publication Number Publication Date
CN115552405A true CN115552405A (zh) 2022-12-30

Family

ID=78525574

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202080100776.4A Pending CN115552405A (zh) 2020-05-15 2020-05-15 制造系统设计验证装置

Country Status (4)

Country Link
US (1) US20230161926A1 (zh)
JP (1) JP7233611B2 (zh)
CN (1) CN115552405A (zh)
WO (1) WO2021229785A1 (zh)

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH08249373A (ja) * 1995-03-15 1996-09-27 Toshiba Corp システム検証装置及びシステム検証方法
JP2002297704A (ja) * 2001-03-30 2002-10-11 Casio Comput Co Ltd 製品デザイン対応サービスシステム、ユーザ端末、管理サーバ及びプログラム
JP2012216209A (ja) * 2011-03-31 2012-11-08 Canon Marketing Japan Inc Ｃａｄ制御装置、ｃａｄ制御システム、ｃａｄ制御システムの制御方法、ｃａｄ制御プログラム

Also Published As

Publication number Publication date
JPWO2021229785A1 (zh) 2021-11-18
WO2021229785A1 (ja) 2021-11-18
JP7233611B2 (ja) 2023-03-06
US20230161926A1 (en) 2023-05-25

Similar Documents

Publication Publication Date Title
US20060229753A1 (en) Probabilistic modeling system for product design
US7877239B2 (en) Symmetric random scatter process for probabilistic modeling system for product design
US7788070B2 (en) Product design optimization method and system
US20110213757A1 (en) System and method for automatic standardization and verification of system design requirements
US20220405440A1 (en) Systems and methods for generating reduced order models
JP4648386B2 (ja) 設計支援装置、設計支援方法、設計支援プログラム
WO2020162884A1 (en) Parameter suggestion system
US20030131324A1 (en) Method of and apparatus for, and program for verifying equivalence between behavioral description and register transfer level description
CN115552405A (zh) 制造系统设计验证装置
CN115658021B (zh) 动态模型的确定方法、装置、存储介质及电子设备
US20120317526A1 (en) Verification method, computer-readable recording medium, and design verification apparatus
CN103440391A (zh) 一种基于数值选择函数的半导体工艺角扫描仿真方法
JP2007249826A (ja) テスト項目生成装置
CN116302344A (zh) 一种批量生成硬件仿真自动化过程的方法及系统
JP6034614B2 (ja) 情報処理装置およびその方法
CN115659711A (zh) 一种仿真方法、装置、电子设备及存储介质
CN106919755B (zh) 一种基于数据的云制造系统不确定性量化分析方法及装置
EP3882722A1 (en) Manufacturing or controlling a technical system using an optimized parameter set
KR101672763B1 (ko) 시뮬레이션 인터페이스 생성방법 및 실시간 시뮬레이션 장치
WO2023119691A1 (ja) 情報処理装置及びシミュレーション方法
US20230252204A1 (en) Method for generating a virtual model of a component, computer system, and computer program product
JP2006039614A (ja) タイミング制約情報の作成方法及び作成システム
Andersson Modeling and simulation as a control means for product development
WO2023199413A1 (ja) 機械学習プログラム、機械学習方法および情報処理装置
CN115702428A (zh) 模型训练程序、模型训练方法以及信息处理装置

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination