JP6129444B1 - エンジニアリングツール - Google Patents
エンジニアリングツール Download PDFInfo
- Publication number
- JP6129444B1 JP6129444B1 JP2016567885A JP2016567885A JP6129444B1 JP 6129444 B1 JP6129444 B1 JP 6129444B1 JP 2016567885 A JP2016567885 A JP 2016567885A JP 2016567885 A JP2016567885 A JP 2016567885A JP 6129444 B1 JP6129444 B1 JP 6129444B1
- Authority
- JP
- Japan
- Prior art keywords
- program
- control
- engineering tool
- display area
- time phase
- 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.)
- Active
Links
- 238000006243 chemical reaction Methods 0.000 claims abstract description 27
- 101150085390 RPM1 gene Proteins 0.000 abstract description 34
- 230000002123 temporal effect Effects 0.000 abstract description 9
- 230000007704 transition Effects 0.000 description 40
- 101100361283 Saccharomyces cerevisiae (strain ATCC 204508 / S288c) RPM2 gene Proteins 0.000 description 30
- CIWBSHSKHKDKBQ-JLAZNSOCSA-N Ascorbic acid Chemical compound OC[C@H](O)[C@H]1OC(=O)C(O)=C1O CIWBSHSKHKDKBQ-JLAZNSOCSA-N 0.000 description 21
- 238000010586 diagram Methods 0.000 description 9
- 238000000034 method Methods 0.000 description 9
- 230000008569 process Effects 0.000 description 5
- 238000004364 calculation method Methods 0.000 description 4
- 238000004891 communication Methods 0.000 description 4
- 238000012790 confirmation Methods 0.000 description 4
- 238000004590 computer program Methods 0.000 description 3
- 238000007796 conventional method Methods 0.000 description 2
- 230000006870 function Effects 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 230000008859 change Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
Images
Classifications
-
- 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/054—Input/output
-
- 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
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/13—Plc programming
- G05B2219/13052—Display of ladder diagram
-
- 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
- G05B2219/00—Program-control systems
- G05B2219/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24034—Model checker, to verify and debug control software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2203/00—Indexing scheme relating to G06F3/00 - G06F3/048
- G06F2203/048—Indexing scheme relating to G06F3/048
- G06F2203/04803—Split screen, i.e. subdividing the display area or the window area into separate subareas
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
- G06F3/01—Input arrangements or combined input and output arrangements for interaction between user and computer
- G06F3/048—Interaction techniques based on graphical user interfaces [GUI]
- G06F3/0484—Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Programmable Controllers (AREA)
- Stored Programmes (AREA)
Abstract
Description
図1は、実施の形態1に係るエンジニアリングツールが備えられる制御システムの構成を示す図である。図2は、図1に示されたエンジニアリングツールの表示装置の表示画面の一例を示す図である。制御システム1は、FA(Factory Automation)分野の設備を構成するものであり、図1に示すように、設備に設置される複数の制御対象機器2,3,4と、複数の制御対象機器2,3,4に接続した制御装置5と、制御装置5に接続したエンジニアリングツール6と、を備える。制御対象機器2,3,4は、設備に設置されるスイッチ、調整弁、電磁弁、モータ、又はポンプであり、動作を実施する駆動機器である。実施の形態1において、制御システム1は、制御対象機器2,3,4を三つ備えるが、制御対象機器2,3,4を三つ以外の数備えても良く、制御対象機器2,3,4を少なくとも一つ以上備えれば良い。
(Y1 OR Y2)U(Y10)・・・式2
Claims (4)
- 表示装置の表示画面に表示され、かつ制御仕様記述式を表示する表示領域と、
前記表示領域に表示され、かつ前記制御仕様記述式のプログラムモジュールに時相演算子を付与する時相演算子付与領域と、
を備えることを特徴とするエンジニアリングツール。 - 前記プログラムモジュールを作成する第1の作成手段と、
前記プログラムモジュールをモデル検査プログラムに入力可能な数式に変換する第1の変換手段と、
を備えることを特徴とする請求項1に記載のエンジニアリングツール。 - 制御対象機器を制御する制御プログラムを作成する第2の作成手段と、
前記表示装置の前記表示画面に表示され、かつ前記制御プログラムを表示する第2の表示領域と、
前記制御プログラムを前記モデル検査プログラムに入力可能なコードに変換する第2の変換手段と、
を備えることを特徴とする請求項2に記載のエンジニアリングツール。 - 前記プログラムモジュールは、前記制御対象機器の制御仕様を規定する
ことを特徴とする請求項3に記載のエンジニアリングツール。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2016/054190 WO2017138156A1 (ja) | 2016-02-12 | 2016-02-12 | エンジニアリングツール |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6129444B1 true JP6129444B1 (ja) | 2017-05-17 |
JPWO2017138156A1 JPWO2017138156A1 (ja) | 2018-02-15 |
Family
ID=58714675
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016567885A Active JP6129444B1 (ja) | 2016-02-12 | 2016-02-12 | エンジニアリングツール |
Country Status (4)
Country | Link |
---|---|
US (1) | US10295981B2 (ja) |
JP (1) | JP6129444B1 (ja) |
CN (1) | CN107295810B (ja) |
WO (1) | WO2017138156A1 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10248099B2 (en) * | 2015-05-19 | 2019-04-02 | Mitsubishi Electric Corporation | Programmable logic controller, engineering tool, and engineering tool program |
JP6356726B2 (ja) * | 2016-05-19 | 2018-07-11 | ファナック株式会社 | ラダープログラム解析装置 |
JP7119714B2 (ja) * | 2018-07-27 | 2022-08-17 | オムロン株式会社 | 情報処理装置、表示プログラム、および方法 |
EP3715975B1 (en) * | 2019-03-28 | 2023-03-01 | Mitsubishi Electric R&D Centre Europe B.V. | Method and apparatus for analysing a ladder program |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0772787A (ja) * | 1993-09-01 | 1995-03-17 | Toshiba Corp | 制御手順自動生成装置 |
JP2002182709A (ja) * | 2000-12-14 | 2002-06-26 | Yaskawa Electric Corp | プログラマブルコントローラのプログラミング装置 |
JP2005063425A (ja) * | 2003-07-25 | 2005-03-10 | Omron Corp | シミュレーション支援ツールおよびラダープログラムの検証システムならびにプログラム製品およびテスト入力ラダープログラム生成方法ならびにラダープログラムの検証方法 |
US20090182442A1 (en) * | 2008-01-14 | 2009-07-16 | Gm Global Technology Operations, Inc. | Framework for results interpretation and guided refinement of specifications for plc logic verification |
JP2009277135A (ja) * | 2008-05-16 | 2009-11-26 | Toshiba Corp | 検証装置、検証方法および検証プログラム |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH1063537A (ja) | 1996-08-21 | 1998-03-06 | Fujitsu Ltd | プロパティ検証方法および装置 |
US6301508B1 (en) * | 1997-01-22 | 2001-10-09 | Ando Electric Co., Ltd. | Automatic instrumentation system |
US20050033457A1 (en) | 2003-07-25 | 2005-02-10 | Hitoshi Yamane | Simulation aid tools and ladder program verification systems |
JP5091283B2 (ja) * | 2010-06-25 | 2012-12-05 | 株式会社日立製作所 | 制御装置の保守ツール |
EP2477085B1 (de) * | 2011-01-13 | 2013-07-17 | Siemens Aktiengesellschaft | Verfahren und System zur Analyse eines zeitlichen Ablaufverhaltens eines Steuerungsprogramms einer Industriesteuerung |
JP5785501B2 (ja) * | 2012-01-12 | 2015-09-30 | 横河電機株式会社 | ラダープログラム作成装置 |
US10295976B2 (en) * | 2013-02-22 | 2019-05-21 | Mitsubishi Electric Corporation | System development device, system development method, and system development program |
KR20150127161A (ko) * | 2013-03-07 | 2015-11-16 | 미쓰비시덴키 가부시키가이샤 | 래더 프로그램 표시 프로그램 및 래더 프로그램 표시 장치 |
KR101689099B1 (ko) | 2013-04-04 | 2016-12-22 | 미쓰비시덴키 가부시키가이샤 | 엔지니어링 툴 및 프로그래머블 로직 컨트롤러 |
JP5702833B2 (ja) * | 2013-06-20 | 2015-04-15 | ファナック株式会社 | Ncプログラムに追従した画面表示切替機能を有する数値制御装置 |
WO2015186178A1 (ja) | 2014-06-02 | 2015-12-10 | 三菱電機株式会社 | プログラマブルコントローラシステム、プログラマブルコントローラ、プログラム表示装置、プログラムの表示方法 |
JP6319200B2 (ja) * | 2015-06-18 | 2018-05-09 | 株式会社安川電機 | プログラマブルコントローラ |
-
2016
- 2016-02-12 US US15/529,131 patent/US10295981B2/en active Active
- 2016-02-12 JP JP2016567885A patent/JP6129444B1/ja active Active
- 2016-02-12 WO PCT/JP2016/054190 patent/WO2017138156A1/ja active Application Filing
- 2016-02-12 CN CN201680003809.7A patent/CN107295810B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0772787A (ja) * | 1993-09-01 | 1995-03-17 | Toshiba Corp | 制御手順自動生成装置 |
JP2002182709A (ja) * | 2000-12-14 | 2002-06-26 | Yaskawa Electric Corp | プログラマブルコントローラのプログラミング装置 |
JP2005063425A (ja) * | 2003-07-25 | 2005-03-10 | Omron Corp | シミュレーション支援ツールおよびラダープログラムの検証システムならびにプログラム製品およびテスト入力ラダープログラム生成方法ならびにラダープログラムの検証方法 |
US20090182442A1 (en) * | 2008-01-14 | 2009-07-16 | Gm Global Technology Operations, Inc. | Framework for results interpretation and guided refinement of specifications for plc logic verification |
JP2009277135A (ja) * | 2008-05-16 | 2009-11-26 | Toshiba Corp | 検証装置、検証方法および検証プログラム |
Also Published As
Publication number | Publication date |
---|---|
US10295981B2 (en) | 2019-05-21 |
WO2017138156A1 (ja) | 2017-08-17 |
CN107295810B (zh) | 2019-07-26 |
CN107295810A (zh) | 2017-10-24 |
JPWO2017138156A1 (ja) | 2018-02-15 |
US20180059634A1 (en) | 2018-03-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6129444B1 (ja) | エンジニアリングツール | |
EP2241949B1 (en) | Method for executing sequential function charts as function blocks in a control system | |
US9122269B2 (en) | Method and system for operating a machine from the field of automation engineering | |
JP4952401B2 (ja) | Plc | |
JP2004362561A (ja) | ブール論理機能ブロック | |
WO2021205776A1 (ja) | シミュレーションのためのプログラムおよび装置 | |
JP6201574B2 (ja) | Plc用のプログラミングツール | |
JP5496429B1 (ja) | エンジニアリングツールおよびプログラマブルロジックコントローラ | |
JP5153437B2 (ja) | 制御プログラム作成装置 | |
KR101456812B1 (ko) | 시스템 설계 장치 | |
JP2018152032A (ja) | 情報処理装置、情報処理方法、および、情報処理プログラム | |
JP2001243341A (ja) | ファンクションブロックモデル作成方法及び装置 | |
JP4562141B2 (ja) | プログラマブルロジックコントローラ、情報処理装置、制御プログラム、およびテーブル作成プログラム | |
JP4743869B2 (ja) | 画面データ生成方法 | |
JP2018036945A (ja) | シミュレータ連携装置、シミュレータ連携装置の制御方法、情報処理プログラム、および記録媒体 | |
JP4301976B2 (ja) | プログラミングツール | |
KR102305901B1 (ko) | 휴먼 머신 인터페이스 시스템에서의 화면 표시 방법 | |
WO2021145147A1 (ja) | 表示装置、表示方法および表示プログラム | |
WO2023203604A1 (ja) | シミュレーション用プログラム、シミュレーション装置及び制御方法 | |
JP4628967B2 (ja) | プログラマブル表示器、そのプログラムおよび記録媒体 | |
JP2008299763A (ja) | 分散オブジェクト開発ツール | |
JP2003067007A (ja) | エンジニアリングツール及びエンジニアリングシステム | |
JP2009080738A (ja) | シーケンスプログラムのシミュレーション方法 | |
JP2011138291A (ja) | ネットリストを用いるシーケンス処理方法、それに用いるプログラム及びそのプログラムがインストールされたコンピュータ | |
JP2007200160A5 (ja) |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20170306 |
|
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: 20170314 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170411 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6129444 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |