JP5853280B2 - ロジック変換装置、ロジック変換方法及びプログラム - Google Patents

Description

本発明は、実機プラントに用いられるハードウェアロジック図を、プラントシミュレータに用いられるソフトウェアロジック図へ変換する場合に適用されるロジック変換装置、ロジック変換方法及びプログラムに関する。

従来、原子力発電プラント等の作業に従事する運転員の技能訓練を行うために実機プラントの動作をプログラムの動作で模擬するプラントシミュレータが用いられている。通常、実機プラントの規模は巨大であり、実機プラントの動作を制御するためには、中央制御室に設けられた大型表示盤及び各種の操作パネルを運転員が確認する必要がある。しかし、運転員が技能訓練を行うために実機プラントを動作させることは現実的でない。このため、プラントシミュレータを用いた訓練が行われる。運転員はプラントシミュレータによって構築された仮想プラントに対して動作を指示すると、運転員が実機プラントに直接触れることなく実機プラントと同様の動作を確認することが可能となる。このように、プラントシミュレータの内部で動作する仮想プラントを用いて技能訓練を行うことが一般的であった。

従来のプラントシミュレータでは、実機プラントに指示を与えた際において、時間要素を含む実機プラントの特性を示す「プラント動特性」と、実機プラントに対する制御を示す「プラント制御」をソフトウェアで模擬することにより、実機プラントの挙動を模擬する仮想プラントとして実現していた。ここで、プラントシミュレータがプラント動特性を模擬するためには、物理演算モデルを実装したプラントモデルを作成し、蒸気の流量、温度、圧力等のプロセス値を演算して求めていた。

プラントシミュレータがプラント制御を模擬するためには、対象となる実機プラントのソフトウェアロジックとハードウェアロジックをプラントシミュレータに実装する必要がある。ソフトウェアロジックに関しては、元々実機プラントにソフトウェアでロジックが実装されている。このため、シミュレーション技術、エミュレーション技術、スティミュレーション技術等を用いることにより、プラントシミュレータに実機プラントの動作を模擬するソフトウェアを実装することが可能であった。ハードウェアロジックに関しては、ハードウェアで組んだロジックをプラントシミュレータ用のソフトウェアロジックに変換してプラントシミュレータに実装する必要がある。このため、ハードウェアロジック図をソフトウェアロジック図に変換することにより、プラントシミュレータに実機プラントの動作を模擬するソフトウェアを実装することが可能であった。

特許文献１には、図形データを図形データベースに変換した上で、図形データベースをコーディングフォームへ変換する技術が開示されている。

特開昭６４−８６２０４号公報

しかし、ハードウェアロジックには、リレーシーケンス等で組まれる標準ロジック処理の他に、スイッチやバルブ等といった、複雑な処理を行うものがある。これらのハードウェアロジックをソフトウェアロジックに変換する際は、障害時又は故障時の動作等を再現するような独自の動作をする回路図をシミュレータ設計者が手動で作成し、プログラム言語の変換等を行いながらソフトウェアロジックに実装する必要があった。

これまではシミュレータ設計者がＣＡＤ（Computer Aided Design）ソフトウェア等によって作成されたハードウェアロジック図を読み込んで内容を解析した後、ハードウェアの動きを理解した上で、ソフトウェアロジックに変換して書き起こしていたため、非常に手間がかかっていた。また、ハードウェアロジック図をソフトウェアロジック図に変換する際には、人手を介さなければソフトウェアロジックに表れないものの実機プラントでは起こりうる独自の障害が発生するようなマルファンクションと呼ばれる回路や現象をソフトウェアロジックに組み込めなかった。

本発明はこのような状況に鑑みて成されたものであり、ハードウェアロジック図をソフトウェアロジック図に変換する際に、ハードウェアロジック図から人手を介して読み取っていた情報をソフトウェアロジック図に自動的に反映することを目的とする。

本発明は、始めに、実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースからハードウェアロジック図を読み出し、ハードウェアロジック図よりハードウェアの論理を抽出したハードウェアロジック情報を抽出する。
次に、ハードウェアを構成する素子の定型動作を含む素子に関する情報、及び素子がハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースから素子に関する情報及び定形外の動作の情報を抽出し、素子に関する情報及び定形外の動作の情報に基づいて、ハードウェアの論理を解析する。
次に、ハードウェアの論理を、実機プラントの動作を模擬する仮想プラントに搭載され、仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図に素子に関する情報及び定形外の動作の情報を反映して変換する。
そして、ソフトウェアロジック図をソフトウェアロジックデータベースに書き込むものである。

本発明によれば、ハードウェアロジック図からソフトウェアロジック図への変換処理を自動化することにより、素子に関する情報及び定形外の動作の情報を反映したソフトウェアロジック図をシミュレータ設計者が作成する手間を減らして、変換時の作業効率を上げることができる。

本発明の一実施の形態におけるロジック変換装置の構成例を示すブロック図である。 本発明の一実施の形態におけるロジック変換装置の処理例を示すフローチャートである。 本発明の一実施の形態におけるハードウェアロジック図の例を示す説明図である。 本発明の一実施の形態におけるロジック結線情報ファイルの例を示す説明図である。 本発明の一実施の形態における論理情報ファイルの例を示す説明図である。 本発明の一実施の形態におけるソフトウェアロジック図の例を示す説明図である。 本発明の一実施の形態におけるハードウェアロジック図の例を示す説明図である。 本発明の一実施の形態における対応表の例を示す説明図である。 本発明の一実施の形態における素子データベースにおける切替えスイッチの属性データ表を示す説明図である。 本発明の一実施の形態における切替えスイッチの論理情報の例を示す説明図である。 本発明の一実施の形態における切替えスイッチを変換したソフトウェアロジック図の例を示す説明図である。

以下、本発明の一実施の形態（以下、「本例」という。）について、図１〜図１１を参照して説明する。本実施の形態では、例えば、原子力発電プラント等の実機プラントに用いられるハードウェアロジック図を、仮想プラントを制御するプラントシミュレータに用いられるソフトウェアロジック図に変換するロジック変換装置１０に適用した例について説明する。
このロジック変換装置１０は、コンピュータプログラムを実行することにより、内部ブロックが連携して行うロジック変換方法を実現する。始めに、ロジック変換装置１０の概念的な構成例を説明する。

図１は、ロジック変換装置１０の内部構成例を示す。
ロジック変換装置１０は、実機プラントに搭載されるハードウェアのハードウェアロジック図１ａ（後述する図３を参照）を格納するハードウェアロジックデータベース１と、ハードウェアロジックデータベース１から読み出したハードウェアロジック図１ａのハードウェアロジック情報を抽出して、ハードウェアロジックの論理情報を解析する解析部１１を備える。また、ロジック変換装置１０は、解析部１１が解析した論理情報に基づいてハードウェアロジック図１ａをソフトウェアロジック図９ａ（後述する図６を参照）に変換する変換部１２と、ソフトウェアロジック図９ａを格納するソフトウェアロジックデータベース９を備える。ソフトウェアロジック図９ａは、実機プラントの動作を模擬する仮想プラントに搭載され、仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるものである。

また、ロジック変換装置１０は、ハードウェアロジック図１ａに書かれる素子に関する情報、及び素子がハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベース６を備える。ここで、「定形の動作」には、ハードウェアロジック図１ａに元々書かれているような素子毎のハードウェアロジックによる動作が含まれる。「定形外の動作」には、ハードウェアロジックの論理とは異なる動作として、素子の物理動作が表現される。本例では、このような物理動作を、例えばハードウェアの電源を遮断する動作としている。

解析部１１は、ハードウェアロジックデータベース１から読み出したハードウェアロジック図１ａのハードウェアロジック情報を抽出するロジック情報抽出部２と、ハードウェアロジック情報から各素子の論理を解析する論理解析部４を備える。
変換部１２は、素子データベース６から読み出した素子情報と、論理解析部４から受け取った論理情報に基づいて不図示の中間ファイルを生成する中間ファイル生成部７と、この中間ファイルから読み出したハードウェアロジックの論理情報をソフトウェアロジック図９ａに変換するロジック変換部８を備える。

次に、各部の動作を説明する。
始めに、解析部１１は、ハードウェアロジックデータベース１から読み出したハードウェアロジック図１ａよりハードウェアの論理を抽出したハードウェアロジック情報、素子データベース６から抽出する素子に関する情報及び定形外の動作の情報に基づいて、ハードウェアの論理を解析する。
そして、変換部１２は、ハードウェアの論理を、素子に関する情報及び定形外の動作の情報が反映されるソフトウェアロジック図に変換して、ソフトウェアロジック図をソフトウェアロジックデータベースに書き込む。

次に、解析部１１及び変換部１２の詳細な動作を説明する。
ロジック情報抽出部２は、ハードウェアロジック図１ａからハードウェアロジック情報を抽出して、互いに結線される複数の素子の結線情報をロジック結線情報ファイル３に書き出す。このロジック結線情報ファイル３は、論理解析部４に読み込まれる。
そして、論理解析部４は、ロジック情報抽出部２から受け取るハードウェアロジック情報、及びハードウェアロジック図に記載される素子の情報を格納する素子データベース６より読み出した素子の情報に基づいて、ロジック結線情報ファイル３から読み込んでハードウェアロジックを解析した論理情報を論理情報ファイル５に書き出す。

論理情報ファイル５は、中間ファイル生成部７に読み込まれる。中間ファイル生成部７は、論理解析部４の処理に合わせて、論理情報ファイル５から論理情報を読み出してソフトウェアロジック図のフォーマットに合わせた中間ファイルを生成する。ロジック変換部８は、この中間ファイルから読み出した論理情報をソフトウェアロジック図９ａに変換し、このソフトウェアロジック図９ａをソフトウェアロジックデータベース９に書き込む。

次に、ロジック変換装置１０の処理例を示しつつ、各種のファイル、ロジック図の内容について、図２〜図６を参照して説明する。

図２は、ロジック変換装置１０の処理例を示す。
始めに、ロジック情報抽出部２は、ハードウェアロジックデータベース１からハードウェアロジック図１ａを読み出し（ステップＳ１）、ハードウェアロジック図１ａからハードウェアロジック情報を抽出する（ステップＳ２）。

図３は、ハードウェアロジック図１ａの例を示す。
ハードウェアロジック図１ａには、直列接続されたスイッチＳＷ１，ＳＷ２及びコイルＣ１と、並列接続されたスイッチＳＷ３，ＳＷ４と、スイッチＳＷ３，ＳＷ４に直列接続されたコイルＣ２とが記載されている。スイッチＳＷ１，ＳＷ３，ＳＷ４は、２４Ｖの直流である正電源線に接続され、コイルＣ１，Ｃ２は、負電源線に接続されている。なお、スイッチＳＷ１〜ＳＷ４は常時開接点（Ａ接点）であり、コイルＣ１，Ｃ２は出力リレーに用いられるリレーコイルである。ハードウェアロジック図１ａに記載された各素子の近くには素子の位置を示す属性情報Ａ〜Ｅが記されている。

図２の説明に戻ると、ロジック情報抽出部２は、ハードウェアロジック図１ａからハードウェアロジックの素子毎の結線情報を抽出する（ステップＳ３）。そして、素子毎の結線情報をロジック結線情報ファイル３に書き出す。

図４は、ロジック結線情報ファイル３の例を示す。
論理解析部４が読み出すロジック結線情報ファイル３には、シリアルナンバーと、番号毎にハードウェアロジックの発着点の名称が記載されている。ここで、図３を参照すると、例えば、スイッチＳＷ１，ＳＷ２の結線は、発点を”Ａ”、着点を”Ｂ”とすることが示され、スイッチＳＷ２とコイルＣ１の結線は、発点を”Ｂ”、着点を”Ｄ”とすることが示される。このように、ロジック結線情報ファイル３には、各素子の間を結ぶ結線の情報が記載されており、この情報には素子の論理が記載されていない。

図２の説明に戻ると、論理解析部４は、素子データベース６から素子の情報及び定形外動作の情報を抽出する。そして、素子の情報及び定形外動作の情報、並びにロジック結線情報ファイル３から読み出したロジック結線情報に基づいてハードウェアロジックの論理情報を解析し、この解析結果を論理情報ファイル５に書き出す（ステップＳ４）。

図５は、論理情報ファイル５の例を示す。
ハードウェアロジック図１ａから作られ、中間ファイル生成部７が読み出す論理情報ファイル５には、シリアルナンバーと、番号毎にロジックの入出力の名称、及び属性が記載されている。図５中に記載した、「素子」とは、図３におけるスイッチ等の各素子の並びと素子間の論理を表現したものである。ロジックの「取り合い」とは、ハードウェアロジック図１ａに示される各素子の入力又は出力に対応する属性を表す。論理情報ファイル５の内容は、図４に示したロジック結線情報ファイル３の内容とほぼ同じであるが、各素子における論理情報（ＡＮＤ条件、ＯＲ条件）等が記入されている点が異なる。また、図中に示される「ＷＯ（ワイプアウト：Wipe Out）」とは、２４Ｖ電源が強制的に切断されるポイントを表す。

また、「パス」とは、２つの素子間における経路を発着点の記号とともに表したパラメータである。例えば、１番目のレコードに記された、発点「Ａ１」、着点「ＡＮＤ１」とは、ハードウェアロジック図１ａにおけるスイッチＳＷ１，ＳＷ２の間の配線を表している。また、上述した素子と「ＷＯ（ワイプアウト）」への結線情報は、図５中の「素子」と「パス」に記載される。このように、論理情報ファイル５には、「素子」と「パス」の情報が記載されることにより、定形外の動作が表現される。

図２の説明に戻ると、中間ファイル生成部７は中間ファイルを生成し（ステップＳ５）、ロジック変換部８は、中間ファイルに基づいてハードウェアロジック情報をソフトウェアロジック図９ａに変換する（ステップＳ６）。その後、ロジック変換部８は、ソフトウェアロジックデータベース９にソフトウェアロジック図９ａを書き込んで処理を終了する（ステップＳ７）。

図６は、ソフトウェアロジック図９ａの例を示す。
ハードウェアロジック図１ａを変換したソフトウェアロジック図９ａでは、図３〜図５に示した素子毎の属性が論理的に表される。例えば、図３においてスイッチＳＷ１，ＳＷ２は直列接続されるため、スイッチＳＷ１，ＳＷ２に対応する属性Ａ，Ｂは、ＡＮＤ条件を表す四角形のＡＮＤ記号に入力し、このＡＮＤ記号の出力がコイルＣ１に対応する属性Ｄに入力することが示される。ここで、直流電源が断たれるような事態は「Wipe Out」として表現されるため、ＡＮＤ記号と属性Ｄの間に設けられた「ＷＯ」の箇所に影響することが分かる。

ところで、図３に示すハードウェアロジック図１ａから抽出されるハードウェアロジックは、リレーシーケンスからなる標準ロジックによって構成される。従来のプラントシミュレータでは、定形外の動作をソフトウェアロジックに反映するためには、シミュレータ設計者の入力作業を求める独自の機能を必要としていた。しかし、ロジック変換装置１０は、従来のプラントシミュレータが必要としていた独自の機能を有することなく、素子データベース６から素子の情報及び定形外の動作の情報を取得している。このため、ハードウェアロジック図１ａから抽出したハードウェアロジック情報に素子の情報及び定形外の動作の情報を自動的に反映した上で、ハードウェアロジック図１ａをソフトウェアロジック図９ａに変換することが可能である。

このように図１〜図６を参照して、ハードウェアロジック図１ａをソフトウェアロジック図９ａに変換するための概念的な説明を行った。
次に、具体的にハードウェアの構成が記載されたハードウェアロジック図１ｂをソフトウェアロジック図９ｂに変換するまでの例を、図７〜図１１を参照して説明する。

図７は、ハードウェアロジック図１ｂの例を示す。なお、説明の都合により、図７は、図３のハードウェアロジック図１ａとは異なる形式でロジック図を記載している。
ハードウェアロジック図１ｂは、ＣＡＤ等により書き込まれており、図中には、切替えスイッチＳＷ５が表されている。切替えスイッチＳＷ５の近くには、切替えスイッチＳＷ５の製品番号が示される。そして、スイッチＳＷ５には、２４Ｖの直流電源線が接続される。

図８は、対応表６ａの例を示す。図８Ａは、対応表６ａの構成例を示し、図８Ｂは、切替えスイッチＳＷ５の動作例を示す。

図８Ａに示す対応表６ａは、切替えスイッチＳＷ５に付随して設けられており、素子データベース６に格納される。プラントシミュレータでは、切替えスイッチＳＷ５のように特殊な動作を有する素子に対してそれぞれの動作（対応表６ａに即する動き）を模擬する特殊な素子をソフトウェアロジック上で再現する。素子データベース６は、このような特殊な素子に関する情報、及び特殊な素子による定形外の動作の情報を各種のテーブルで定義している。そして、論理解析部４は、素子データベース６から対応表６ａを読み出して、切替えスイッチＳＷ５の各種の情報を取得する。

図８Ｂに示す切替えスイッチＳＷ５の動作例より、切替えスイッチＳＷ５の動作を指示する不図示のキーが通常状態の位置で差し込まれた後、運転員がキーを左に回転させると片系バイパス許可と呼ばれる特殊な操作が行われ、キーを右に回転させると片系バイパス許可と呼ばれる特殊な操作が行われることが示される。また、運転員がキーを通常状態に戻すと、スイッチＳＷ５からキーを引き抜いて、キーを持たない運転員による意図しない動作を防ぐことができる。なお、図中の「AA-BBB-1」とは、スイッチＳＷ５に一意に割り振られる器具ナンバーであり、「DD-1」とは、スイッチＳＷ５の形式を表す。これらの情報は、後述する図９に示す属性データ表６ｂによって特殊な操作の操作名称と共に定義されている。

図９は、素子データベース６における切替えスイッチＳＷ５の属性データ表６ｂである。
論理解析部４は、ハードウェアロジック図１ｂに記された器具ナンバーに基づいて属性データ表６ｂを検索し、形式に該当する切替えスイッチＳＷ５の属性データを属性データ表６ｂから取得する。上述したように素子データベース６は、それぞれの素子の形式毎に同一又は異なる論理情報を持つ。このため、論理解析部４は、切替えスイッチＳＷ５の形式に対応する論理情報を取得することができる。

本例では、上述したスイッチＳＷ５の属性が属性データ表６ｂに記されている。属性データ表６ｂには、スイッチＳＷ５の器具ナンバー「AA-BBB-1」、形式「DD-1」に加えて、図８Ｂに示した「片系バイパス許可」、「通常」、「両系バイパス許可」に対して、それぞれ操作名称２，４，６する操作を特定するための番号が割り振られている。

図１０は、切替えスイッチＳＷ５の論理情報６ｃである。
論理解析部４は、切替えスイッチＳＷ５の論理情報６ｃから必要な論理情報を取得する。これにより、ロジック変換部８は、後述するソフトウェアロジック図９ｂに記載するソフトウェアロジックを作成するために必要となる全ての論理情報を取得することが可能となる。

図１１は、切替えスイッチＳＷ５を変換したソフトウェアロジック図である。
オペレータが切替えスイッチＳＷ５に差し込まれたキーを片系バイパス許可に回すと、途中の「ＣＯＳ」として表される切替え部の第１入力を経て第１出力より、片系バイパス許可の信号が出力される。一方、オペレータがキーを両系バイパス許可に回すと、切替え部の第２入力を経て第２出力より、両系バイパス許可の信号が出力される。そして、通常時には、キーが回されることがないため、切替部には入力がなく、また、切替部の第３出力からは常に通常状態の信号が出力される。

素子データベース６は、切替えスイッチＳＷ５の他にも、各種のプラントシミュレータで必要となる機器や素子の論理情報を有している。このため、ロジック変換の際には、ハードウェアロジック図１ｂに記された素子や機器の動きに対応した回路をソフトウェアロジック図９ｂに組み込むことができる。

以上説明した一実施の形態に係るロジック変換装置１０によれば、ロジック変換装置１０で動作するソフトウェアプログラムを用いて、実機プラントに用いられるハードウェアロジック図１ａ，１ｂを、プラントシミュレータに用いられるソフトウェアロジック図１ｂ，９ｂに自動的に変換することができる。このとき、ハードウェアの動作に対応した論理情報を有する素子データベース６から抽出した素子に関する情報及び定形外の動作の情報を、ソフトウェアロジック図に自動的に反映することができる。プラントシミュレータ用のソフトウェアロジック独自の回路情報を取得し、ソフトウェアロジックに組み込むことが可能である。

また、ハードウェアロジック図からソフトウェアロジック図への変換が自動化される。このため、シミュレータ設計者がソフトウェアロジック図を作成する手間を減らして、ロジック変換時におけるシミュレータ設計者の作業負荷と作業時間を大幅に減らし、作業効率を上げることができる。また、シミュレータ設計者に起因するヒューマンエラーを減少することができる。

また、素子データベース６に素子に関する各種の情報を書き込むだけで、様々なハードウェアロジック図に記載される素子の情報を一括してソフトウェアロジック図に反映することができる。このため、素子の情報のメンテナンス性が高まり、論理が正しいソフトウェアロジック図を作成することができる。

なお、上述した実施の形態に係るロジック変換装置１０は、原子力発電プラント等の実機プラントに用いられるハードウェアロジック図をソフトウェアロジック図に変換する例を説明したが、その他の発電プラント、産業プラントに適用してもよい。

また、定形外の動作には、例えば積分処理等が含まれる。

また、上述した実施の形態例における一連の処理をソフトウェアにより実行させる場合には、そのソフトウェアを構成するプログラムが専用のハードウェアに組み込まれているコンピュータ、または、各種の機能を実行するためのプログラムをインストールしたコンピュータにより、実行可能である。例えば汎用のパーソナルコンピュータなどに所望のソフトウェアを構成するプログラムをインストールして実行させればよい。

また、上述した実施の形態の機能を実現するソフトウェアのプログラムコードを記録した記録媒体を、システムあるいは装置に供給してもよい。また、そのシステムあるいは装置のコンピュータ（またはＣＰＵ等の制御装置）が記録媒体に格納されたプログラムコードを読み出し実行することによっても、機能が実現されることは言うまでもない。

この場合のプログラムコードを供給するための記録媒体としては、例えば、フレキシブルディスク、ハードディスク、光ディスク、光磁気ディスク、ＣＤ−ＲＯＭ、ＣＤ−Ｒ、磁気テープ、不揮発性のメモリカード、ＲＯＭなどを用いることができる。

また、コンピュータが読み出したプログラムコードを実行することにより、上述した実施の形態の機能が実現される。加えて、そのプログラムコードの指示に基づき、コンピュータ上で稼動しているＯＳなどが実際の処理の一部又は全部を行う。その処理によって上述した実施の形態の機能が実現される場合も含まれる。

また、本発明は上述した実施の形態に限られるものではなく、特許請求の範囲に記載した本発明の要旨を逸脱しない限りその他種々の応用例、変形例を取り得ることは勿論である。

１…ハードウェアロジックデータベース、１ａ，１ｂ…ハードウェアロジック図、２…ロジック情報抽出部、３…ロジック結線情報ファイル、４…論理解析部、５…論理情報ファイル、６…素子データベース、６ａ…対応表、６ｂ…属性データ表、６ｃ…論理情報、７…中間ファイル生成部、８…ロジック変換部、９…ソフトウェアロジックデータベース、９ａ，９ｂ…ソフトウェアロジック図、１０…ロジック変換装置、１１…解析部、１２…変換部

Claims (6)

1. 実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースと、
   前記ハードウェアを構成する素子の定型動作を含む前記素子に関する情報、及び前記素子が前記ハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースと、
   前記実機プラントの動作を模擬する仮想プラントに搭載され、前記仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図を格納するソフトウェアロジックデータベースと、
   前記ハードウェアロジックデータベースから読み出した前記ハードウェアロジック図より前記ハードウェアの論理を抽出したハードウェアロジック情報、前記素子データベースから抽出する前記素子に関する情報及び前記定形外の動作の情報に基づいて、前記ハードウェアの論理を解析する解析部と、
   前記ハードウェアの論理を、前記素子に関する情報及び前記定形外の動作の情報が反映されるソフトウェアロジック図に変換して、前記ソフトウェアロジック図を前記ソフトウェアロジックデータベースに書き込む変換部と、を備えた
   ロジック変換装置。
2. 前記解析部は、
   前記ハードウェアロジック図からハードウェアロジック情報を抽出して、互いに結線される複数の前記素子の結線情報をロジック結線情報ファイルに書き出すロジック情報抽出部と、
   前記ロジック情報抽出部から受け取る前記ハードウェアロジック情報、及び前記素子データベースより読み出した前記素子に関する情報に基づいて、前記ロジック結線情報ファイルから読み込んでハードウェアロジックを解析した論理情報を論理情報ファイルに書き出す論理解析部と、を備え、
   前記変換部は、
   前記論理解析部の処理に合わせて、前記論理情報ファイルから前記論理情報を読み出して前記ソフトウェアロジック図のフォーマットに合わせた中間ファイルを生成する中間ファイル生成部と、
   前記中間ファイルから読み出した前記論理情報を前記ソフトウェアロジック図に変換するロジック変換部と、を備える
   請求項１記載のロジック変換装置。
3. 前記論理情報ファイルには、前記定型外の動作として前記素子の物理動作が前記素子毎のパスにより表される
   請求項２記載のロジック変換装置。
4. 前記定形外の動作の情報には、前記ハードウェアに対して供給される電源が断たれることを示す情報が含まれる
   請求項３記載のロジック変換装置。
5. 解析部及び変換部を備えるロジック変換装置が行うロジック変換方法であって、
   前記解析部が、実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースから前記ハードウェアロジック図を読み出すステップと、
   前記解析部が、前記ハードウェアロジック図より前記ハードウェアの論理を抽出したハードウェアロジック情報を抽出するステップと、
   前記解析部が、前記ハードウェアを構成する素子の定型動作を含む前記素子に関する情報、及び前記素子が前記ハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースから前記素子に関する情報及び前記定形外の動作の情報を抽出するステップと、
   前記解析部が、前記素子に関する情報及び前記定形外の動作の情報に基づいて、前記ハードウェアの論理を解析するステップと、
   前記変換部が、前記ハードウェアの論理を、前記実機プラントの動作を模擬する仮想プラントに搭載され、前記仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図に前記素子に関する情報及び前記定形外の動作の情報を反映して変換するステップと、
   前記変換部が、前記ソフトウェアロジック図をソフトウェアロジックデータベースに書き込むステップと、を含む
   ロジック変換方法。
6. 実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースから前記ハードウェアロジック図を読み出す手順、
   前記ハードウェアロジック図より前記ハードウェアの論理を抽出したハードウェアロジック情報を抽出する手順、
   前記ハードウェアを構成する素子の定型動作を含む前記素子に関する情報、及び前記素子が前記ハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースから前記素子に関する情報及び前記定形外の動作の情報を抽出する手順、
   前記素子に関する情報及び前記定形外の動作の情報に基づいて、前記ハードウェアの論理を解析する手順、
   前記ハードウェアの論理を、前記実機プラントの動作を模擬する仮想プラントに搭載され、前記仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図に前記素子に関する情報及び前記定形外の動作の情報を反映して変換する手順、
   前記ソフトウェアロジック図をソフトウェアロジックデータベースに書き込む手順を、
   コンピュータに実行させるプログラム。

Images