JPWO2016181526A1 - 制御ロジック図解析装置および制御ロジック図解析方法 - Google Patents
制御ロジック図解析装置および制御ロジック図解析方法 Download PDFInfo
- Publication number
- JPWO2016181526A1 JPWO2016181526A1 JP2017517541A JP2017517541A JPWO2016181526A1 JP WO2016181526 A1 JPWO2016181526 A1 JP WO2016181526A1 JP 2017517541 A JP2017517541 A JP 2017517541A JP 2017517541 A JP2017517541 A JP 2017517541A JP WO2016181526 A1 JPWO2016181526 A1 JP WO2016181526A1
- Authority
- JP
- Japan
- Prior art keywords
- control logic
- logic diagram
- analysis rule
- unit
- analysis
- 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.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/31—Design entry, e.g. editors specifically adapted for circuit design
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
- G05B19/0426—Programming the control sequence
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G05B19/056—Programming the PLC
-
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06V—IMAGE OR VIDEO RECOGNITION OR UNDERSTANDING
- G06V30/00—Character recognition; Recognising digital ink; Document-oriented image-based pattern recognition
- G06V30/40—Document-oriented image-based pattern recognition
- G06V30/42—Document-oriented image-based pattern recognition based on the type of document
- G06V30/422—Technical drawings; Geographical maps
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/50—Information retrieval; Database structures therefor; File system structures therefor of still image data
- G06F16/58—Retrieval characterised by using metadata, e.g. metadata not derived from the content or metadata generated manually
- G06F16/583—Retrieval characterised by using metadata, e.g. metadata not derived from the content or metadata generated manually using metadata automatically derived from the content
- G06F16/5854—Retrieval characterised by using metadata, e.g. metadata not derived from the content or metadata generated manually using metadata automatically derived from the content using shape and object relationship
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/12—Symbolic schematics
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Automation & Control Theory (AREA)
- Computer Hardware Design (AREA)
- Computer Vision & Pattern Recognition (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Evolutionary Computation (AREA)
- Artificial Intelligence (AREA)
- Geometry (AREA)
- Multimedia (AREA)
- Programmable Controllers (AREA)
- Stored Programmes (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
Description
<構成>
図21は、本実施形態に関する制御ロジック図解析装置の構成を概念的に示す図である。
図8は、本実施形態に関する制御ロジック図入力部11の動作を示すフローチャートである。
<構成>
以下では、上記実施形態で説明された構成と同様の構成については同じ符号を付して図示し、その詳細な説明については適宜省略する。
図20は、本実施形態に関する制御ロジック図テンプレート部品適用部200の動作を示すフローチャートである。
以下に、上記の実施形態による効果を例示する。
上記実施形態では、各構成要素の寸法、形状、相対的配置関係または実施の条件などについても記載している場合があるが、これらはすべての局面において例示であって、本明細書に記載されたものに限られることはない。よって、例示されていない無数の変形例が、本技術の範囲内において想定される。たとえば、少なくとも1つの構成要素を変形する場合、追加する場合または省略する場合、さらには、少なくとも1つの実施形態における少なくとも1つの構成要素を抽出し、他の実施形態の構成要素と組み合わせる場合が含まれる。
制御ロジック図解析ルール格納部、17 制御ロジック図解析ルール階層化部、18 制御ロジック図解析ルール抽出部、19 制御ロジック図解析ルール適用部、20 制御ロジック図テンプレート部品生成部、21 制御ロジック図案件特化部分抽出部、22 制御ロジック図テンプレート部品格納部、23 制御ロジック図案件特化部分格納部、24 案件情報入力部、25 案件情報格納部、50 設備、51 処理、52 接続線、53 論理和演算子、54 論理積演算子、55 否定演算子、56 分岐点、57 制御ロジック図情報、70 記述子、80 工程部品、81 論理積演算子部品、82 否定演算子部品、83 論理和演算子部品、100 記法レベル、101 Basic処理部品レベル、102 Basic処理レベル、103 設備構成レベル、119 適用部、120 取得部、121 抽出部、200 制御ロジック図テンプレート部品適用部、201 制御ロジック図。
Claims (6)
- 制御対象の制御ロジックを記述する図である制御ロジック図を解析するための解析ルールを、順次前記制御ロジック図に適用する適用部を備え、
前記解析ルールは、階層化され、かつ、上位の階層レベルの前記解析ルールが下位の階層レベルの前記解析ルールを包含する関係を有し、
前記適用部は、前記解析ルールを、下位の階層レベルから順次前記制御ロジック図に適用し、
前記解析ルールの適用結果に基づいて、前記制御ロジック図内に合致箇所を有する前記解析ルールを取得する取得部と、
前記解析ルールの適用結果に基づいて、前記制御ロジック図内に合致箇所を有する前記解析ルールに対応する前記制御ロジック図における要素を抽出する抽出部とをさらに備える、
制御ロジック図解析装置。 - 前記取得部は、前記制御ロジック図内に合致箇所を有する最上位の階層レベルの前記解析ルールを取得する、
請求項1に記載の制御ロジック図解析装置。 - 前記抽出部は、前記制御ロジック図内に合致箇所を有する各階層レベルの前記解析ルールに対応する前記制御ロジック図における要素を抽出する、
請求項1または請求項2に記載の制御ロジック図解析装置。 - 前記取得部において取得された前記解析ルールと、前記抽出部において抽出された前記制御ロジック図における前記要素とに基づいて、前記制御ロジック図を作成する作成部をさらに備える、
請求項1から請求項3のうちのいずれか1項に記載の制御ロジック図解析装置。 - 前記作成部が、前記制御ロジック図に前記制御ロジックを記述される前記対象を識別する識別子に基づいて、前記解析ルールと前記制御ロジック図における前記要素とを組み合わせて、前記制御ロジック図を作成する、
請求項4に記載の制御ロジック図解析装置。 - 制御対象の制御ロジックを記述する図である制御ロジック図を解析するための解析ルールを、順次前記制御ロジック図に適用し、
前記解析ルールは、階層化され、かつ、上位の階層レベルの前記解析ルールが下位の階層レベルの前記解析ルールを包含する関係を有し、
前記解析ルールを順次前記制御ロジック図に適用するに際し、前記解析ルールを下位の階層レベルから順次前記制御ロジック図に適用し、
前記解析ルールの適用結果に基づいて、前記制御ロジック図内に合致箇所を有する前記解析ルールを取得し、
前記解析ルールの適用結果に基づいて、前記制御ロジック図内に合致箇所を有する前記解析ルールに対応する、前記制御ロジック図における要素を抽出する、
制御ロジック図解析方法。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2015/063782 WO2016181526A1 (ja) | 2015-05-13 | 2015-05-13 | 制御ロジック図解析装置および制御ロジック図解析方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2016181526A1 true JPWO2016181526A1 (ja) | 2017-08-24 |
JP6289748B2 JP6289748B2 (ja) | 2018-03-07 |
Family
ID=57248100
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2017517541A Expired - Fee Related JP6289748B2 (ja) | 2015-05-13 | 2015-05-13 | 制御ロジック図解析装置および制御ロジック図解析方法 |
Country Status (6)
Country | Link |
---|---|
US (1) | US10359757B2 (ja) |
EP (2) | EP4002027A1 (ja) |
JP (1) | JP6289748B2 (ja) |
CN (1) | CN107615188B (ja) |
SG (1) | SG11201708469PA (ja) |
WO (1) | WO2016181526A1 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
SG11201805469VA (en) * | 2016-03-18 | 2018-10-30 | Mitsubishi Electric Corp | Control logic diagram creation support apparatus |
US11361125B2 (en) * | 2017-06-08 | 2022-06-14 | Mitsubishi Electric Corporation | Support method, design support apparatus, and a non-transitory recording medium storing a design support program |
WO2019123510A1 (ja) * | 2017-12-18 | 2019-06-27 | 三菱電機株式会社 | 表示制御装置、表示システム、表示装置、表示方法および表示プログラム |
CN114115149A (zh) * | 2021-11-22 | 2022-03-01 | 北京广利核系统工程有限公司 | 核电dcs项目功能图的多视图组织显示方法及装置 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0785139A (ja) * | 1993-09-20 | 1995-03-31 | Hitachi Ltd | 知識獲得方法及びその実施装置 |
JPH08286901A (ja) * | 1995-04-14 | 1996-11-01 | Yamatake Honeywell Co Ltd | ソフトウエア部品の再利用システム |
JPH09101886A (ja) * | 1995-10-04 | 1997-04-15 | Nri & Ncc Co Ltd | プログラム部品の自動抽出・再利用装置 |
JP2002157118A (ja) * | 2000-09-06 | 2002-05-31 | Ns Solutions Corp | プログラム生成支援装置、プログラム生成方法、記録媒体およびプログラム |
JP2013222439A (ja) * | 2012-04-19 | 2013-10-28 | Mitsubishi Electric Corp | プログラム生成装置 |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4190890A (en) * | 1977-11-16 | 1980-02-26 | Grumman Aerospace Corporation | Programmable light director system |
CN1298047C (zh) * | 2003-02-21 | 2007-01-31 | 上海芯华微电子有限公司 | 双极型集成电路设计的有效验证和电网络一致性比较方法 |
JP5539301B2 (ja) | 2011-02-07 | 2014-07-02 | 三菱電機株式会社 | ロジック図面検索装置 |
CN102521125B (zh) * | 2011-11-30 | 2014-09-10 | 福州福大自动化科技有限公司 | 控制策略组态语法错误自动检测方法 |
CN103136406B (zh) * | 2011-12-03 | 2015-12-16 | 南京南瑞继保电气有限公司 | 可视化应用程序自动生成仿真用函数代码的方法 |
CN104520778B (zh) * | 2012-08-08 | 2016-10-05 | 三菱电机株式会社 | 逻辑图错误位置推测装置及其方法 |
WO2016056080A1 (ja) * | 2014-10-08 | 2016-04-14 | 三菱電機株式会社 | 監視制御装置用試験装置 |
SG11201805469VA (en) | 2016-03-18 | 2018-10-30 | Mitsubishi Electric Corp | Control logic diagram creation support apparatus |
-
2015
- 2015-05-13 US US15/571,984 patent/US10359757B2/en not_active Expired - Fee Related
- 2015-05-13 SG SG11201708469PA patent/SG11201708469PA/en unknown
- 2015-05-13 WO PCT/JP2015/063782 patent/WO2016181526A1/ja active Application Filing
- 2015-05-13 JP JP2017517541A patent/JP6289748B2/ja not_active Expired - Fee Related
- 2015-05-13 EP EP22151211.4A patent/EP4002027A1/en not_active Withdrawn
- 2015-05-13 CN CN201580079843.8A patent/CN107615188B/zh not_active Expired - Fee Related
- 2015-05-13 EP EP15891850.8A patent/EP3296827A4/en not_active Withdrawn
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0785139A (ja) * | 1993-09-20 | 1995-03-31 | Hitachi Ltd | 知識獲得方法及びその実施装置 |
JPH08286901A (ja) * | 1995-04-14 | 1996-11-01 | Yamatake Honeywell Co Ltd | ソフトウエア部品の再利用システム |
JPH09101886A (ja) * | 1995-10-04 | 1997-04-15 | Nri & Ncc Co Ltd | プログラム部品の自動抽出・再利用装置 |
JP2002157118A (ja) * | 2000-09-06 | 2002-05-31 | Ns Solutions Corp | プログラム生成支援装置、プログラム生成方法、記録媒体およびプログラム |
JP2013222439A (ja) * | 2012-04-19 | 2013-10-28 | Mitsubishi Electric Corp | プログラム生成装置 |
Also Published As
Publication number | Publication date |
---|---|
EP4002027A1 (en) | 2022-05-25 |
EP3296827A1 (en) | 2018-03-21 |
CN107615188B (zh) | 2020-05-22 |
EP3296827A4 (en) | 2019-01-09 |
SG11201708469PA (en) | 2017-11-29 |
JP6289748B2 (ja) | 2018-03-07 |
US20180143605A1 (en) | 2018-05-24 |
CN107615188A (zh) | 2018-01-19 |
US10359757B2 (en) | 2019-07-23 |
WO2016181526A1 (ja) | 2016-11-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6289748B2 (ja) | 制御ロジック図解析装置および制御ロジック図解析方法 | |
JP5489958B2 (ja) | 試験テーブル生成装置及びその方法 | |
US9626160B2 (en) | Sequence-program-component creation program and sequence-program-component creation device | |
JP7031627B2 (ja) | 解析装置、解析方法、及び解析プログラム | |
JP2011191985A (ja) | シンボリック実行支援プログラム、方法及び装置 | |
Jnanamurthy et al. | Analysis of industrial control system software to detect semantic clones | |
US11803170B2 (en) | Graph display device, graph display method, and recording medium | |
US11762363B2 (en) | Graph display device, graph display method, and recording medium | |
JP6547345B2 (ja) | テストケース生成プログラム、テストケース生成方法およびテストケース生成装置 | |
JP6490779B2 (ja) | 仕様抽出装置、仕様抽出方法およびプログラム | |
JP6948997B2 (ja) | 制御ロジック図解析装置および制御ロジック図解析方法 | |
US11640154B2 (en) | Graph display device, graph display method, and recording medium for associating and ascertaining dependency relations among device variables | |
JP2016051367A (ja) | データ解析装置、データ解析方法、および、プログラム。 | |
US20220342376A1 (en) | Apparatus and method for extracting common command information from plc ladder information | |
JP7063291B2 (ja) | 解析装置、解析方法、及び解析プログラム | |
JP2015022356A (ja) | テストシナリオバリエーション生成装置及び方法及びプログラム | |
US11361125B2 (en) | Support method, design support apparatus, and a non-transitory recording medium storing a design support program | |
WO2020184195A1 (ja) | ラダー図プログラム作成支援装置、ラダー図プログラム作成支援方法、およびラダー図プログラム作成支援プログラム | |
JP2008204187A (ja) | 情報処理装置及び情報処理方法 | |
WO2015099008A1 (ja) | コンピュータプログラム生成装置 | |
JP6305356B2 (ja) | 仕様抽出装置、仕様抽出方法およびプログラム | |
CN116893855A (zh) | 生成用于外数据点访问的配置的系统和计算机实现的方法 | |
JP2016177671A (ja) | コマンド制約仕様作成支援装置およびコマンド制約仕様作成支援方法 | |
JP2017102534A (ja) | プログラム解析装置及びプログラム解析方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170508 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20171024 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20171129 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20180109 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20180206 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6289748 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |