JPH0245804A - シーケンスプログラムのモニター方式 - Google Patents
シーケンスプログラムのモニター方式Info
- Publication number
- JPH0245804A JPH0245804A JP63196000A JP19600088A JPH0245804A JP H0245804 A JPH0245804 A JP H0245804A JP 63196000 A JP63196000 A JP 63196000A JP 19600088 A JP19600088 A JP 19600088A JP H0245804 A JPH0245804 A JP H0245804A
- Authority
- JP
- Japan
- Prior art keywords
- sequence
- program
- data
- monitor
- waiting
- 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
Links
- 238000000034 method Methods 0.000 claims abstract description 16
- 238000012544 monitoring process Methods 0.000 claims description 7
- 230000005856 abnormality Effects 0.000 abstract description 5
- 241000196324 Embryophyta Species 0.000 description 13
- 238000012545 processing Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 4
- 238000004886 process control Methods 0.000 description 4
- 238000005516 engineering process Methods 0.000 description 2
- 238000012360 testing method Methods 0.000 description 2
- 241000581364 Clinitrachus argentatus Species 0.000 description 1
- 244000171726 Scotch broom Species 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 239000002994 raw material Substances 0.000 description 1
Landscapes
- Testing And Monitoring For Control Systems (AREA)
- Programmable Controllers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はシーケンス制御計算機システムにおけるプラン
ト・オペレーションに係り、特にシーケンス・プログラ
ムのモニター性にすぐれたマン・マシン・インタフェー
スに関する。
ト・オペレーションに係り、特にシーケンス・プログラ
ムのモニター性にすぐれたマン・マシン・インタフェー
スに関する。
従来、シーケンス・プログラムの実行状態は、実行中ス
テップＮα、プラントフロー画面、プロセス機器状態画
面、出力メツセージ等によりモニターしていた。なお、
この種の方式として関連するものには、特開昭５４−１
１８７３５号がある。
テップＮα、プラントフロー画面、プロセス機器状態画
面、出力メツセージ等によりモニターしていた。なお、
この種の方式として関連するものには、特開昭５４−１
１８７３５号がある。
上記従来技術は、プロセス状態のモニターを主としてお
り、シーケンス・プログラム・レベルのモニターについ
て配慮されていなかった。この為、シーケンス・プログ
ラムの待ちが解けず先に進まない等の異常が発生しても
、待ちの条件を適確に知ることがむずかしかった。
り、シーケンス・プログラム・レベルのモニターについ
て配慮されていなかった。この為、シーケンス・プログ
ラムの待ちが解けず先に進まない等の異常が発生しても
、待ちの条件を適確に知ることがむずかしかった。
本発明の目的は、シーケンス・プログラム・レベルのモ
ニター手段を提供することにある。
ニター手段を提供することにある。
シーケンス・プログラムの実行中に条件成立待ちとなっ
た場合は、待ち条件をシーケンス・七二ター・テーブル
に登録し、シーケンス・プログラムは待ちに入る。シー
ケンス・モニター画面表示プログラムは、シーケンス・
モニター・テーブルから待ち条件を取込み、現在状態と
共にＣＲＴに表示する。条件が成立し待ちが解けた場合
は、シーケンス・モニター・テーブル及び、ＣＲＴ画面
上から消去する。以上により本発明の目的は達成される
。
た場合は、待ち条件をシーケンス・七二ター・テーブル
に登録し、シーケンス・プログラムは待ちに入る。シー
ケンス・モニター画面表示プログラムは、シーケンス・
モニター・テーブルから待ち条件を取込み、現在状態と
共にＣＲＴに表示する。条件が成立し待ちが解けた場合
は、シーケンス・モニター・テーブル及び、ＣＲＴ画面
上から消去する。以上により本発明の目的は達成される
。
シーケンス・プログラムは、シーケンス制御マクロを用
いて作成する。シーケンス制御マクロには、プロセス制
御機器、ソフトタイマー等のスティタス又はデータ値の
確定待ちとなるものがある。
いて作成する。シーケンス制御マクロには、プロセス制
御機器、ソフトタイマー等のスティタス又はデータ値の
確定待ちとなるものがある。
シーケンス・プログラム実行中に上記マクロで待ちとな
った場合は、該マクロで以下に示す待ち条件データをシ
ーケンス・モニター・テーブルに登録し、タイマーをセ
ットしタイマーのアップ待ちに入る。
った場合は、該マクロで以下に示す待ち条件データをシ
ーケンス・モニター・テーブルに登録し、タイマーをセ
ットしタイマーのアップ待ちに入る。
１、自シーケンスＮα
２、プロセス制御機器Ｎ（Ｌ又は、ソフトタイマーＮα
３、モニタ一種別（スティタス又はデータ）４、判定種
別（等しい２等しくない、大きい、小さい） ５、判定スティタス又は、判定データ タイマーのアップにより再起動されたシーケンス・プロ
グラムは、待ちに入ったシーケンス制御マクロ内で待ち
条件が成立したかを判定する。待ち条件が成立した場合
は、シーケンス・モニターテーブルから該マクロが登録
した待ち条件データを削除し、次のマクロの実行に移る
。
３、モニタ一種別（スティタス又はデータ）４、判定種
別（等しい２等しくない、大きい、小さい） ５、判定スティタス又は、判定データ タイマーのアップにより再起動されたシーケンス・プロ
グラムは、待ちに入ったシーケンス制御マクロ内で待ち
条件が成立したかを判定する。待ち条件が成立した場合
は、シーケンス・モニターテーブルから該マクロが登録
した待ち条件データを削除し、次のマクロの実行に移る
。
待ち条件が不成立の場合は、タイマーをセットし再度タ
イマーのアップ待ちに入る。
イマーのアップ待ちに入る。
シーケンス・モニター画面表示プログラムは。
シーケンス・モニター・テーブルから待ち条件データを
取込み、シーケンスＮα、プロセス制御機器Ｎａ、ソフ
トタイマーＮα及び、判定種別は名称に変換し、判定ス
ティタス又は判定データ、現状スティタス又は現状デー
タと共にＣＲＴに表示する。
取込み、シーケンスＮα、プロセス制御機器Ｎａ、ソフ
トタイマーＮα及び、判定種別は名称に変換し、判定ス
ティタス又は判定データ、現状スティタス又は現状デー
タと共にＣＲＴに表示する。
又、シーケンス・モニター画面表示プログラムは定周期
で表示更新を行い、シーケンス・モニターテーブルに新
に登録された待ち条件データのＣＲＴへの追加表示、条
件が成立しシーケンス・モニター・テーブルから削除さ
れた待ち条件データのＣＲＴからの表示削除２表示中待
ち条件データの現状スティタス及び現状データを更新表
示する。
で表示更新を行い、シーケンス・モニターテーブルに新
に登録された待ち条件データのＣＲＴへの追加表示、条
件が成立しシーケンス・モニター・テーブルから削除さ
れた待ち条件データのＣＲＴからの表示削除２表示中待
ち条件データの現状スティタス及び現状データを更新表
示する。
以下、本発明の一実施例を図を用いて説明する。
処理装置２内のシーケンス・プログラム３は、シーケン
ス制御マクロを用いて作成されている。第２図はシーケ
ンス・プログラム３の処理の一部を示したものである。
ス制御マクロを用いて作成されている。第２図はシーケ
ンス・プログラム３の処理の一部を示したものである。
本処理では、バルブＶｌｌ及びＶ１２を開３１．モータ
ーＭ１０を起動３２゜流量計ＦＩＯの積算値が１２０．
０ になるまで待った後３３．モーターＭ１０を停止３
４．バルブＶｌｌ及びＶ１２を閉３５とし、原料の仕込
み動作を終えている。
ーＭ１０を起動３２゜流量計ＦＩＯの積算値が１２０．
０ になるまで待った後３３．モーターＭ１０を停止３
４．バルブＶｌｌ及びＶ１２を閉３５とし、原料の仕込
み動作を終えている。
シーケンス・プログラム３はバルブＶｌｌ及びＶ１２の
開マクロ３１実行時、０ＰＥＮマクロ実行サブルーチン
４にリンクする。第６図は、０ＰＥＮマクロ実行サブル
ーチン４の処理フローである。
開マクロ３１実行時、０ＰＥＮマクロ実行サブルーチン
４にリンクする。第６図は、０ＰＥＮマクロ実行サブル
ーチン４の処理フローである。
０ＰＥＮマクロ実行サブルーチン４は、引数で指定され
た機器の開ＤＯ出力要求をプラント・データ・ベース６
にセットし４１、該機器の開アンサーＤＩ待ち条件デー
タをシーケンス・モニター・テーブル８に登録４２後、
タイマーのアップ待ち４４となる。タイマーのアップ待
ち４４が解けると、プラント・データ・ベース６から該
当する機器のアンサ−１１０ステイタスを取込み開かチ
エツク４７する。アンサ−ＤＩスティタスが開の場合は
、該機器のアンサ−ＤＩ待ち条件データをシーケンス・
モニター・テーブル８から削除４８する。
た機器の開ＤＯ出力要求をプラント・データ・ベース６
にセットし４１、該機器の開アンサーＤＩ待ち条件デー
タをシーケンス・モニター・テーブル８に登録４２後、
タイマーのアップ待ち４４となる。タイマーのアップ待
ち４４が解けると、プラント・データ・ベース６から該
当する機器のアンサ−１１０ステイタスを取込み開かチ
エツク４７する。アンサ−ＤＩスティタスが開の場合は
、該機器のアンサ−ＤＩ待ち条件データをシーケンス・
モニター・テーブル８から削除４８する。
引数で指定された全ての機器のアンサ−ＤＩスティタス
が開になると４１１．０ＰＥＮマクロ実行サブルーチン
４からシーケンス・プログラム３に戻る。又、１つでも
閉の機器が有る場合は、再度タイマーのアップ待ち４４
となる。
が開になると４１１．０ＰＥＮマクロ実行サブルーチン
４からシーケンス・プログラム３に戻る。又、１つでも
閉の機器が有る場合は、再度タイマーのアップ待ち４４
となる。
シーケンス・プログラム３が流量計ＦＩＯの積算値が１
２０．０ に達するまで待つマクロ３３を実行時は、
ＷＵＮＴＩＬマクロ実行サブルーチン５にリンクする。
２０．０ に達するまで待つマクロ３３を実行時は、
ＷＵＮＴＩＬマクロ実行サブルーチン５にリンクする。
第７図は、ＷＵＮＴＩＬマクロ実行サブルーチン５の処
理フローである。ＷＯＮＴ比マクロ実行サブルーチン５
は、引数で指定した機器の現在値を取込み５１、判定種
別により分岐５３する。各分岐先では、現在値と引数で
指定した判定データを比較５４〜５１５する。条件が成
立した場合は、初回のチエツクか判定し５２０、初回で
ない場合は待ち条件データをプロセス・モニター・テー
ブル８から削除し５２１．１ｉｌＵＮＴＩＬマクロ実行
サブルーチン５からシーケンス・プログラム３に戻る。
理フローである。ＷＯＮＴ比マクロ実行サブルーチン５
は、引数で指定した機器の現在値を取込み５１、判定種
別により分岐５３する。各分岐先では、現在値と引数で
指定した判定データを比較５４〜５１５する。条件が成
立した場合は、初回のチエツクか判定し５２０、初回で
ない場合は待ち条件データをプロセス・モニター・テー
ブル８から削除し５２１．１ｉｌＵＮＴＩＬマクロ実行
サブルーチン５からシーケンス・プログラム３に戻る。
又１条件が不成立の場合は、初回のチエツクが判定し５
１７、初回の場合は待ち条件データをシーケンス・モニ
ター・テーブル８に登録５１８後、タイマーのアップ待
ち５１９となる。
１７、初回の場合は待ち条件データをシーケンス・モニ
ター・テーブル８に登録５１８後、タイマーのアップ待
ち５１９となる。
プロセス入出カプログラム７は定周期で動作し、プラン
ト・データ・ベース６からアナログ値及びデジタル値の
出力要求を取込みプラント１に出力する。又、プラント
１からアナログ値及びデジタル値を取込み、現在値及び
現状スティタスとしてプラント・データ・ベース６に格
納する。
ト・データ・ベース６からアナログ値及びデジタル値の
出力要求を取込みプラント１に出力する。又、プラント
１からアナログ値及びデジタル値を取込み、現在値及び
現状スティタスとしてプラント・データ・ベース６に格
納する。
ＣＲＴ−ＰＯＣ：１１から起動されたシーケンス・モニ
ター画面表示プログラム１０は、シーケンス・モニター
・テーブル８からシーケンス・プログラム３の待ち条件
データを取込み、プラント・データ・ベース６から取込
んだ現状スティタス及びデータと共にＣＲＴＩＩに表示
する。第３図は。
ター画面表示プログラム１０は、シーケンス・モニター
・テーブル８からシーケンス・プログラム３の待ち条件
データを取込み、プラント・データ・ベース６から取込
んだ現状スティタス及びデータと共にＣＲＴＩＩに表示
する。第３図は。
シーケンス・プログラム３が０ＰＥＮマクロ３１を実行
中にＣＲＴＩＩに表示したシーケンス・モニター画面で
ある０本画面では、シーケンス・プログラム３の名称１
２１．バルブ名称１２２．バルブの現状スティタス１２
３、及び待ちのスティタス１２４を表示している。又、
第４図はシーケンス・プログラム３が１ｉｌＵＮＴＩＬ
マクロ３３を実行中に、ＣＲＴＩＩに表示したシーケン
ス・モニター画面である。本画面では、シーケンス・プ
ログラム名称１２１．流量計名称１２５．現在値１２６
゜判定種別１２７、及び判定データ１２８を表示してい
る。
中にＣＲＴＩＩに表示したシーケンス・モニター画面で
ある０本画面では、シーケンス・プログラム３の名称１
２１．バルブ名称１２２．バルブの現状スティタス１２
３、及び待ちのスティタス１２４を表示している。又、
第４図はシーケンス・プログラム３が１ｉｌＵＮＴＩＬ
マクロ３３を実行中に、ＣＲＴＩＩに表示したシーケン
ス・モニター画面である。本画面では、シーケンス・プ
ログラム名称１２１．流量計名称１２５．現在値１２６
゜判定種別１２７、及び判定データ１２８を表示してい
る。
第８図は、シーケンス・モニター画面表示プログラム１
０の処理フローである。シーケンス・モニター画面表示
プログラム１０は、最初にタイトル及びヘッダーを表示
１０２する。次に、シーケンス・モニター・テーブル８
のケースｉに待ち条件が登録されているかをチェツ、り
１０４し、登録されている場合はケースｉの待ち条件表
示データを編集１０５する。第５図は、待ち条件表示デ
ータ編集処理１０５の詳細フローである。待ち条件表示
データ編集処理１０５は、１行分の表示バッファにスペ
ースコードをセットＬＯ５１ｕ、シーケンス及び機器名
称テーブル９からシーケンス名称及び機器名称を取込み
表示バッファにセット１０５２〜１ｏ５３する。モニタ
一種別がスティタスの場合は、プラント・データ・ベー
ス６から現状スティタスを取込み、判定スティタスと共
に表示バッファにセット１０５５〜１０５６する。
０の処理フローである。シーケンス・モニター画面表示
プログラム１０は、最初にタイトル及びヘッダーを表示
１０２する。次に、シーケンス・モニター・テーブル８
のケースｉに待ち条件が登録されているかをチェツ、り
１０４し、登録されている場合はケースｉの待ち条件表
示データを編集１０５する。第５図は、待ち条件表示デ
ータ編集処理１０５の詳細フローである。待ち条件表示
データ編集処理１０５は、１行分の表示バッファにスペ
ースコードをセットＬＯ５１ｕ、シーケンス及び機器名
称テーブル９からシーケンス名称及び機器名称を取込み
表示バッファにセット１０５２〜１ｏ５３する。モニタ
一種別がスティタスの場合は、プラント・データ・ベー
ス６から現状スティタスを取込み、判定スティタスと共
に表示バッファにセット１０５５〜１０５６する。
モニタ一種別がデータの場合は、プラント・データ・ベ
ースから現在値を取込み１判定名称及び判定値と共に表
示バッファにセット１０５７〜１０５９にする。
ースから現在値を取込み１判定名称及び判定値と共に表
示バッファにセット１０５７〜１０５９にする。
シーケンス・モニター画面表示プログラム１０は、表示
バッファ上の待ち条件データをＣＲＴＩＩ上のＣＬＩＮ
Ｅ＋３行に表示１０６し、今回表示行数（ＣＬＩＮＥ）
を＋１する１０７゜待ち登録ケースを全て処理終了後、
前回表示行数（ＢＬＩＮＥ）と今回表示行数（ＣＬＩＮ
Ｅ）を比較１０９する。
バッファ上の待ち条件データをＣＲＴＩＩ上のＣＬＩＮ
Ｅ＋３行に表示１０６し、今回表示行数（ＣＬＩＮＥ）
を＋１する１０７゜待ち登録ケースを全て処理終了後、
前回表示行数（ＢＬＩＮＥ）と今回表示行数（ＣＬＩＮ
Ｅ）を比較１０９する。
前回表示行数が多い場合はその行数分消去１０１０する
。今回表示行数を前回表示行数にセット１０１１ Ｌ
＋タイマーのアップ待ち１０１２に入る。
。今回表示行数を前回表示行数にセット１０１１ Ｌ
＋タイマーのアップ待ち１０１２に入る。
本実施例によれば、シーケンス・プログラムの待ちが解
けず先に進まない等の異常が発生した場合、シーケンス
・モニター画面を参照することにより容易に待ち条件を
知ることができる。
けず先に進まない等の異常が発生した場合、シーケンス
・モニター画面を参照することにより容易に待ち条件を
知ることができる。
本発明によれば、次の効果がある。
１、シーケンス・プログラム・レベルのモニターができ
ることから、シーケンス・プログラムの待ちが解けずに
シーケンスが先に進まない等の異常が発生しても容易に
待ちの条件を知ることができる等、異常解析が容易にな
る。
ることから、シーケンス・プログラムの待ちが解けずに
シーケンスが先に進まない等の異常が発生しても容易に
待ちの条件を知ることができる等、異常解析が容易にな
る。
２、シーケンス制御マクロは大半で待ちが発生すること
から、画面上で通過ルートの確認ができ。
から、画面上で通過ルートの確認ができ。
きめの細いモニターができると共に、テスト時に通過ル
ートがトレースできるのでテスト効率が向上する。
ートがトレースできるのでテスト効率が向上する。
３、従来、マクロ単位のモニターが必要なシステムでは
、シーケンス・プログラム毎にモニター用画面を作成し
ていた。しかし、シーケンス・モニター画面はプラント
に依存しないことから。
、シーケンス・プログラム毎にモニター用画面を作成し
ていた。しかし、シーケンス・モニター画面はプラント
に依存しないことから。
シーケンス・プログラム毎のモニター画面の作成が不要
となり、システム構築作業量を縮減できる。
となり、システム構築作業量を縮減できる。
第１図は本発明の一実施例の全体構成図、第２図はシー
ケンス・プログラムの作成例を示す図、第３図及び第４
図はシーケンス・モニター画面の表示例を示す図、第５
図はシーケンス・モニター・テーブルの構成図、第６図
は０ＰＥＮマクロ実行サブルーチンの処理フロー図、第
７図は１ｔｌＵＮＴＩＬマクロ実行サブルーチンの処理
フロー図、第８図及び第９図はシーケンス・モニター画
面表示プログラムの処理フロー図である。 ２・・・計算機システム、３・・・シーケンス・プログ
ラム、４・・・０ＰＥＮマクロ実行サブルーチン、５・
・・ＷＵＮＴＩＬマクロ実行サブルーチン、６・・・プ
ラント・データ・ベース、７・・・プロセス入出カプロ
グラム、８・・・シーケンス・モニター・テーブル、９
・・・シーケンス及びプロセス制御機器名称テーブル、
１０・・・シーケンス・モニター画面表示プログラム。 １１・・・ＣＲＴ。 茶 ＩｒＥＪ 箒 圏 ７午５＃イすテパフ金録ケースＮＯ 第 区 第 霞
ケンス・プログラムの作成例を示す図、第３図及び第４
図はシーケンス・モニター画面の表示例を示す図、第５
図はシーケンス・モニター・テーブルの構成図、第６図
は０ＰＥＮマクロ実行サブルーチンの処理フロー図、第
７図は１ｔｌＵＮＴＩＬマクロ実行サブルーチンの処理
フロー図、第８図及び第９図はシーケンス・モニター画
面表示プログラムの処理フロー図である。 ２・・・計算機システム、３・・・シーケンス・プログ
ラム、４・・・０ＰＥＮマクロ実行サブルーチン、５・
・・ＷＵＮＴＩＬマクロ実行サブルーチン、６・・・プ
ラント・データ・ベース、７・・・プロセス入出カプロ
グラム、８・・・シーケンス・モニター・テーブル、９
・・・シーケンス及びプロセス制御機器名称テーブル、
１０・・・シーケンス・モニター画面表示プログラム。 １１・・・ＣＲＴ。 茶 ＩｒＥＪ 箒 圏 ７午５＃イすテパフ金録ケースＮＯ 第 区 第 霞
Claims (1)
- １、バルブの開閉、ポンプ・モーターの起動・停止等を
行うシーケンス制御マクロと、シーケンス制御マクロを
組合せて作成するシーケンスプログラムと、シーケンス
プログラムの待ち条件を登録するシーケンス・モニター
・テーブルと、ＣＲＴと、これに表示するシーケンス・
モニター画面と、シーケンス・モニター画面表示プログ
ラムから成る計算機システムにおいて、シーケンス・モ
ニター・テーブル上のシーケンス・プログラムの待ち条
件をＣＲＴに表示したことを特徴とするシーケンスプロ
グラムのモニター方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63196000A JPH0245804A (ja) | 1988-08-08 | 1988-08-08 | シーケンスプログラムのモニター方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63196000A JPH0245804A (ja) | 1988-08-08 | 1988-08-08 | シーケンスプログラムのモニター方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0245804A true JPH0245804A (ja) | 1990-02-15 |
Family
ID=16350553
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63196000A Pending JPH0245804A (ja) | 1988-08-08 | 1988-08-08 | シーケンスプログラムのモニター方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0245804A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008247107A (ja) * | 2007-03-29 | 2008-10-16 | Mitsubishi Motors Corp | スペアタイヤ移載装置 |
-
1988
- 1988-08-08 JP JP63196000A patent/JPH0245804A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008247107A (ja) * | 2007-03-29 | 2008-10-16 | Mitsubishi Motors Corp | スペアタイヤ移載装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20030233636A1 (en) | Debugger causality system and methods | |
| Koppol et al. | An incremental approach to structural testing of concurrent software | |
| US5712896A (en) | Method for diagnosing a fault of digital exchanger | |
| CN112394667A (zh) | 一种基于数字孪生的施工过程安全监控方法 | |
| JPH0245804A (ja) | シーケンスプログラムのモニター方式 | |
| Gnesi et al. | A stochastic extension of a behavioural subset of UML statechart diagrams | |
| US7260791B2 (en) | Integrated circuit designing system, method and program | |
| JPS6324424A (ja) | プログラムデバツグ方式 | |
| Jiang et al. | Research on intelligent building equipment room operation and maintenance platform based on digital twins | |
| JP2835134B2 (ja) | データ収集装置 | |
| JPH0798733A (ja) | 階層型生産計画支援方法及びその装置 | |
| Petersohn et al. | Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA's and its Application to Fault-Tolerant Systems | |
| Lau | Software prototyping using CADET | |
| Runge | The Inspection Method applied to small projects | |
| JPH02188829A (ja) | 作業工程データベースの修正を支援する方法 | |
| JPH07182032A (ja) | プラントデ−タ監視装置 | |
| JP2631778B2 (ja) | 計算機プログラム試験装置 | |
| JPH10198419A (ja) | プラント情報監視装置とその入出力点リスト編集処理装置 | |
| JPH04113424A (ja) | プログラム簡易テスト方式 | |
| JP2004145406A (ja) | プラント設備点検システム，プラント設備点検端末，プラント計測制御装置，プラント設備点検方法及びプラント計測制御方法 | |
| JPH07262017A (ja) | 知識工学システム | |
| Leachman et al. | Equipment efficiency improvement: the new frontier | |
| JPH03262050A (ja) | パラメータパターンデータ作成装置 | |
| JPH0395615A (ja) | メニュー画面の入力処理方式 | |
| JPH02247732A (ja) | 故障診断システム |