MANUFACTURING SYSTEM DESIGN VERIFICATION DEVICE

• Main Authors: INOUE Hiroaki, FUJITA Kohei, IWATSU Satoshi
• Format: Patent
• Language: English; French; Japanese
• Published: 18.11.2021
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

Provided is a manufacturing system design verification device capable of expanding design information that can be verified. A manufacturing system design verification device according to the present invention includes a design information model, a design information input unit, a verification logic storage unit, and a design information verification unit. The design information model is a framework for expressing design information in an integrated manner. The design information input unit receives input of design information. The design information input unit converts the design information into expressions described in a resource description language by referring to the design information model. The verification logic storage unit stores verification logic including: a query described in a query language corresponding to the resource description language; and an expected result, said query and expected result forming a set. The design information verification unit includes: a query execution engine that executes a query for an expression and returns an execution result; and a comparison engine that compares the execution result with the expected result and returns a verification result. L'invention concerne un dispositif de vérification de conception de système de fabrication apte à étendre des informations de conception qui peuvent être vérifiées. Un dispositif de vérification de conception de système de fabrication selon la présente invention comprend un modèle d'informations de conception, une unité d'entrée d'informations de conception, une unité de stockage de logique de vérification et une unité de vérification d'informations de conception. Le modèle d'informations de conception est un cadre pour exprimer des informations de conception d'une manière intégrée. L'unité d'entrée d'informations de conception reçoit une entrée d'informations de conception. L'unité d'entrée d'informations de conception convertit les informations de conception en expressions décrites dans un langage de description de ressources en se référant au modèle d'informations de conception. L'unité de stockage de logique de vérification stocke une logique de vérification comprenant : une interrogation décrite dans un langage d'interrogation correspondant au langage de description de ressource; et un résultat attendu, ladite interrogation et le résultat attendu formant un ensemble. L'unité de vérification d'informations de conception comprend : un moteur d'exécution d'interrogation qui exécute une interrogation pour une expression et renvoie un résultat d'exécution; et un moteur de comparaison qui compare le résultat d'exécution avec le résultat attendu et renvoie un résultat de vérification. 検証することができる設計情報を広げることができる製造システム設計検証装置を提供する。製造システム設計検証装置は、設計情報モデル、設計情報入力部、検証ロジック保存部及び設計情報検証部を備える。設計情報モデルは、設計情報を統合して表現する枠組みである。設計情報入力部には、設計情報が入力される。設計情報入力部は、設計情報モデルを参照して設計情報をリソース記述言語で記述された表現に変換する。検証ロジック保存部は、リソース記述言語に対応するクエリ言語で記述されたクエリと期待結果との組を含む検証ロジックを保存する。設計情報検証部は、クエリを表現に対して実行して実行結果を返すクエリ実行エンジンと、実行結果を期待結果と比較して検証結果を返す比較エンジンと、を備える。