JP5907857B2 - ロジック図面及び試験テーブル作成装置 - Google Patents
ロジック図面及び試験テーブル作成装置 Download PDFInfo
- Publication number
- JP5907857B2 JP5907857B2 JP2012265960A JP2012265960A JP5907857B2 JP 5907857 B2 JP5907857 B2 JP 5907857B2 JP 2012265960 A JP2012265960 A JP 2012265960A JP 2012265960 A JP2012265960 A JP 2012265960A JP 5907857 B2 JP5907857 B2 JP 5907857B2
- Authority
- JP
- Japan
- Prior art keywords
- test table
- logic drawing
- logic
- editing
- test
- 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
- 238000012360 testing method Methods 0.000 title claims description 130
- 238000003860 storage Methods 0.000 claims description 18
- 238000000605 extraction Methods 0.000 claims description 14
- 238000007792 addition Methods 0.000 claims description 2
- 238000012217 deletion Methods 0.000 claims description 2
- 230000037430 deletion Effects 0.000 claims description 2
- 238000012986 modification Methods 0.000 claims description 2
- 230000004048 modification Effects 0.000 claims description 2
- 230000002950 deficient Effects 0.000 claims 2
- 238000010586 diagram Methods 0.000 description 11
- 238000012544 monitoring process Methods 0.000 description 9
- 238000000034 method Methods 0.000 description 8
- 238000012545 processing Methods 0.000 description 7
- 239000000284 extract Substances 0.000 description 5
- 238000004364 calculation method Methods 0.000 description 3
- 238000009826 distribution Methods 0.000 description 2
- 230000000873 masking effect Effects 0.000 description 2
- 239000000126 substance Substances 0.000 description 2
- XLYOFNOQVPJJNP-UHFFFAOYSA-N water Substances O XLYOFNOQVPJJNP-UHFFFAOYSA-N 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000013524 data verification Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
- 239000010865 sewage Substances 0.000 description 1
Images
Landscapes
- Testing And Monitoring For Control Systems (AREA)
- Programmable Controllers (AREA)
Description
図10は、この種の一般的な監視制御システムの概要を示すもので、図において、監視の対象となる装置1a,1bと、これらの装置1a,1bと信号の送受信を行うモジュール2a,2bと、運転・監視員3との情報のやり取りを行うモジュール2cと、これらの情報をもとに計算等を行うモジュール2d等から構成されている。なお、これらのモジュール2a,2b,2c,2dは、通信経路4によって結合されている。
近年、システムが大規模化し、ロジック図面の枚数や複雑さが増大しつつあることを背景に、ロジック図面の試験テーブルの生成を自動化したり、試験作業を効率化したりする試みがいくつか提案されている。
図1は、本発明のロジック図面及び試験テーブル作成装置の構成を示すブロック図で、ロジック図面格納装置11、ロジック図面編集装置12、ロジック図面変更部分抽出装置13、試験テーブル格納装置14、試験テーブル編集装置15、試験テーブル変更部分抽出装置16を備えて構成されている。
なお、図2は、ロジック図面格納装置11に格納されているロジック図面の例を示すものであり、このロジック図面は、図3に示すような記載ルールに従い記述されている。
すなわち、INは、各種センサーなど外部からの信号入力を表す演算素子、OUTは警報器など外部への信号出力を表す演算素子、ANDは、入力されるデジタル値に基づいて論理積を出力する演算素子、矢印は、0または1の状態を取る信号線を示している。
ここで、図3に示す記載ルールは、本願においてロジック図面を説明するための必要最小限のものであり、ロジック図面の記載内容をこれらに限定するものではない。
また、図4は、試験テーブル格納装置14に格納されている、図2のロジック図面に対応する試験テーブルの例で、入力点A,Bに加えられる入力条件に対して出力点Cに発生する期待値の例を示している。
なお、上記では入力Dに関して変更がなされた場合の各装置の動作を説明したが、出力点に関しても同様である。
上記実施の形態1においては、ロジック図面の演算素子IN(信号名D)または試験テーブルの入力Dに関する行が追加されたことを検出し、試験テーブルまたはロジック図面を変更するように構成したが、ロジック図面格納装置11に格納されているロジック図面を図5に示すものとし、図2のように変更された場合、あるいは、試験テーブル格納装置14に格納されている試験テーブルを図6に示すものとし、図4のように変更された場合においても、試験テーブルの入力Dに関する行あるいはロジック図面の演算素子IN(信号名D)を削除するように編集コマンドを送ることによって同様に試験テーブルあるいはロジック図面を変更させることができる。
図7は、この発明の他の実施の形態であるロジック図面及び試験テーブル作成装置の構成を示すブロック図で、図1と同一符号は同じ部分を示し、その説明を省略する。
図において、ロジック図面編集装置12には、ロジック図面の記載不足部分を強調表示する強調表示部12aが設けられており、また、試験テーブル編集装置15には、試験テーブルの記載不足部分を強調表示する強調表示部15aが設けられている。
ロジック図面の編集過程において、図5に示すようなロジック図面に対しては、入力Dを表す演算素子の出力点OUTが接続されていないため、強調表示部12aは、これを検出してロジック図面編集装置12上で図8に示すようにマスキング表示や色変え表示等の強調表示を行なわせ、記載不足があることを明示する。
また、図6に示すような試験テーブルに対しては、入力Dに対応する入力値が記載されていないため、試験テーブル編集装置15上で図9に示すように入力値記載部分にマスキング表示や色変え表示等の強調表示を行なわせ、記載不足があることを明示する。
なお、本発明は、その発明の範囲内において、実施の形態を適宜、変形、省略することが可能である。
13:ロジック図面変更部分抽出装置 14:試験テーブル格納装置
15:試験テーブル編集装置 16:試験テーブル変更部分抽出装置
Claims (2)
- ロジック図面を格納するロジック図面格納装置、このロジック図面格納装置から記録されたロジック図面を取り出し、取り出したロジック図面に追加、削除、変更等の編集を行うことが可能なロジック図面編集装置、前記ロジック図面に対応する試験テーブルを格納する試験テーブル格納装置、この試験テーブル格納装置から記録された試験テーブルを取り出し、取り出した試験テーブルに追加、削除、変更等の編集を行うことが可能な試験テーブル編集装置、前記ロジック図面編集装置からロジック図面の変更部分を抽出し、前記試験テーブル編集装置に編集コマンドを与えるロジック図面変更部分抽出装置、前記試験テーブル編集装置から試験テーブルの変更部分を抽出し、前記ロジック図面編集装置に編集コマンドを与える試験テーブル変更部分抽出装置を備え、
前記ロジック図面と前記試験テーブルを互いに整合性の取れた状態とするように、前記ロジック図面変更部分抽出装置の出力コマンドに基づき、前記試験テーブル編集装置上の試験テーブルに変更を加えるとともに、
前記試験テーブル変更部分抽出装置の出力コマンドに基づき、前記ロジック図面編集装置上のロジック図面に変更を加えるようにしたことを特徴とするロジック図面及び試験テーブル作成装置。 - 前記ロジック図面編集装置は、ロジック図面上の記載不足部分を検出して強調表示する強調表示部を備え、前記試験テーブル編集装置は、試験テーブル上の記載不足部分を検出して強調表示する強調表示部を備えたことを特徴とする請求項1記載のロジック図面及び試験テーブル作成装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012265960A JP5907857B2 (ja) | 2012-12-05 | 2012-12-05 | ロジック図面及び試験テーブル作成装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012265960A JP5907857B2 (ja) | 2012-12-05 | 2012-12-05 | ロジック図面及び試験テーブル作成装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2014112275A JP2014112275A (ja) | 2014-06-19 |
JP5907857B2 true JP5907857B2 (ja) | 2016-04-26 |
Family
ID=51169383
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012265960A Active JP5907857B2 (ja) | 2012-12-05 | 2012-12-05 | ロジック図面及び試験テーブル作成装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5907857B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7028064B2 (ja) * | 2018-05-30 | 2022-03-02 | 横河電機株式会社 | 機器保全装置、機器保全方法、機器保全プログラム及び記録媒体 |
AT522186B1 (de) * | 2019-05-20 | 2020-09-15 | Dipl Ing Dipl Ing Fh Markus Gruber | Computerimplementiertes Verfahren zur rechnergestützten Erzeugung eines ausführbaren Steuerungsprogramms zur Steuerung und/oder Regelung eines technischen Prozesses |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06348720A (ja) * | 1993-06-14 | 1994-12-22 | Toshiba Corp | 生産開発管理表示装置 |
JPH075909A (ja) * | 1993-06-16 | 1995-01-10 | Sekisui Chem Co Ltd | コントローラの検査装置 |
JPH08249047A (ja) * | 1995-03-14 | 1996-09-27 | Mitsubishi Heavy Ind Ltd | 機能試験装置 |
JP2002073169A (ja) * | 2000-08-24 | 2002-03-12 | Toshiba Corp | シーケンサプログラムの試験装置および試験方法 |
JP2002073123A (ja) * | 2000-09-01 | 2002-03-12 | Toshiba Corp | インターロックマトリックス処理システム |
-
2012
- 2012-12-05 JP JP2012265960A patent/JP5907857B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2014112275A (ja) | 2014-06-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
KR101936027B1 (ko) | 엔지니어링 툴, 시스템 및 모듈 | |
Cabral et al. | A Petri net diagnoser for discrete event systems modeled by finite state automata | |
Bucci et al. | Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability | |
JP5489958B2 (ja) | 試験テーブル生成装置及びその方法 | |
US7761765B2 (en) | Automated root cause identification of logic controller failure | |
US8401813B2 (en) | Test table creation system and test table creation method | |
US20140215096A1 (en) | Method and system for a configurable hardware module | |
JP6758155B2 (ja) | プラントの診断システム及び診断方法 | |
Estévez et al. | PLCopen for achieving interoperability between development phases | |
KR20150139598A (ko) | 프로그램 그래프 표시 장치, 프로그램 그래프 표시 방법 및 프로그램 그래프 표시 프로그램을 기록한 컴퓨터 판독 가능한 기록 매체 | |
JP5907857B2 (ja) | ロジック図面及び試験テーブル作成装置 | |
US6941261B1 (en) | Cause and effect logic application implementation | |
JP2011113277A (ja) | プログラム試験装置、プログラム試験方法およびプログラム試験用プログラム | |
JP2017224063A (ja) | プラント制御装置の試験装置および試験方法 | |
US10295996B2 (en) | Test device for monitoring control device | |
Xavier et al. | An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard | |
JP2009289151A (ja) | 新規障害対処手順知識化プログラム、新規障害対処手順知識化装置および新規障害対処手順知識化方法 | |
US20200034261A1 (en) | Recording medium having verification program recorded thereon, verification apparatus and verification method | |
CN112231062A (zh) | 一种用于可编程工业控制器的安全测试系统及方法 | |
Maerani et al. | V&V Plan for FPGA-based ESF-CCS Using System Engineering Approach. | |
Majdara et al. | A new approach for computer-aided fault tree generation | |
JP6139389B2 (ja) | プラント制御ロジック設計支援システム、プラント制御ロジック設計支援方法、及びプログラム | |
JP7318798B2 (ja) | セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム | |
Yu et al. | A graphical method for multi-signal flow graph modeling and testability analysis based on visio control component | |
US20210255597A1 (en) | Graph display device, graph display method, and recording medium |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20150108 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20151130 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20151201 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20151216 |
|
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: 20160223 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20160322 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 5907857 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
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 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |