(57)【要約】【課題】プラント制御の上流仕様であるインターロックブロック図（ＩＢＤ）の作成を支援することができるＩＢＤ作成支援装置を提供する。【解決手段】処理部は、各ステップマクロの制御命令ポートに接続している信号経路を上流へたどって、末端の機器マクロへの制御命令信号を取得し、各ステップマクロの終了条件ポートに接続している信号経路を下流へたどって、末端の機器マクロからの条件信号を取得し、取得した条件信号に基づいて、各ステップマクロの上位のステップマクロの終了の状態を含めて下流側の末端信号を生成し、取得した制御命令信号と、生成した下流側の末端信号との整合性を点検して整合しないものを削除して絞りこみ、該絞りこみをした制御命令信号を上流側の制御命令信号として生成し、上流側の制御命令信号と、下流側の末端信号とが、同じ機器マクロの信号である場合に、その両信号が関連する関連信号として表示部に表示する。【選択図】図３３
2014096092.tif 000002
【特許請求の範囲】
【請求項１】
インターロックブロック図作成支援装置は、記憶部と、処理部とを有し、
前記記憶部には、インターロックブロック図として、一連の制御動作の起点となるグループコントロールマクロと、該グループコントロールマクロが開始すると、動作を開始する複数のステップマクロと、機器の動作を模擬する複数の機器マクロと、が記憶されており、
前記各ステップマクロは、該ステップマクロを起動する信号の入力ポートと、該ステップマクロの終了の条件信号を入力する終了条件ポートと、該ステップマクロから前記機器マクロへの制御命令信号を出力する制御命令ポートと、該ステップマクロの完了後に次の制御動作となるステップマクロへの起動信号を出力する出力ポートを有しており、
前記各機器マクロは、機器の制御動作の命令信号の入力ポートと、機器の動作状態を出力する条件信号ポートを有し、
前記処理部は、前記各ステップマクロについて、
前記各ステップマクロの前記制御命令ポートに接続している信号経路を上流へたどって、末端の前記機器マクロへの制御命令信号と、前記各ステップマクロの前記終了条件ポートに接続している信号経路を下流へたどって、末端の前記機器マクロからの条件信号とを取得し、
前記取得した条件信号に基づいて、前記各ステップマクロの上位のステップマクロの終了の状態を含めて下流側の末端信号を生成し、
前記取得した制御命令信号と、前記生成した下流側の末端信号との整合性を点検して整合しないものを削除して絞りこみ、該絞りこみをした制御命令信号を上流側の制御命令信号として生成し、
前記上流側の制御命令信号と、前記下流側の末端信号とが、同じ機器マクロの信号である場合に、その両信号が関連する関連信号であると判定して前記記憶部に記憶し、
前記記憶された両信号が関連する関連信号である旨の画像を、表示部に表示する
ことを特徴とするインターロックブロック図作成支援装置。
【請求項２】
前記記憶部には、さらに、前記インターロックブロック図として、信号名称で識別されるセンサ信号に係るブロック図、信号名称で識別されるユーザが入力するユーザインタフェース信号に係るブロック図が記憶されており、
前記処理部は、
前記各ステップマクロの前記制御命令ポートに接続している信号経路を上流へたどる際に、前記センサ信号と、前記各ステップマクロの前記終了条件ポートに接続している信号経路を下流へたどる際に、前記センサ信号および前記ユーザインタフェース信号とを取得し、
制御動作のなかで時間的な因果関係があって、前記取得したセンサ信号および前記取得したユーザインタフェース信号のなかで、前記信号名称が同一あるいは前記信号名称の所定の類似度がある場合に、その両信号が関連する関連信号であると判定して前記記憶部に記憶し、
前記記憶された両信号が関連する関連信号である旨の画像を、表示部に表示する
ことを特徴とする請求項１に記載のインターロックブロック図作成支援装置。
【請求項３】
前記記憶部には、前記制御命令信号を示す命令用語と、前記機器の状態を示す状態用語とが登録されており、
前記処理部は、
前記上流側の制御命令信号と前記下流側の末端信号とが、関連する関連信号であると判定する際に、
前記上流側の制御命令信号に前記命令用語が含まれ、前記下流側の末端信号に状態用語が含まれ、前記含まれていた命令用語と前記含まれていた状態用語との類似度が所定以上であれば、前記両信号が関連する関連信号であると判定する
ことを特徴とする請求項１に記載のインターロックブロック図作成支援装置。
【請求項４】
前記記憶部には、さらに、前記センサ信号の状態を示すセンサ状態用語が登録されており、
前記処理部は、
前記各ステップマクロの前記制御命令ポートに接続している信号の用語が、前記センサ状態用語である場合、該信号は、前記取得した条件信号のうちいずれかの条件信号と関連あると判定する
ことを特徴とする請求項３に記載のインターロックブロック図作成支援装置。
【請求項５】
前記記憶された両信号が関連する関連信号である旨の画像を、前記表示部に表示する際に、
前記上流側の制御命令信号の制御命令の名称と、前記下流側の末端信号の機器の動作状態名称とを、その間をリンク線で結合して表示する
ことを特徴とする請求項１に記載のインターロックブロック図作成支援装置。
【請求項６】
前記処理部は、前記表示部に、
機器の異常を設定する項目およびセンサの異常を設定する項目を表示し、
前記異常が入力されると、前記入力された異常に係る、前記上流側の制御命令信号と、前記下流側の末端信号とを特定し、その間のリンク線上に、異常が発生している旨の画像を表示する
ことを特徴とする請求項５に記載のインターロックブロック図作成支援装置。
【請求項７】
前記記憶部には、制御対象とする系統図が記憶されており、
前記処理部は、
一連の制御動作の起点となる前記グループコントロールマクロの動作を開始すると、連動して開始する前記各ステップマクロの終了時点に、前記系統図に含まれる機器の運転状態の変化または該機器の開閉状態の変化があった場合、前記系統図上に該変化があった旨を含めて前記表示部に表示する
ことを特徴とする請求項１に記載のインターロックブロック図作成支援装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、火力、化学、原子力などのプラントにおける制御ロジックを記載する上流設計図書であるインターロックブロック図（ＩＢＤ：Interlock Block Diagram）の作成を支援することができるインターロックブロック図作成支援装置に関する。
【背景技術】
【０００２】
インターロックブロック図（以下、ＩＢＤと称する。）は、主に、発電プラントや産業プラントの計装システムの機器の制御命令信号の出力する条件とタイミングを、センサやアクチュエータなどからの２値化された信号のＯＮ／ＯＦＦとそれらの論理演算（ＡＮＤ，ＯＲ）および、時間遅れなどを表現する種々のタイマ記号、および信号状態のセット、リセットを表すメモリ記号などの組み合わせによって表現するプラント機器の上流仕様を記載する表現形式のひとつである。計装システムは、ＩＢＤをもとに、制御仕様をより下流の仕様記述方式であるロジック図などに変換し、さらにコンパイラでマイコンに実装するなどして実現する。
【０００３】
ＩＢＤの上流側の仕様記述方式には、自然言語の他に、タイムチャートなどがある。ＩＢＤは、計装システムを実装するための仕様であって、機器の制御命令信号をセンサ信号など、システムの計装機器からの信号をもとに記載している。これに対し、タイムチャートは、設計者の目から見て、典型的なプラントの動作シナリオにおいて、計装機器がどのような順番で、動作するかを時系列的に示すもので、制御命令信号の結果、プラントがどのような状態になり、その結果、どのような計装機器からの信号が発生するかを想定して記載されている。この、制御命令信号と、計装機器からの信号との間の関係は、計装システムとして実装する部分ではなく、プラントの特性によって、常識的になりたつものであるため、計装機器の実装を目的としたＩＢＤには記載されないことに注意を要する。
【０００４】
特許文献１に記載されているオフラインテスト装置は、プログラマブルコントローラで実行されるシーケンス制御プログラムを作成するシーケンス制御プログラム作成部と、シーケンス制御プログラムを実行する仮想ＣＰＵ実行エンジンと、外部Ｉ／Ｏ機器の挙動および拡張ユニットの動作を含めたシステム全体の挙動を模擬するための仮想制御対象プログラムを機能ブロック図形式で作成する仮想制御対象プログラム作成部と、仮想制御対象プログラムおよび拡張ユニットの処理を実行する仮想外部機器実行エンジンと、各エンジン間のデータ交換を行う仮想入出力通信部と、仮想制御対象プログラムの挙動を動的に変更する仮想外部機器挙動動的変更部とを備える。
【０００５】
特許文献２には、制御対象の仕様と制御項目の方案によって方案書の目次を作成し、目次からの情報にもとづいてプログラミング手法を選択し、選択されたプログラミング手法の表現形式の中間ファイルをラダーダイアグラムに変換することが記載されている。
【０００６】
特許文献３には、ＳＦＣ（Sequential Function Chart）で記述された動作仕様をアクティビティデータに変換する第１の手段と、第１の手段によって変換されたアクティビティデータをタイムチャートに変換する第２の手段と、第２の手段によって変換されたタイムチャートをアクティビティデータに変換する第３の手段と、前記第３の手段によって変換されたアクティビティデータをＳＦＣに変換する第４の手段とを具備してなるＳＦＣ・タイムチャート相互変換装置が記載されている。
【先行技術文献】
【特許文献】
【０００７】
【特許文献１】特開２００３−３２３２０３号公報
【特許文献２】特開２００３−２６３２０３号公報
【特許文献３】特開平０７−２３４７１０号公報
【発明の概要】
【発明が解決しようとする課題】
【０００８】
従来、半導体などの回路の検証は、論理式や数学的記載によって厳密に記載された上流仕様と、それを実現するための設計結果としての回路があれば、テスト入力に対して、実装回路をシミュレーションすることにより、出力結果を得て、この入力と出力の組み合わせが上流仕様と整合しているかを確認することで可能となる。タイマやメモリ回路がある場合も基本的にチェックしなければならない入出力のタイミングや組み合わせが多くなる問題はあるが同様に検証を行うことができる。
【０００９】
一方、発電プラントや産業プラントの制御システムの設計においては、制御動作によるプラント状態の変化をセンサ信号として観測し、センサ信号の観測結果に基づいて、さらに制御動作を決定する継続的な“制御動作→プラントの挙動評価→観測”のサイクルを前提としている。このとき、プラントの動作は、暗黙または常識の範囲で制御の前提となっている。プラントの動作の仕方を特定の想定の範囲で制約しないと、無限に多くの動作シナリオが想定され、現実のプラントが通常の動作をする場合の典型的な動作シーケンスをユーザの目で見て確認することが困難となる。
【００１０】
このため、制御仕様の記載方法のひとつであるＩＢＤによる記載のとおりシステムを実装したときに、プラントの設計者が想定したとおりの動作が“プラントが想定した通挙動”を示した場合に実行されるかどうかを検証する方法を提供することが問題となる。
【００１１】
この問題を解決するため、特許文献１に記載された従来技術においては、外部Ｉ／Ｏ機器およびプログラマブルコントローラ用拡張ユニットの、動作シーケンスと内部変数を内包した機能ブロックを、ブロック図の状態で組み合わせて、制御対象の挙動をプログラムしている。しかしながら、外部プログラムの作成は煩雑であり、その作成を十分に支援しているとはいえない。
【００１２】
特許文献２に記載された方法では、上流仕様をラダーシーケンス、タイムチャート、ブロックダイアグラムの３通りの記載方法で記載し、その相互の整合性をチェックすることで記載して設計者の頭にあった上流仕様を洗練することができる方法である。しかしながら、設計したシステムが、外部環境において思い通りの動作をするかのチェックする手法とは十分になっていない。
【００１３】
特許文献３に記載された方法では、上流仕様をＳＦＣおよびタイムチャートの２つの表現方法で記載し、相互の整合性をチェックすることにより、上流仕様の信頼性を高める方法である。しかしながら、特許文献２と同様、外部環境において思い通りの動作をするかのチェックをする手法とは十分になっていない。
【００１４】
本発明は、前記の課題を解決するための発明であって、プラントなどの制御の上流仕様であるインターロックブロック図を作成する際に、できるだけ余分なドキュメントを作成することなく、インターロックブロック図の作成を支援することができるインターロックブロック図作成支援装置を提供することを目的とする。
【課題を解決するための手段】
【００１５】
前記目的を達成するため、本発明のインターロックブロック図作成支援装置は、記憶部と、処理部とを有し、記憶部には、インターロックブロック図として、一連の制御動作の起点となるグループコントロールマクロと、該グループコントロールマクロが開始すると、動作を開始する複数のステップマクロと、機器の動作を模擬する複数の機器マクロと、が記憶されており、各ステップマクロは、該ステップマクロを起動する信号の入力ポート（例えば、入力ポート６０２）と、該ステップマクロの終了の条件信号を入力する終了条件ポート（例えば、入力ポート６０３）と、該ステップマクロから機器マクロへの制御命令信号を出力する制御命令ポート（例えば、出力ポート６０６）と、該ステップマクロの完了後に次の制御動作となるステップマクロへの起動信号を出力する出力ポート（例えば、出力ポート６０８）を有しており、各機器マクロは、機器の制御動作の命令信号の入力ポート（例えば、入力ポート２１０３)と、機器の動作状態を出力する条件信号ポート（例えば、出力ポート２１０６）を有している。
【００１６】
処理部は、ステップマクロごとに、各ステップマクロの制御命令ポートに接続している信号経路を上流へたどって、末端の機器マクロへの制御命令信号（例えば、リストＣＭＤ（Ｘ））と、各ステップマクロの終了条件ポートに接続している信号経路を下流へたどって、末端の機器マクロからの条件信号（例えば、リストＳＩＧ（Ｘ））とを取得し（例えば、処理Ｓ１８０２、処理Ｓ１８０４）、取得した条件信号に基づいて、各ステップマクロの上位のステップマクロの終了の状態を含めて下流側の末端信号（例えば、リストＳ（Ｘ））を生成し（例えば、処理Ｓ１９０３）、取得した制御命令信号と、生成した下流側の末端信号との整合性を点検して整合しないものを削除して絞りこみ、該絞りこみをした制御命令信号を上流側の制御命令信号（例えば、Ａ−ＣＭＤ（Ｘ））として生成し（例えば、処理Ｓ１９０３）、上流側の制御命令信号と、下流側の末端信号とに基づき、同じ機器マクロの信号である場合に、その両信号が関連する関連信号であると判定して記憶部に記憶し（例えば、処理Ｓ１９０４）、記憶された両信号が関連する関連信号である旨の画像を、表示部に表示することを特徴とする。
【発明の効果】
【００１７】
本発明によれば、プラントなどの制御の上流仕様であるインターロックブロック図を作成する際に、できるだけ余分なドキュメントを作成することなく、インターロックブロック図の作成を支援することができる。
【図面の簡単な説明】
【００１８】
【図１】実施形態１に係るＩＢＤ作成支援装置の構成を示す図である。
【図２】タイムチャート生成処理の概略の処理手順を示すフローチャートである。
【図３】制御対象となるプラントの系統の例を示す図である。
【図４】ＩＢＤの定義マクロであるＧＣマクロの例を示す図である。
【図５】ＧＣマクロの内部構成を示す図である。
【図６】ＳＴＥＰマクロの例を示す図である。
【図７】ＳＴＥＰマクロの内部構成を示す図である。
【図８Ａ】ＩＢＤの例を示す図である。
【図８Ｂ】ＩＢＤの例を示す図である。
【図９】図８Ａ、図８ＢのＩＢＤに対応して生成が期待されるタイムチャートの例を示す図である。
【図１０】タイムチャート生成のためのＧＵＩの第１の例を示す図である
【図１１】ＩＢＤデータ表の構成の例を示す図である。
【図１２】タイムチャート生成のためのＧＵＩの第２の例を示す図である。
【図１３】状態遷移表の例を示す図である。
【図１４】機器パターン生成の処理を示すフローチャートである。
【図１５】機器パターンデータの例を示す図である。
【図１６】実施形態２に係るＩＢＤ作成支援装置の構成を示す図である。
【図１７】実施形態２に係る系統図の表示例を示す図である。
【図１８】制御命令信号とセンサ信号との間を橋渡しするＧＵＩを提供する際に、ステップマクロの終了条件信号とコマンド信号とを収集する処理を示すフローチャートである。
【図１９】図１８で収集した信号に基づいて、シーケンス生成に必要なＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫ候補を生成する処理を示すフローチャートである。
【図２０Ａ】ＧＣマクロを含んだＩＢＤの例を示す図である。
【図２０Ｂ】ＧＣマクロを含んだＩＢＤの例を示す図である。
【図２１】機器マクロを含んだＩＢＤの例を示す図である。
【図２２】機器マクロを含んだＩＢＤの例を示す図である。
【図２３】機器マクロを含んだＩＢＤの例を示す図である。
【図２４】機器マクロを含んだＩＢＤの例を示す図である。
【図２５】機器マクロを含んだＩＢＤの例を示す図である。
【図２６】機器マクロを含んだＩＢＤの例を示す図である。
【図２７】機器マクロを含んだＩＢＤの例を示す図である。
【図２８】末端センサ信号を含んだＩＢＤの例を示す図である。
【図２９】末端信号を含んだＩＢＤの例を示す図である。
【図３０】図１８の処理で得られた経過データである。
【図３１】図１９の処理で得られた経過データである。
【図３２】図１９の処理で得られた経過データである。
【図３３】生成されたＧＵＩのプラント定性モデル設定画面を示す図である。
【図３４】異常モデルの設定をする画面例を示す図である。
【図３５】異常モデル設定機能の結果の画面例を示す図である。
【発明を実施するための形態】
【００１９】
以下、本発明を実施するための実施形態について図面を用いて詳細に説明する。
＜実施形態１＞
実施形態１は、プラントが正常動作をした場合に、設計したＩＢＤにより想定通りの動作がおこなわれる否かを、ＩＢＤからタイムチャートを生成することによって知るＩＢＤ作成支援装置１００の例である。なお、実施形態２は、プラントが異常動作をした場合について後記する。
【００２０】
図１は、実施形態１に係るＩＢＤ作成支援装置の構成を示す図である。ＩＢＤ作成支援装置１００は、入出力装置１０１（入力部および表示部）、データを格納する記憶装置１３０（記憶部）、入出力インタフェース１１０、および演算装置１４０（処理部）からなる。記憶装置１３０は、ＩＢＤデータを記憶するＩＢＤデータ記憶部１３１、プラント定性モデルを記憶するプラント定性モデル記憶部１３２、状態遷移表記憶部１３３、タイムチャートデータを記憶するタイムチャートデータ記憶部１３４、および機器パターン記憶部１３５からなる。演算装置１４０は、入力制御部１４１、プラント定性モデル設定部１４２、状態遷移表生成部１４３、機器パターン生成部１４４、タイムチャート生成部１４５、出力制御部１４６を有している。
【００２１】
図２は、タイムチャート生成処理の概略の処理手順を示すフローチャートである。ＩＢＤ作成支援装置１００は、入出力装置１０１から入力制御部１４１により設計者が作成したＩＢＤを読み込み（処理Ｓ１１０１）、出力制御部１４６による画面制御によって入出力装置１０１にＧＣ選択画面を表示し（処理Ｓ１１０２）、ユーザがタイムチャートを作成するグループコントロール（以下、ＧＣと呼ぶ、一連の制御動作を意味する。）の名称を選択する。ユーザがタイムチャート生成のボタンを押すと、プラント定性モデル設定部１４２は、選択したＧＣの基本シーケンスに関わる制御命令信号と、センサ信号を抽出し、ＧＵＩ上で、ＩＢＤ上の制御命令とセンサ信号を関連づけ、出力制御部１４６を介してプラント定性モデル設定画面（図１０参照）を表示する（処理Ｓ１１０３）。この関連はプラント定性モデル記憶部１３２に格納される。
【００２２】
状態遷移表生成部１４３は、格納されたプラント定性モデルと、ＧＣの基本シーケンスに関わるＩＢＤの記載をもとに、当該ＧＣに関する状態遷移表３００（図１３参照）を生成し（処理Ｓ１１０４）、状態遷移表記憶部１３３に格納する。最後に、機器パターン生成部１４４は、状態遷移表３００（図１３参照）に基づく機器パターン（具体的には、機器パターンデータ３１０（図１５参照））を生成する（処理Ｓ１１０５）。最後に後記するステップマクロ（ＳＴＥＰマクロ）ごとの機器状態を特定の表形式でタイムチャート生成部１４５において生成して、タイムチャートデータをタイムチャートデータ記憶部１３４に記憶するとともに、入出力インタフェース１１０より入出力装置１０１に生成されたタイムチャート（図９参照）を表示（出力）する（処理Ｓ１１０６）。
【００２３】
ユーザは、生成されたタイムチャートが、設計者が想定したものと異なっているか否かを確認し（処理Ｓ１１０７）、異なっていれば（処理Ｓ１１０７，ＮＧ）、さらに、ユーザは、ＩＢＤを読み出してＩＢＤを修正し（処理Ｓ１１０８）、処理Ｓ１１０２に戻り、さらに、同様のプロセスを繰り返し（処理Ｓ１１０２〜Ｓ１１０６）、タイムチャートを出力して確認する（処理Ｓ１１０７）。そして、ユーザは、生成されたタイムチャートが、設計者が想定したものと同じであれば（処理Ｓ１１０７，ＯＫ）、一連の処理を終了する。
【００２４】
以上の処理を具体例により説明する。
図３は、制御対象となるプラントの系統の例を示す図である。図３に示すプラントの系統は、外部系統ＯＵＴ−ＡにつながっているタンクＴａｎｋ−Ａと、外部系統ＯＵＴ−ＢとつながっているＴａｎｋ−Ｂと、その２つのタンクを結ぶ配管、バルブ（例えば、バルブＶＡ−１，ＶＢ−１，ＶＡ−２，ＶＢ−２）、ポンプ（例えば、ポンプＰＭＰ−１，ＰＭＰ−２）を有している。さらに、２つのタンクＴａｎｋ−Ａ，Ｔａｎｋ−Ｂには、それぞれ水位計ＬＴ−Ａ，ＬＴ−Ｂがあり、水位をＨＩＧＨ、ＭＩＤＤＬＥ、ＬＯＷの３類別してセンサ信号として出力しているとする。
【００２５】
ここで、タンクＴａｎｋ−Ａの水位がＬＯＷで、タンクＴａｎｋ−Ｂの水位がＨＩＧＨであった場合には、一連の制御動作であるグループコントロールを、ＧＣ：Ｓｅｎｄ  ＢｔｏＡとして、以下の処理により、タンクＴａｎｋ−ＢからタンクＴａｎｋ−Ａに水を移す処理をＩＢＤ上に記載する場合を例にとる。
【００２６】
処理としては、
（１）ポンプＰＭＰ−１を止める。
（２）バルブＶＡ−１及びＶＢ−１を閉じる。
（３）バルブＶＡ−２及びＶＢ−２を開く。
（４）ポンプＰＭＰ−２を起動する。
【００２７】
プラントシステムで一連の制御動作をＩＢＤ上で記載しやすくするために、図４，図５に記載したＧＣマクロ（ＧＣ  Ｍａｃｒｏ）と図６，図７に記載したＳｔｅｐマクロ（Ｓｔｅｐ  Ｍａｃｒｏ）を定義する。
【００２８】
図４は、ＩＢＤの定義マクロであるＧＣマクロの例を示す図である。図４に示す上部左側は、ＩＢＤ上のＧＣマクロ（ＧＣ  Ｍａｃｒｏ）の記号であり、上部右側のイタリックの“ｎａｍｅ”の部分にマクロ名を記載する。
【００２９】
また、左側の“ＳＴＡＲＴ”，“ＴＲＯＵＢＬＥ”，“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”は、マクロ記号への信号の入力ポート４０１，４０２，４０３であり、右側の“ＧＣ＿ＩＮ＿ＰＲＯＧＲＥＳＳ”，“ＧＣ＿ＳＴＡＲＴＥＤ”，“ＣＯＭＰＬＥＴＥＤ”は、マクロ記号からの信号の出力ポート４０４，４０５，４０６である。“ＳＴＡＲＴ”の入力ポート４０１は、ＧＣマクロを起動する信号入力である。“ＴＲＯＵＢＬＥ”の入力ポート４０２は、トラブル信号の入力ポートである。“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート４０３は、ＧＣ完了の条件信号の入力ポートである。“ＧＣ＿ＩＮ＿ＰＲＯＧＲＥＳＳ”の出力ポート４０４は、ＧＣが実行中のときに“ＯＮ”になる出力信号ポートである。“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポート４０５は、“ＳＴＡＲＴ”の入力ポート４０１に“ＯＮ”信号が入ったときに“ＯＮになる出力ポートである。“ＣＯＭＰＬＥＴＥＤ”の出力ポート４０６は“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”に“ＯＮ”信号が入った時に“ＯＮ”になる出力信号ポートである。
【００３０】
図５は、ＧＣマクロの内部構成を示す図である。図５は、ＧＣマクロの入出力関係をＩＢＤの記法で記載したもので、左側と右側の矢羽根５０１〜５０６は、それぞれ、図４の入力ポート４０１，４０２，４０３、出力ポート４０４，４０５，４０６に対応する外部信号である。Ｓ，Ｒを含んだ長方形５０７は、メモリ記号を表し、通常はリセット状態で“ＯＦＦ”になっているが、Ｓ側信号が“ＯＮ”になると“ＯＮ”を出力し、Ｒ側信号が“ＯＮ”になるとリセットされ出力側が“ＯＦＦ”になる。また、“ＰＢ”と書いてある記号５０８は、プッシュボタンを指し、右側の”ＲＥＳＥＴ”は、プッシュボタンの名称である。また、（ＴＲＯＵＢＬＥ）、（ＳＴＡＲＴ）、（ＣＯＭＰＬＥＴＥ）の下の記号５０９，５１０，５１１は、表示記号であり、信号が“ＯＮ”になると（  ）内の表示がされることを示す。
【００３１】
図６は、ＳＴＥＰマクロの例を示す図である。図６に示す図は、ＩＢＤ上のＳＴＥＰマクロの記号であり、上部左側の部分６３０は、ＳＴＥＰマクロに対応するマクロ名であり、中央のイタリックの“ｎａｍｅ”の部分６３１は、Ｓｔｅｐ名を、右側のイタリックの“Ｒｅｓｅｔ  Ｔｉｍｅ”の部分６３２は、ＳＴＥＰマクロが開始してから、“Ｒｅｓｅｔ  Ｔｉｍｅ”時間が経過した場合、ＳＴＥＰマクロの動作トラブルとしてリセットされることを示す。
【００３２】
また、左側の“ＧＣ＿ＩＮ＿ＰＲＯＧＲＥＳＳ”，“ＳＴＡＲＴ”，“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”，“ＧＣ＿ＳＴＡＲＴＥＤ”，“ＴＲＯＵＢＬＥ  ＲＥＳＥＴ”は、ＳＴＥＰマクロ記号への信号の入力ポート６０１〜６０５であり、右側の“ＣＯＭＭＡＮＤ”，“ＴＲＯＵＢＬＥ”，“ＣＯＭＰＬＥＴＥＤ”は、ＳＴＥＰマクロ記号からの信号の出力ポート６０６〜６０８である。“ＧＣ＿ＩＮ＿ＰＲＯＧＲＥＳＳ”の入力ポート６０１は、対応するマクロが実行中であることを示す信号の入力ポートである。“ＳＴＡＲＴ”の入力ポート６０２は、ＳＴＥＰマクロを起動する信号の入力ポートである。“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート６０３は、ＳＴＥＰマクロ完了の条件信号の入力ポートである。“ＧＣ＿ＳＴＡＲＴＥＤ”の入力ポート６０４は、対応するマクロの開始信号の入力ポートである。“ＴＲＯＵＢＬＥ  ＲＥＳＥＴ”の入力ポート６０５は、ＳＴＥＰマクロのトラブルのリセット信号の入力ポートである。“ＣＯＭＭＡＮＤ”の出力ポート６０６は、“ＳＴＡＲＴ”の入力ポート６０２に“ＯＮ”信号が入ったときに“ＯＮになる制御命令信号（コマンド信号）の出力ポートである。“ＴＲＯＵＢＬＥ”の出力ポート６０７は、ＳＴＥＰマクロがトラブルのときに“ＯＮ”になるトラブル対応信号の出力ポートである。“ＣＯＭＰＬＥＴＥＤ”の出力ポート６０８は“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”に“ＯＮ”信号が入ったときに“ＯＮ”になる信号の出力ポートである。
【００３３】
図７は、ＳＴＥＰマクロの内部構成を示す図である。図７は、ＳＴＥＰマクロの入出力関係をＩＢＤの記法で記載したもので、左側と右側の矢羽根７０１〜７０８は、それぞれ、図６の入力ポート６０１〜６０５、出力ポート６０６〜６０８に対応する外部信号である。図中の白丸は反転記号、“Ａ”を含む記号は“ＡＮＤ”記号、“ＯＲ”を含む記号は“ＯＲ”記号である。また“ＤＩ”を含む四角は、遅延タイマで、下の段に記載された時間だけＯＮ／ＯＦＦが遅延する。遅延時間が＊ｓとなっている遅延記号は、ステップマクロ記号の“ＲｅｓｅｔＴｉｍｅ”の時間が代入される。
【００３４】
図８Ａ、図８Ｂは、ＩＢＤの例を示す説明図である。図８Ａ、図８Ｂは、前述したＧＣマクロとＳＴＥＰマクロを用いて、タンクＢからＡへ水を移動させる“Ｓｅｎｄ  ＢｔｏＡ”のＧＣ（グループコントロール）を記載したものである。ＩＢＤは、ＧＣマクロである“Ｓｅｎｄ  ＢｔｏＡ”と、そのＳＴＥＰマクロである“Ｓｔｅｐ１”、“Ｓｔｅｐ２”、“Ｓｔｅｐ３”、“Ｓｔｅｐ４”からなり、それぞれのＳＴＥＰマクロのリセット時間は、それぞれ、１００ｓ（１００秒）、５０ｓ、５０ｓ、１５０ｓと指定されている。それぞれのマクロの左側の矢羽根８０１〜８０８は入力信号、右側の矢羽根８１１〜８１７は出力信号で、矢羽根８０１〜８０８および矢羽根８１１〜８１７の縦線で区切られた左側には、機器名称またはマクロ名が、右側には、信号名またはマクロのポート名が記載されている。
【００３５】
例えば、一番上に記載されているＧＣマクロ（ＧＣ  Ｍａｃｒｏ）の“ＳＴＡＲＴ”の入力ポート８２１への入力は、水位計ＬＴ−Ａの“Ｌｅｖｅｌ  ＬＯＷ”信号と水位計ＬＴ−Ｂの“Ｌｅｖｅｌ  ＨＩＧＨ”信号の“ＡＮＤ”信号であり、この条件でマクロが起動することを記載している。また、“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート８２３には、白丸の反転記号によって、前記条件の否定信号が入力となっており、開始条件がみたされなくなればマクロが終了することを記載している。
【００３６】
一方、“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポート８２５の出力信号は、Ｓｔｅｐマクロである“Ｓｔｅｐ１”の“ＳＴＡＲＴ”の入力ポート８３２への入力となっており、ＧＣマクロがスタートしたときには、まず、“Ｓｔｅｐ１”のＳＴＥＰマクロが起動することが記載されている。また、“ＧＣ＿ＩＮ＿ＰＲＯＧＲＥＳＳ”の出力ポート８２４は“Ｓｔｅｐ１”〜”Ｓｔｅｐ４”の各マクロの“ＧＣ＿ＩＮ＿ＰＲＯＧＲＥＳＳ”の入力ポート８３１，８４１，８５１，８６１への入力信号となっており、各ＳＴＥＰマクロの共通の実行条件として入力されている。また、“ＣＯＭＰＬＥＴＥＤ”の出力ポート８２６は、別のマクロである“ＢｔｏＡＦｉｎ  Ｍａｃｒｏ”の“ＳＴＡＲＴ”の入力ポートへの入力となっていることを示す。ここでは、本発明の詳細を記載するために“ＢｔｏＡＦｉｎ  Ｍａｃｒｏ”の内容を記載することは必要ないため、その内容については省略する。
【００３７】
ＳＴＥＰマクロ“Ｓｔｅｐ１”は、起動すると、“ＣＯＭＭＡＮＤ”の出力ポート８３６からの制御命令信号（“ＰＭＰ−１”，“ＳＴＯＰ  ＣＭＤ”）（以下、信号（ＰＭＰ−１，ＳＴＯＰ  ＣＭＤ）のように表記する。）を発生する。その結果、（ＰＭＰ−１，ＳＴＯＰＰＥＤ）の信号が“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート８３３に入力されると、ＳＴＥＰマクロは終了する。“Ｓｔｅｐ１”のマクロが終了すると、“ＣＯＭＰＬＥＴＥＤ”の出力ポート８３８の出力信号が“ＯＮ”になり、これがＳＴＥＰマクロ“Ｓｔｅｐ２”の“ＳＴＡＲＴ”の入力ポート８４２への入力となり、“ＳＴＥＰ２”が起動される。
【００３８】
以下、順次、“ＳＴＥＰ２”の“ＣＯＭＭＡＮＤ”の出力ポート８４６からの制御命令信号（ＶＡ−１，ＣＬＯＳＥ  ＣＭＤ）および（ＶＢ−１，ＣＬＯＳＥ  ＣＭＤ）の信号が発生する。その結果、（ＶＡ−１，ＣＬＯＳＥＤ）、（ＶＢ−２，ＣＬＯＳＥＤ）の機器のフィードバック信号が戻ってくると、“ＳＴＥＰ  ２”が終了し、“ＳＴＥＰ３”が起動される。
【００３９】
“ＳＴＥＰ−３”の“ＣＯＭＭＡＮＤ”の出力ポート８５６からの制御命令信号（ＶＢ−２，ＯＰＥＮ  ＣＭＤ），（ＶＡ−２，ＯＰＥＮ  ＣＭＤ）が発生する。その結果としてフィードバック信号である（ＶＢ−２，ＯＰＥＮＥＤ），（ＶＡ−２，ＯＰＥＮＥＤ）が“ＯＮ”になり、“Ｓｔｅｐ３”マクロの“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート８５３に入力されると、“ＳＴＥＰ  ３”が終了し、“ＳＴＥＰ３”の“ＣＯＭＰＬＥＴＥ”の出力ポート８５８が“ＯＮ”になり、これとつながっている“ＳＴＥＰ  ４”の“ＳＴＡＲＴ”の入力ポート８６２が“ＯＮ”になり、“ＣＯＭＡＮＮＤ”の出力ポート８６６から、制御命令信号（ＰＭＰ−２，ＳＴＡＲＴ  ＣＭＤ）が“ＯＮ”になり、その結果として、（ＰＭＰ−２，ＳＴＡＲＴＥＤ）の機器のフィードバック信号が“ＯＮ”になり、“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート８６３の出力が“ＯＮ”になると“ＳＴＥＰ４”が終了する。
【００４０】
こうして、“ＰＭＰ−１”が停止し、“ＶＡ−１”，“ＶＢ−１”が閉となり、“ＶＢ−２”，“ＶＡ−２”が開となって、“ＰＭＰ−２”が起動すると、図３の系統構成から、物理的に“Ｔａｎｋ−Ｂ”の水が減って、“Ｔａｎｋ−Ａ”の水が増え、終了条件、ＮＯＴ（“ＬＴ−Ａ”“Ｌｅｖｅｌ  ＬＯＷ”  ＡＮＤ  “ＬＴ−Ｂ”“Ｌｅｖｅｌ  ＨＩＧＨ”）が満足され、ＧＣマクロの“Ｓｅｎｄ  ＢｔｏＡ”が完了することになる。
【００４１】
図８Ａ、図８Ｂに記載されたＩＢＤが図３の系統の中で、所与の動作をするかを確認するためのひとつの方法として、ＩＢＤによって記載された制御動作の典型的なシーケンスを機器の動作を時系列的にみることのできるタイムチャートに変換して最終的にユーザが確認する方法がある。以下、図８Ａ、図８ＢのＩＢＤからタイムチャートを生成する方法について述べる。
【００４２】
図９は、図８Ａ、図８ＢのＩＢＤに対応して生成が期待されるタイムチャートの例を示す図である。縦軸となる一列目に機器名称、２列目に機器種別、３列目に機器種別に対応した状態、そして、各機器がステップマクロの進捗に従って、どの状態にあるかを線で結んで表現してある。このようなタイムチャートを生成するためには、ＩＢＤに記載されている情報だけでは、不十分である。
【００４３】
なぜなら、例えば、制御命令信号（ＰＭＰ−１，ＳＴＯＰ  ＣＭＤ）が発生しても、フィードバック信号（ＰＭＰ−１，ＳＴＯＰＰＥＤ）が“ＯＮ”にならないと“ＳＴＥＰ１”マクロが終了せず、次のステップマクロに進捗しないからである。
【００４４】
また、“ＰＭＰ−１”が停止し、“ＶＡ−１”，“ＶＢ−１”が閉となり、“ＶＢ−２”，“ＶＡ−２”が開となって、“ＰＭＰ−２”が起動すると、図３の系統構成から、物理的に“Ｔａｎｋ−Ｂ”の水が減って、“Ｔａｎｋ−Ａ”の水が増える。しかしながら、終了条件、ＮＯＴ（“ＬＴ−Ａ”“Ｌｅｖｅｌ  ＬＯＷ”  ＡＮＤ  “ＬＴ−Ｂ”“Ｌｅｖｅｌ  ＨＩＧＨ”）が満足され、ＧＣマクロの“Ｓｅｎｄ  ＢｔｏＡ”が完了することがわからない限り、ＧＣマクロ“Ｓｅｎｄ  ＢｔｏＡ”自体も終了せず、従って、タイムチャートが完結しない。そして、これらの関係は、ＩＢＤには記載されていない。
【００４５】
これらの関係がＩＢＤに記載されないのは、ＩＢＤが制御システムを実装するための上流仕様であるため、個々の機器やセンサの動作条件とタイミングのみを記載すればよく、プラントや、実装対象以外の機器の動的振る舞いが記載されないからである。
【００４６】
この問題を解決するため、本実施形態のＩＢＤ作成支援装置１００は、図１０に示す制御命令信号とセンサ信号との間を橋渡しするＧＵＩを提供する。図１０は、タイムチャート生成のためのＧＵＩの第１の例を示す図である。図１０に示す画面は、図２の処理Ｓ１１０３によって、プラント定性モデル設定画面表示で表示される画面に対応する。
【００４７】
このＧＵＩでは、タイムチャート生成対象のＧＣマクロおよびＳＴＥＰマクロのポートと直接または間接に接続している制御信号、およびセンサ信号を色わけまたは線の種類を変えて表示し、ＩＢＤ作成支援装置１００は、論理記号とＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫを用いて２つの間を結ぶことができる。設計者は、図１０を参照して、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫの結合方法があっているか否かを確認し、誤りがあれば修正する。なお、信号の種類は、例えば、信号名称の命名ルールをあらかじめ策定することによって、類別する。
【００４８】
この例では、最後に“ＣＭＤ”となっている信号名は制御命令信号とし、“ＯＰＥＮＥＤ”，“ＳＴＯＰＰＥＤ”，“ＳＴＡＲＴＥＤ”などの語をあらかじめ登録しておき、これらの語が最後に現れる信号名をフィードバック信号とみなし、“ＨＩＧＨ”，“ＬＯＷ”，“ＭＩＤＤＬＥ”，“ＬＥＳＳ  ＴＨＡＮ  ＊”などの言葉をセンサ信号の最後に現れる語として登録しておく（ここで＊は任意の文字列）。このような判定処理は、一般の構文解析によって容易に実現することができる。このような処理をするためには、ＩＢＤの記載内容を、ＩＢＤを読み込んでデータに格納しておく必要がある。この処理は、図２の処理Ｓ１１０１に相当する。
【００４９】
本実施形態のＩＢＤ作成支援装置１００の記憶装置１３０（記憶部）には、制御命令信号を示す命令用語（例えば、ＣＬＯＳＥ  ＣＭＤ）と、機器の状態を示す状態用語（例えば、ＣＬＯＳＥＤとが登録されており、演算装置１４０（処理部）は、上流側の制御命令信号と下流側の末端信号とが、関連する関連信号であると判定する際に、上流側の制御命令信号に命令用語が含まれ、下流側の末端信号に状態用語が含まれ、含まれていた命令用語と含まれていた状態用語との類似度が所定以上であれば、両信号が関連する関連信号であると判定することができる。
【００５０】
記憶部には、さらに、センサ信号の状態を示すセンサ状態用語（例えば、ＨＩＧＨ）が登録されており、処理部は、各ステップマクロの制御命令ポートに接続している信号の用語が、センサ状態用語である場合、該信号は、取得した条件信号のうちいずれかの条件信号と関連あると判定することができる。
【００５１】
図１１は、ＩＢＤデータの構成の例を示す図である。この例では、読み込んだＩＢＤデータをＩＢＤデータ表２００として表形式でＩＢＤデータ記憶部１３１に格納している。ＩＢＤデータ表２００は、信号名称２０１、ＩＢＤが記載されているＩＢＤシート番号２０２、信号線の入力となる機器の入力記号ＩＤ２０３および入力ポートＩＤ２０４、出力となる機器の出力記号ＩＤ２０５および出力ポートＩＤ２０６からなる。
【００５２】
信号名称２０１は、矢羽根形式の入出力信号などのように、名称があるものはテーブルに格納されるが、ロジックの途中の信号線には一般に名称がないので無名となる。（ＬＴ−Ａ，Ｌｅｖｅｌ  ＬＯＷ）のような外部入力信号の場合は、入力記号ＩＤ２０３と入力ポートＩＤ２０４はなく、反対に、（ＶＡ−１，ＣＬＯＳＥ  ＣＭＤ）のような外部出力信号の場合には出力記号ＩＤ２０５と出力ポートＩＤ２０６はない。また、ＡＮＤやＯＲ記号がひとつの図面中に、複数あるときは、その座標位置などにもとづいてユニークな番号をつける。例えば、図８Ａ、図８Ｂの図面には、ＡＮＤが４つあるが上から順番にＡＮＤ（１）、ＡＮＤ（２）、ＡＮＤ（３）、ＡＮＤ（４）のように番号をつけている。
【００５３】
さらに、ＧＣマクロやＳＴＥＰマクロには、その名称やＲｅｓｅｔ  ｔｉｍｅを、ＳＴＥＰＭＡＣＲＯ（Ｓｅｎｄ  ＢｔｏＡ，ＳＴＥＰ１，１００）のように引数の形で格納して記憶する。このような接続情報や、記号の情報の図面からの格納は、現在のＣＡＤ技術においては容易に実現できる。
【００５４】
図１０に戻り、図１０のＧＵＩでは、前述したように、機器のＣＭＤとフィードバック信号の組み合わせのルールをあらかじめ決めておくことにより、デフォルトのＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫでつなげた形で、表示してユーザに確認と修正をゆだねることが可能である。
【００５５】
図１０の例では、［機器名Ｘ］，［ＯＰＥＮ  ＣＭＤ］と［機器名Ｘ］，［ＯＰＥＮＥＤ］を機器名Ｘが同じ場合デフォルトの  ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫによって結ぶなどのルールをあらかじめ容易しておけば、容易にすべてのリンクをデフォルト値として示すことができる。
【００５６】
図１２は、タイムチャート生成のためのＧＵＩの第２の例を示す説明図である。図１２の例は、それほど容易にＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫを作成できない場合で、ＧＣの終了条件ＮＯＴ（“ＬＴ−Ａ”“Ｌｅｖｅｌ  ＬＯＷ”  ＡＮＤ  “ＬＴ−Ｂ”“Ｌｅｖｅｌ  ＨＩＧＨ”）に関わるプラントモデルを、ユーザが論理条件も利用して、作成した例である。この例では、バルブＶＡ−１，ＶＡ−２．ＶＢ−１，ＶＢ−２が所定の状態にあって、タンクＴＡＮＫ−Ａの水位がＬＯＷであり、タンクＴＡＮＫ−Ｂの水位がＭＩＤＤＬＥかＨＩＧＨであり、ポンプＰＭＰ−２が起動すれば、いずれは、タンクＴＡＮＫ−Ａの水位がＭＩＤＤＬＥになることを記載している。
【００５７】
実際のＩＢＤは、図８Ａ、図８Ｂに示したＩＢＤのシートが数十枚から数百枚に及ぶことも珍しくない。マクロの実行過程では、非常に多くの制御命令信号（コマンド信号）とセンサ信号がリンクの生成候補になり、実際には人手で設定するのが煩雑となる。このため、各ＳＴＥＰマクロの開始、終了条件、コマンド信号を収集して、該当するＧＣ（グループコントロール）の標準的なシーケンスの生成に必要なＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫ候補を生成することにより、省力化を図る。
【００５８】
図２で前述したように、プラント定性モデル設定部１４２は、選択したＧＣの基本シーケンスに関わる制御命令信号（コマンド信号）と、センサ信号を抽出し、ＧＵＩ上で、ＩＢＤ上の制御命令信号とセンサ信号を関連づけ、出力制御部１４６を介してプラント定性モデル設定画面（図３３参照）を表示する（処理Ｓ１１０３）。図３３に示すプラント定性モデル設定画面の生成方法について、図１８および図１９のフローチャート、図２０Ａ、図２０Ｂ、図２１から図２９のＩＢＤのシートを使用して、その生成過程を説明する（図３０、図３１、図３２、図３３参照）を説明する。
【００５９】
図１８は、制御命令信号とセンサ信号との間を橋渡しするＧＵＩを提供する際に、ステップマクロの終了条件信号とコマンド信号とを収集する処理を示すフローチャートである。また、図１９は、図１８で収集した信号に基づいて、シーケンス生成に必要なＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫ候補を生成する処理を示すフローチャートである。なお、図１８および図１９の処理の主体は、プラント定性モデル設定部１４２である。
【００６０】
プラント定性モデル設定部１４２は、ＧＣから“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポートに接続しているステップマクロを抽出し、ステップマクロの番号をＸとするとき、Ｓｔｅｐ＝Ｘに設定する（処理Ｓ１８０１）。そして、ステップマクロのＣＯＭＭＡＮＤの出力ポートに接続している信号を上流側にたどって、機器マクロへの入力または出力端となっている信号を抽出し（処理Ｓ１８０２）、抽出した信号を経過データ３０００（図３０参照）のリストＣＭＤ（Ｘ）に格納する（処理Ｓ１８０３）。次に、ステップマクロの“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポートに接続している信号を下流側にたどって、機器マクロからの出力または入力端となっている信号を抽出し（処理Ｓ１８０４）、抽出した信号を経過データ３０００（図３０参照）のリストＳＩＧ（Ｘ）に格納する（処理Ｓ１８０５）。
【００６１】
プラント定性モデル設定部１４２は、ステップマクロの“ＣＯＭＰＬＥＴＥＤ”の出力ポートと接続しているステップマクロがあるか否かを判定し（処理Ｓ１８０６）、ステップマクロがある場合（処理Ｓ１８０６，Ｙｅｓ）、Ｓｔｅｐ＝接続しているマクロ名の番号に設定し（処理Ｓ１８０７）、処理Ｓ１８０２に戻り、ステップマクロがない場合（処理Ｓ１８０６，Ｎｏ）、処理を終了する。
【００６２】
次に、図１９の処理を説明する。
プラント定性モデル設定部１４２は、ＧＣから“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポートに接続しているステップマクロを抽出し、ステップマクロの番号をＸとするとき、Ｓｔｅｐ＝Ｘに設定する（処理Ｓ１９０１）。そして、リストＳＩＧ（Ｘ）の信号と、各ステップマクロの“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力信号との整合性をチェックし、経過データ３１００（図３１参照）のＧＣ進行条件のリストＳ（Ｘ）を生成し（処理Ｓ１９０２）、ステップＸまでに、図３０に示すリストＣＭＤ（Ｘ）からリストＳ（Ｘ）と整合しないものを削除しリストＡ−ＣＭＤ（Ｘ）とする（処理Ｓ１９０３）。
【００６３】
プラント定性モデル設定部１４２は、リストＡ−ＣＭＤ（Ｘ）とＧＣ進行条件のリストＳ（Ｘ）とを比較し、同じマクロのポートからの信号になっているものとその残りの信号の中で、名前の類似性の高いものをＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫ候補として、リストＥＬＣ（Ｘ）に格納する（処理Ｓ１９０４）。
【００６４】
プラント定性モデル設定部１４２は、ステップマクロの“ＣＯＭＰＬＥＴＥＤ”の出力ポートと接続しているステップマクロがあるか否かを判定し（処理Ｓ１９０５）、ステップマクロがある場合（処理Ｓ１９０５，Ｙｅｓ）、Ｓｔｅｐ＝接続しているマクロ名の番号に設定し（処理Ｓ１９０６）、処理Ｓ１９０２に戻り、ステップマクロがない場合（処理Ｓ１９０５，Ｎｏ）、処理を終了する。
【００６５】
図３０は、図１８の処理で得られた経過データである。経過データ３０００には、ステップ番号（Ｓｔｅｐ：Ｘ）、リストＣＭＤ（Ｘ）、リストＳＩＧ（Ｘ）が含まれている。以下、図３０の生成過程について説明する。
【００６６】
図２０Ａ、図２０Ｂは、ＧＣマクロを含んだＩＢＤの例を示す図である。図２１から図２９は、図２０Ａ、図２０Ｂに関連する図である。図２１から図２７は、機器マクロを含んだＩＢＤの例を示す図である。図２８は、末端センサ信号を含んだＩＢＤの例を示す図である。図２９は、末端信号を含んだＩＢＤの例を示す図である。マクロには、ＧＣマクロ、ＳＴＥＰマクロ以外に、機器マクロ（例えば、ＰＭＰ  ＭＡＣＲＯ、ＶＬＶ  ＭＡＣＲＯ）などがある。
【００６７】
図２０Ａ、図２０Ｂに示す図は、複数の図を参照しており、図８Ａ、図８Ｂに示した図よりも複雑なＩＢＤの例である。もとになるＧＣマクロから、最初に実行されるＳＴＥＰマクロには、“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポート２０２５から、対応するＳＴＥＰマクロのＳＴＡＲＴポートへ信号線が接続されている。これが最小のステップマクロでステップマクロ番号は、１となる。これから、順次、各ＳＴＥＰマクロの、“ＣＯＭＭＡＮＤ”の出力ポート２０３６，２０４６，２０５６，２０６６からの制御命令信号であるＣＭＤ出力信号と、“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート２０３３，２０４３，２０５３，２０６３の信号を収集する。
【００６８】
このとき、これらのポートからの信号は、別シートを参照している場合もある。このため、ＣＭＤ信号では、上流向きに信号を順次たどり、終端信号までたどる。ここで終端信号とは、機器マクロ（例えば、ＰＭＰ  ＭＡＣＲＯ（ポンプマクロ））のポートにつながっている信号、シート名のところにＤＩ（センサからの信号入力信号）またはＭＩ（ユーザの入力により発生する信号、ユーザインタフェース信号）が記載されている出力信号、または、センサ信号である。
【００６９】
例えば、“Ｓｔｅｐ１”のＳＴＥＰマクロからのＣＭＤ信号は、３つあり、矢羽根で区切られた最初の欄のＳ６００，Ｓ９００，Ｓ６０２はシート名を示す。シート名は、例えば、図２０Ａ、図２０Ｂの例では、右下に四角に囲われてＳ１００（図２０Ｂ参照）とあるものがあたる。なお、矢羽根の記載は、シート名、機器名、ＣＭＤ名を含んで構成されている。
【００７０】
“ＣＯＭＡＮＮＤ”の出力ポート２０３６からのシート飛び先の、シートＳ６００は、図２１に示すように、ＰＭＰ−１という機器名の制御動作を表すマクロが記述されており、シートＳ１００からの信号は、マクロの“ＳＴＯＰ”の入力ポート２１０３への入力となっているので、この信号名（Ｓ１００，ＰＭＰ−１，ＳＴＯＰ  ＣＭＤ）を図３０に示す“Ｓｔｅｐ１”のコマンド信号のリストＣＭＤ（１）に追加する。この場合、３つの信号はＡＮＤ条件となっているので、３つのコマンド信号をリストに追加する。なお、図２１に示すシートＳ６００に関連するシート群は、シートＳ２１０，Ｓ８００，Ｓ１００がある。シートＳ２１０（図示せず）は、他の制御を記載している部分であり、説明を省略する。
【００７１】
“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート２０３３からは、下流側に信号をたどる。“Ｓｔｅｐ１”のＳｔｅｐマクロでは、シートＳ６００からの信号と、シートＳ８００からの信号のＡＮＤ条件（図ではＡと表記）が“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート２０３３の入力信号となっている。シートＳ６００の信号（Ｓ６００，ＰＭＰ−１，ＳＴＯＰＰＥＤ）は、図２１に示すＰＭＰ−１の制御動作を示すマクロの入出力信号を記載したシートからの入力となっており、これを下流側にたどると、ＰＭＰ−１の“ＲＵＮＮＩＮＧ”の出力ポート２１０６からの信号の否定（白丸は否定を表す）とつながっている。このような場合は、否定記号は無視して否定信号とつながっている信号名を終端信号として、図３０に示す終端条件リストＳＩＧ（１）に追加する。
【００７２】
“Ｓｔｅｐ２”のＳｔｅｐマクロに示す条件信号のような場合、“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート２０４３に接続している信号をたどると、ＯＲ記号が現れる。終了条件のリストＳＩＧ（Ｘ）は、ＡＮＤ条件であることを前提としているため、このような場合、ＯＲとＡＮＤの入れ子にして、末端信号の論理式としてリストＳＩＧ（Ｘ）に追加する。
【００７３】
図３０に示す経過データ３０００は、このように生成された各ステップのリストＣＭＤ（Ｘ）、リストＳＩＧ（Ｘ）に格納された末端信号のリストを記載したものである。ただし、この表には、ＧＣマクロの終了条件信号をＳＴＥＰマクロと同様の方法で、“ＣＯＭＰＬＥＴＥ  ＣＯＮＤＩＴＩＯＮ”の入力ポート２０２３から抽出したものも先頭のステップ“０”の行に追記している。
【００７４】
図３１は、図１９の処理で得られた経過データである。経過データ３１００には、ステップ番号（Ｓｔｅｐ：Ｘ）と、リストＳ（Ｘ）とが含まれる。経過データ３１００には、信号条件をチェックし、該当するマクロに対するプラントモデル定義のための制御命令信号とセンサ信号の候補を絞り込むために、各ＳＴＥＰの終了後の状態をリストＳ（Ｘ）として格納している。
【００７５】
この際、末端信号が、図２８に示すようにＡＮＤ条件と、場合によってはコンパレータ記号（例えば、＜１００の例では、入力信号が１００未満の値なら信号値を１とする。）を介して、ＡＮＤ、または、ＯＲ条件で一様に接続している場合がある。このような場合、ＡＮＤ条件でひとまとめにした信号名である（Ｓ１００，Ｔ−１，Ｌｅｖｅｌ  ＬＯＷ）を末端信号と見なして、リストＳＩＧ（Ｘ）に加える。これは、図１０に示したＧＵＩのプラント定性モデル設定画面において、ユーザが、プラントのモデルを定義する時に信号が多くなりすぎて、煩雑になることを防ぐためである。場合によっては、ＣＭＤ信号は、各ステップＸの信号条件から実行されないものもある。
【００７６】
図３２は、図１９の処理で得られた経過データである。経過データ３２００には、ステップ番号（Ｓｔｅｐ：Ｘ）と、リストＡ−ＣＭＤ（Ｘ）とが含まれる。経過データ３２００には、各ステップの終了後、つまり、次のステップの開始時における条件信号を前提としたとき、いくつかのＣＭＤ信号は、実際には、制御マクロのポートの信号として発生しないものがある。図３０のＣＭＤ（Ｘ）のうち、ＣＭＤ（１）のリスト中にある（Ｓ−１００，ＰＭＰ−３，ＳＴＡＲＴ  ＣＭＤ）は、Ｓｔｅｐ（１）の終了状態では、（Ｓ−１００，Ｔ−２，Ｌｅｖｅｌ  ＨＩＧＨ）がなりたっているため、図２３のシートＳ６０２中の“ＳＴＡＲＴ”の入力ポート２３０２において、“ＡＮＤ”条件（Ｓ−８００，Ｔ−２，Ｌｅｖｅｌ  ＬＯＷ）と矛盾するため無効なＣＭＤ信号となり削除される。
【００７７】
矛盾することの判定は、シートＳ８００（図２８参照）のそれぞれの信号の発生条件のＡＮＤをとれば、既存の定理証明計算手法によって矛盾が導出されるため判断できる。あるいは、計算の節約のため、あらかじめ同じ機器名称に対する“Ｌｅｖｅｌ  ＨＩＧＨ”と“Ｌｅｖｅｌ  ＬＯＷ”は矛盾するというルールを計算処理に組み込んでおくことも可能である。このようにして、無用なＣＭＤ信号を除外することができる。
【００７８】
図３３は、生成されたＧＵＩのプラント定性モデル設定画面を示す図である。図３３に示す画面３３００は、図３１の経過データ３１００と図３２の経過データ３２００とに基づいて作成されたものである。プラント定性モデル設定部１４２は、ＧＵＩ上で、ＩＢＤ上の制御命令信号とセンサ信号を関連づけ、出力制御部１４６を介してプラント定性モデル設定画面として画面３３００を表示する。
【００７９】
具体的には、制御命令信号（ＣＭＤ信号）とセンサ信号との組ができると、次に、２つの信号の組が同じ制御マクロの入出力の組になっていれば、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫの候補としてＧＵＩにデフォルト表示する。さらに、デフォルトで組み合わせされなかった信号のうち、プラント定性モデル設定部１４２は、時系列的にＣＭＤ信号のあと、状態信号が発生し、信号名の一致度が、例えば８０％を超すものを、ＥＶＥＮＴＵＡＬＹ−ＬＩＮＫの候補とし、マクロの入出力ポートの関係よりは、蓋然性が低いので、点線でＬＩＮＫを結んでデフォルトとして表示する。こうして、画面３３００に示すＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫの候補が表示され、プラントモデルの入力を省力化することができる。
【００８０】
図３３の例では、実線のものは制御マクロの入出力の関係がある。下から２番目のもの（Ｓ９００，ＷＡＲＮ，ＴＡＮＫ  ＳＵＰ）は、時系列の関係と、信号名の類似性からつないだもので、この例のように、警報をならすとユーザがスイッチを押すというような、想定しているユーザの動作も関連づけてタイムチャートを生成することができる。
【００８１】
また、一番下のものは、ＧＣの完了条件信号で適当な候補が自動的にはみつからなかったので、ＬＩＮＫの相手はブランクになっており、このような場合には、ユーザが編集機能をつかってＬＩＮＫづけをすることになる。
【００８２】
本実施形態のＩＢＤ作成支援装置１００によれば、記憶装置１３０（記憶部）には、インターロックブロック図として、信号名称で識別されるセンサ信号に係るブロック図、信号名称で識別されるユーザが入力するユーザインタフェース信号に係るブロック図が記憶されており、演算装置１４０（処理部）は、各ステップマクロの制御命令ポートに接続している信号経路を上流へたどる際に、センサ信号を取得し、各ステップマクロの終了条件ポートに接続している信号経路を下流へたどる際に、センサ信号およびユーザインタフェース信号を取得し、制御動作のなかで時間的な因果関係があって、取得したセンサ信号および取得したユーザインタフェース信号のなかで、信号名称が同一あるいは信号名称の所定の類似度がある場合に、その両信号が関連する関連信号であると判定して記憶部に記憶し（例えば、処理Ｓ１９０４）)、記憶された関連信号を、表示部に表示することができる。
【００８３】
また、記憶された関連信号を、表示部に表示する際に、上流側の制御命令信号の制御命令の名称と、下流側の末端信号の機器の動作状態名称とを、その間をリンク線（例えば、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫ）で結合して表示することができる。なお、関連信号として生成されない場合、すなわち、上流側の制御命令信号と下流側の末端信号との対が生成されない場合、上流側の制御命令信号の制御命令の名称、または、下流側の末端信号の機器の動作状態名称を、表示することが好ましい。ユーザは、対が生成されないことにより、ＩＢＤの不具合を容易に知ることができる。
【００８４】
図１３は、状態遷移表の例を示す図である。図１３は、図２のタイムチャート生成処理の処理Ｓ１１０４において、生成される状態遷移表３００である。状態遷移表３００は、対象とするＧＣマクロとＳＴＥＰマクロに対してポートの直接、間接に接続している機器の状態と制御命令信号を抽出してレコードを生成する。状態遷移表３００は、機器名称３０１、初期状態３０２、イベント（ＥＶＥＮＴ）３０３、遷移状態３０４、遷移条件３０５を含んで構成される。
【００８５】
このとき、初期状態３０２は、ＧＣマクロにおける“ＳＴＡＲＴ”の入力ポートにつながった信号条件によるものと、各ＳＴＥＰマクロが順次実行する際、最初のコマンドによってＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫで状態が変更になる場合、変更後の状態でないものを適当に選択して初期状態とする。また、状態遷移表３００には、図１１の信号線接続情報の信号のみならず、図１０、図１２で生成されＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫも状態遷移表３００に反映させる。また、遷移条件３０５には、トリガとなる信号と発生する信号の間のパスにタイマ回路などが存在し時間遅れがある場合にはＤ（Ｔ）として、遅れ時間Ｔを記載する。パス中のタイマ回路を抽出する機能は、パス解析の従来技術で容易に実現可能である。
【００８６】
図１４は、機器パターン生成の処理を示すフローチャートである。図１４は、状態遷移表３００を用いて、図２の処理Ｓ１１０５において、機器パターンデータ３１０（図１５参照）を生成するアルゴリズムを示したものである。
【００８７】
機器パターン生成部１４４（図１参照）は、ＧＣマクロを出発点とし、処理中のＳＴＥＰマクロの番号をＳｔｅｐ（ＧＣマクロに対しては０を割り当てる）とし、イベント固有の番号をＥとして記載する。実際にイベントが発生するかどうかは、状態遷移表中の発生条件をイベント発生時のプラント状態と比較して確認し、発生条件にない場合は発生条件をペンディングデータとしてＷＯＲＫＩＮＧメモリに残し、イベントが発生するごとに、イベントが発生するかどうかチェックし、それまでの時間経過も記憶する。また、ステップマクロの起動自体も、機器の状態遷移と同様のイベントとして同様の処理をおこなう。ただし、ステップマクロの起動イベントに対しては、イベント番号はステップ番号−０（図１５参照）をつける。
【００８８】
図１４の処理を詳細に説明すると、機器パターン生成部１４４は、Ｓｔｅｐ＝０、Ｅ＝０として設定する（処理Ｓ１１５１）。ＧＣマクロのＳＴＡＲＴＥＤリンク（“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポートに接続されるリンク）をたどり、命令信号を機器パターン記憶部１３５（図１参照）に格納する。機器パターン生成部１４４は、命令信号による対象機器の状態遷移は、状態遷移表３００に記載されているか否かを判定し（処理Ｓ１１５２）、記載されている場合（処理Ｓ１１５２，Ｙｅｓ）、処理Ｓ１１５３に進み、記載されていない場合（処理Ｓ１１５２，Ｎｏ）、処理Ｓ１１５５に進む。機器パターン生成部１４４は、処理Ｓ１１５３において、遷移条件が満たされているか否かを判定し、満たされている場合（処理Ｓ１１５３，Ｙｅｓ）、遷移を、Ｓｔｅｐ＝ｋのイベントＥ＝Ｅ＋１として登録し（処理Ｓ１１５４）、処理Ｓ１１５５に進み、満たされていない場合（処理Ｓ１１５３，Ｎｏ）、処理Ｓ１１５５に進む。
【００８９】
機器パターン生成部１４４は、処理Ｓ１１５５において、ＧＣから“ＧＣ＿ＳＴＡＲＴＥＤ”の出力ポートに接続しているステップマクロを抽出、ステップマクロの番号をＸとするとき、Ｓｔｅｐ＝Ｘに設定する。そして、ステップマクロの“ＣＯＭＭＡＮＤ”の出力ポートに接続している信号から命令信号リストＬ（Ｓｔｅｐ）を抽出する（処理Ｓ１１５６）。次に、Ｌ（Ｓｔｅｐ）の状態遷移に記載されている遷移があれば、遷移をＳｔｅｐ＝ｋのイベントＥ＝Ｅ＋１として順次登録する（処理Ｓ１１５７）。
【００９０】
機器パターン生成部１４４は、ステップマクロの“ＣＯＭＰＬＥＴＥＤ”の出力ポートと接続しているステップマクロがあるか否かを判定し（処理Ｓ１１５８）、ステップマクロがある場合（処理Ｓ１１５８，Ｙｅｓ）、Ｓｔｅｐ＝接続しているマクロ名の番号に設定し（処理Ｓ１１５９）、処理Ｓ１１５６に戻る。ステップマクロがない場合（処理Ｓ１１５８，Ｎｏ）、処理を終了する。
【００９１】
図１５は、機器パターンデータの例を示す図である。機器パターンデータ３１０は、機器パターン記憶部１３５（図１参照）に記憶されている。機器パターンデータ３１０は、ステップ番号（ＳＴＥＰ）、イベントＩＤ、イベント名、時間遅れなどを含んでいる。具体的に説明すると、ステップ番号が１、イベントＩＤが１−０の場合、ＳＴＥＰ  ＭＡＣＲＯ１起動のイベントがあることがわかる。また、イベントＩＤが１−０であるので、ステップマクロの起動イベントであることを示している。
【００９２】
前述した図９に示すタイムチャートの生成について、適宜図１３および図１５を参照して説明する。タイムチャート生成部１４５（図１参照）は、状態遷移表３００（図１３参照）、機器パターンデータ３１０（図１５参照）などに基づき、タイムチャートを作成する。タイムチャートは、基本的に、縦軸に、機器名称を、横軸にステップマクロのステップ番号を配置し、表形式で作成する。
【００９３】
具体的には、機器名称がＰＭＰ−１の場合、状態遷移表３００から、初期状態は運転されている状態であって、ＰＭＰ−１を止めるイベントが発生すると、状態遷移として停止されることがわかる。また、機器パターンデータ３１０からイベントが発生するのはステップ番号が１である。これらの情報を用いて、タイムチャートを作成する。事象名などの日本語表記の部分は、あとから人手で入力するか、あらかじめ状態遷移に対して日本語名をわりあてておくとよい。また、“Ｓｔｅｐ  Ｍａｃｒｏ  Ｄｕｒａｔｉｏｎ”は、図８Ａ、図８Ｂで示したＳＴＥＰマクロのリセット時間である１００ｓ、５０ｓ、５０ｓ、１５０ｓに対応している。
【００９４】
ユーザは、タイムチャートを見てＩＢＤの妥当性を確認し、必要なら再度チェックする。なお、本方式によれば、正常な動作において定義されたＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫを、図１０または図３３のＧＵＩ上で削除・編集することにより、設計したＩＢＤの機器やプラントの異常発生時の振る舞いをタイムチャート上で確認することができる。
【００９５】
図３４は、異常モデルの設定をする画面例を示す図である。図３５は、異常モデル設定機能の結果の画面例を示す図である。画面３４００には、ＧＵＩより、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫをランダムに削除する指定をするＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫランダム削除の項目、機器異常を発生させる機器異常設定の項目、センサの種類を指定させて異常を発生させるセンサ異常設定の項目がある。
【００９６】
ユーザは、図３４の削除および設定の項目を選択したのち、再度、プラント定性モデル設定部１４２が生成されたＧＵＩのプラント定性モデル設定画面を表示すると、図３５のように表示される。図３５に示す画面３５００によって、異常を発生させたＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫを×印によって確認することにより、制御仕様の頑健性を確認することができる。
【００９７】
具体的には、図３４の画面３４００を介して、ポンプＰＭＰ−２に機器異常（例えば、機器が起動しない）の設定をすると、図２０Ｂに示すステップマクロのＳｔｅｐ４において、制御命令信号である“ＳＴＡＲＴ  ＣＭＤ”を出力しても、機器の状態は“ＳＴＡＲＴＥＤ”にならないため、演算装置１４０は、異常が発生していると判定する。そして、図３５に示す画面３５００において、（Ｓ１００，ＰＭＰ−２，ＳＴＡＲＴ  ＣＭＤ”）の制御命令信号と、（Ｓ１００，ＰＭＰ−２，ＳＴＡＲＴＥＤ）のセンサ信号との関連性に異常があるとして、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫに×印が設定されている。一方、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫに×印が設定されない場合、何らかのＩＢＤロジックが正常にできていない可能性がある。これにより、異常設定と、ＥＶＥＮＴＵＡＬＬＹ−ＬＩＮＫとの関係が正常であるか否かを、ユーザは判断することができる。
【００９８】
＜実施形態２＞
図１６は、実施形態２に係るＩＢＤ作成支援装置の構成を示す図である。実施形態２では、実施形態１に加えて、実施形態１で生成されたタイムチャートの情報をもとに、系統図とのデータの連動により、タイムステップごとの状態のチェックを系統図上でチェックする例を示す。図１６に示す構成には、実施形態１に加えて、演算装置１４０に、系統状態表示制御部１４７を、記憶装置１３０に系統図記憶部１３６が含まれる。例えば、特開２００８−１２９９１３号公報に記載された方法により、実施形態１で生成されたタイムチャートの情報を系統状態表示制御部１４７により処理して、系統図記憶部１３６に反映させることができる。具体的には、図１７を参照して説明する。
【００９９】
図１７は、実施形態２に係る系統図の表示例を示す図である。図３に示す系統図では、各タイムステップでの状態がわからない。しかしながら、図１７に示すように、各タイムステップにおける系統の状態を、弁の開閉状態を弁の部分の塗りつぶしで示し、系統に媒体が流れる部分を太くすることにより、順次、系統の状態を見ながらＧＣの進捗による動作を確認することができる。図１７に示す例では、バルブＶＢ−２，ＶＡ−２が開いており、ポンプＰＭＰ−２が運転中であることがわかる。
【０１００】
本実施形態は、プラントなどの制御の上流仕様であるＩＢＤに対して、できるだけ余分なドキュメントを作成することなく、プラントの設計者が想定したとおりの動作が“プラントが想定した通常の挙動”を示した場合に実行されるかどうかを検証する方法を提供することができる。
【０１０１】
また、ＩＢＤによって実装されたロジックが制御対象となるプラントで実装されたときに、設計者が想定したとおりの一連の動作を実現するかどうかを確認することができる。また、プラントが想定外の動作を実施した場合に、どのような事象が発生するかを模擬することにより、設計の頑健性を確認することができる。
【０１０２】
本実施形態のＩＢＤ作成支援装置は、機器の制御命令信号と、センサ信号の発生の時系列的、物理的因果関係の定義を、図形的にＧＵＩによって支援することができる。また、本実施形態のＩＢＤ作成支援装置は、信号名称をもとに、機器の制御命令信号とセンサ信号の発生の時系列的、物理的因果関係を類推して図形的にＧＵＩによって提示し、その設定を支援することができる。
【符号の説明】
【０１０３】
１００    ＩＢＤ作成支援装置
１０１    入出力装置（入力部および表示部）
１１０    入出力インタフェース
１３０    記憶装置（記憶部）
１３１    ＩＢＤデータ記憶部
１３２    プラント定性モデル記憶部
１３３    状態遷移表記憶部
１３４    タイムチャートデータ記憶部
１３５    機器パターン記憶部
１３６    系統図記憶部
１４０    演算装置（処理部）
１４１    入力制御部
１４２    プラント定性モデル設定部
１４３    状態遷移表生成部
１４４    機器パターン生成部
１４５    タイムチャート生成部
１４６    出力制御部
１４７    系統状態表示制御部
２００    ＩＢＤデータ表
３００    状態遷移表
３１０    機器パターンデータ
４０１，４０２，４０３    入力ポート
４０４，４０５，４０６    出力ポート
３０００，３１００，３２００    経過データ
３３００，３４００，３５００    画面
【図１】
2014096092.tif 000003
【図２】
2014096092.tif 000004
【図３】
2014096092.tif 000005
【図４】
2014096092.tif 000006
【図５】
2014096092.tif 000007
【図６】
2014096092.tif 000008
【図７】
2014096092.tif 000009
【図８Ａ】
2014096092.tif 000010
【図８Ｂ】
2014096092.tif 000011
【図９】
2014096092.tif 000012
【図１０】
2014096092.tif 000013
【図１１】
2014096092.tif 000014
【図１２】
2014096092.tif 000015
【図１３】
2014096092.tif 000016
【図１４】
2014096092.tif 000017
【図１５】
2014096092.tif 000018
【図１６】
2014096092.tif 000019
【図１７】
2014096092.tif 000020
【図１８】
2014096092.tif 000021
【図１９】
2014096092.tif 000022
【図２０Ａ】
2014096092.tif 000023
【図２０Ｂ】
2014096092.tif 000024
【図２１】
2014096092.tif 000025
【図２２】
2014096092.tif 000026
【図２３】
2014096092.tif 000027
【図２４】
2014096092.tif 000028
【図２５】
2014096092.tif 000029
【図２６】
2014096092.tif 000030
【図２７】
2014096092.tif 000031
【図２８】
2014096092.tif 000032
【図２９】
2014096092.tif 000033
【図３０】
2014096092.tif 000034
【図３１】
2014096092.tif 000035
【図３２】
2014096092.tif 000036
【図３３】
2014096092.tif 000037
【図３４】
2014096092.tif 000038
【図３５】
2014096092.tif 000039