"実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースと、前記ハードウェアを構成する素子の定型動作を含む前記素子に関する情報、及び前記素子が前記ハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースと、前記実機プラントの動作を模擬する仮想プラントに搭載され、前記仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図を格納するソフトフェアロジックデータベースと、前記ハードウェアロジックデータベースから読み出した前記ハードウェアロジック図より前記ハードウェアの論理を抽出したハードウェアロジック情報、前記素子データベースから抽出する前記素子に関する情報及び前記定形外の動作の情報に基づいて、前記ハードウェアの論理を解析する解析部と、前記ハードウェアの論理を、前記素子に関する情報及び前記定形外の動作の情報が反映されるソフトフェアロジック図に変換して、前記ソフトフェアロジック図を前記ソフトフェアロジックデータベースに書き込む変換部と、を備えたロジック変換装置。前記解析部は、前記ハードウェアロジック図からハードウェアロジック情報を抽出して、互いに結線される複数の前記素子の結線情報をロジック結線情報ファイルに書き出すロジック情報抽出部と、前記ロジック情報抽出部から受け取る前記ハードウェアロジック情報、及び前記素子データベースより読み出した前記素子に関する情報に基づいて、前記ロジック結線情報ファイルから読み込んでハードウェアロジックを解析した論理情報を論理情報ファイルに書き出す論理解析部と、を備え、前記変換部は、前記論理解析部の処理に合わせて、前記論理情報ファイルから前記論理情報を読み出して前記ソフトフェアロジック図のフォーマットに合わせた中間ファイルを生成する中間ファイル生成部と、前記中間ファイルから読み出した前記論理情報を前記ソフトフェアロジック図に変換するロジック変換部と、を備える請求項1記載のロジック変換装置。前記論理情報ファイルには、前記定型外の動作として前記素子の物理動作が前記素子毎のパスにより表される請求項2記載のロジック変換装置。前記定形外の動作の情報には、前記ハードウェアに対して供給される電源が断たれることを示す情報が含まれる請求項3記載のロジック変換装置。実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースから前記ハードウェアロジック図を読み出すステップと、前記ハードウェアロジック図より前記ハードウェアの論理を抽出したハードウェアロジック情報を抽出するステップと、前記ハードウェアを構成する素子の定型動作を含む前記素子に関する情報、及び前記素子が前記ハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースから前記素子に関する情報及び前記定形外の動作の情報を抽出するステップと、前記素子に関する情報及び前記定形外の動作の情報に基づいて、前記ハードウェアの論理を解析するステップと、前記ハードウェアの論理を、前記実機プラントの動作を模擬する仮想プラントに搭載され、前記仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図に前記素子に関する情報及び前記定形外の動作の情報を反映して変換するステップと、前記ソフトウェアロジック図をソフトフェアロジックデータベースに書き込むステップと、を含むロジック変換方法。実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースから前記ハードウェアロジック図を読み出す手順、前記ハードウェアロジック図より前記ハードウェアの論理を抽出したハードウェアロジック情報を抽出する手順、前記ハードウェアを構成する素子の定型動作を含む前記素子に関する情報、及び前記素子が前記ハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースから前記素子に関する情報及び前記定形外の動作の情報を抽出する手順、前記素子に関する情報及び前記定形外の動作の情報に基づいて、前記ハードウェアの論理を解析する手順、前記ハードウェアの論理を、前記実機プラントの動作を模擬する仮想プラントに搭載され、前記仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図に前記素子に関する情報及び前記定形外の動作の情報を反映して変換する手順、前記ソフトウェアロジック図をソフトフェアロジックデータベースに書き込む手順を、コンピュータに実行させるプログラム。しかし、ハードウェアロジックには、リレーシーケンス等で組まれる標準ロジック処理の他に、スイッチやバルブ等といった、複雑な処理を行うものがある。これらのハードウェアロジックをソフトウェアロジックに変換する際は、障害時又は故障時の動作等を再現するような独自の動作をする回路図をシミュレータ設計者が手動で作成し、プログラム言語の変換等を行いながらソフトフェアロジックに実装する必要があった。これまではシミュレータ設計者がCADComputerAidedDesignソフトウェア等によって作成されたハードウェアロジック図を読み込んで内容を解析した後、ハードウェアの動きを理解した上で、ソフトウェアロジックに変換して書き起こしていたため、非常に手間がかかっていた。また、ハードウェアロジック図をソフトウェアロジック図に変換する際には、人手を介さなければソフトフェアロジックに表れないものの実機プラントでは起こりうる独自の障害が発生するようなマルファンクションと呼ばれる回路や現象をソフトフェアロジックに組み込めなかった。本発明はこのような状況に鑑みて成されたものであり、ハードウェアロジック図をソフトフェアロジック図に変換する際に、ハードウェアロジック図から人手を介して読み取っていた情報をソフトフェアロジック図に自動的に反映することを目的とする。本発明は、始めに、実機プラントに搭載されるハードウェアのハードウェアロジック図を格納するハードウェアロジックデータベースからハードウェアロジック図を読み出し、ハードウェアロジック図よりハードウェアの論理を抽出したハードウェアロジック情報を抽出する。次に、ハードウェアを構成する素子の定型動作を含む素子に関する情報、及び素子がハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベースから素子に関する情報及び定形外の動作の情報を抽出し、素子に関する情報及び定形外の動作の情報に基づいて、ハードウェアの論理を解析する。次に、ハードウェアの論理を、実機プラントの動作を模擬する仮想プラントに搭載され、仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるソフトウェアロジック図に素子に関する情報及び定形外の動作の情報を反映して変換する。そして、ソフトウェアロジック図をソフトフェアロジックデータベースに書き込むものである。本発明によれば、ハードウェアロジック図からソフトフェアロジック図への変換処理を自動化することにより、素子に関する情報及び定形外の動作の情報を反映したソフトフェアロジック図をシミュレータ設計者が作成する手間を減らして、変換時の作業効率を上げることができる。以下、本発明の一実施の形態以下、本例という。について、図1~図11を参照して説明する。本実施の形態では、例えば、原子力発電プラント等の実機プラントに用いられるハードウェアロジック図を、仮想プラントを制御するプラントシミュレータに用いられるソフトフェアロジック図に変換するロジック変換装置10に適用した例について説明する。このロジック変換装置10は、コンピュータプログラムを実行することにより、内部ブロックが連携して行うロジック変換方法を実現する。始めに、ロジック変換装置10の概念的な構成例を説明する。図1は、ロジック変換装置10の内部構成例を示す。ロジック変換装置10は、実機プラントに搭載されるハードウェアのハードウェアロジック図1a後述する図3を参照を格納するハードウェアロジックデータベース1と、ハードウェアロジックデータベース1から読み出したハードウェアロジック図1aのハードウェアロジック情報を抽出して、ハードウェアロジックの論理情報を解析する解析部11を備える。また、ロジック変換装置10は、解析部11が解析した論理情報に基づいてハードウェアロジック図1aをソフトフェアロジック図9a後述する図6を参照に変換する変換部12と、ソフトフェアロジック図9aを格納するソフトフェアロジックデータベース9を備える。ソフトフェアロジック図9aは、実機プラントの動作を模擬する仮想プラントに搭載され、仮想プラントの動作を制御するソフトウェアプログラムの論理が記述されるものである。また、ロジック変換装置10は、ハードウェアロジック図1aに書かれる素子に関する情報、及び素子がハードウェアの動作に影響を与える定形外の動作の情報を格納する素子データベース6を備える。ここで、定形の動作には、ハードウェアロジック図1aに元々書かれているような素子毎のハードウェアロジックによる動作が含まれる。定形外の動作には、ハードウェアロジックの論理とは異なる動作として、素子の物理動作が表現される。本例では、このような物理動作を、例えばハードウェアの電源を遮断する動作としている。解析部11は、ハードウェアロジックデータベース1から読み出したハードウェアロジック図1aのハードウェアロジック情報を抽出するロジック情報抽出部2と、ハードウェアロジック情報から各素子の論理を解析する論理解析部4を備える。変換部12は、素子データベース6から読み出した素子情報と、論理解析部4から受け取った論理情報に基づいて不図示の中間ファイルを生成する中間ファイル生成部7と、この中間ファイルから読み出したハードウェアロジックの論理情報をソフトウェアロジック図9aに変換するロジック変換部8を備える。次に、各部の動作を説明する。始めに、解析部11は、ハードウェアロジックデータベース1から読み出したハードウェアロジック図1aよりハードウェアの論理を抽出したハードウェアロジック情報、素子データベース6から抽出する素子に関する情報及び定形外の動作の情報に基づいて、ハードウェアの論理を解析する。そして、変換部12は、ハードウェアの論理を、素子に関する情報及び定形外の動作の情報が反映されるソフトフェアロジック図に変換して、ソフトフェアロジック図をソフトフェアロジックデータベースに書き込む。次に、解析部11及び変換部12の詳細な動作を説明する。ロジック情報抽出部2は、ハードウェアロジック図1aからハードウェアロジック情報を抽出して、互いに結線される複数の素子の結線情報をロジック結線情報ファイル3に書き出す。このロジック結線情報ファイル3は、論理解析部4に読み込まれる。そして、論理解析部4は、ロジック情報抽出部2から受け取るハードウェアロジック情報、及びハードウェアロジック図に記載される素子の情報を格納する素子データベース6より読み出した素子の情報に基づいて、ロジック結線情報ファイル3から読み込んでハードウェアロジックを解析した論理情報を論理情報ファイル5に書き出す。論理情報ファイル5は、中間ファイル生成部7に読み込まれる。中間ファイル生成部7は、論理解析部4の処理に合わせて、論理情報ファイル5から論理情報を読み出してソフトフェアロジック図のフォーマットに合わせた中間ファイルを生成する。ロジック変換部8は、この中間ファイルから読み出した論理情報をソフトフェアロジック図9aに変換し、このソフトフェアロジック図9aをソフトフェアロジックデータベース9に書き込む。次に、ロジック変換装置10の処理例を示しつつ、各種のファイル、ロジック図の内容について、図2~図6を参照して説明する。図2は、ロジック変換装置10の処理例を示す。始めに、ロジック情報抽出部2は、ハードウェアロジックデータベース1からハードウェアロジック図1aを読み出しステップS1、ハードウェアロジック図1aからハードウェアロジック情報を抽出するステップS2。図3は、ハードウェアロジック図1aの例を示す。ハードウェアロジック図1aには、直列接続されたスイッチSW1,SW2及びコイルC1と、並列接続されたスイッチSW3,SW4と、スイッチSW3,SW4に直列接続されたコイルC2とが記載されている。スイッチSW1,SW3,SW4は、24Vの直流である正電源線に接続され、コイルC1,C2は、負電源線に接続されている。なお、スイッチSW1~SW4は常時開接点A接点であり、コイルC1,C2は出力リレーに用いられるリレーコイルである。ハードウェアロジック図1aに記載された各素子の近くには素子の位置を示す属性情報A~Eが記されている。図2の説明に戻ると、ロジック情報抽出部2は、ハードウェアロジック図1aからハードウェアロジックの素子毎の結線情報を抽出するステップS3。そして、素子毎の結線情報をロジック結線情報ファイル3に書き出す。図4は、ロジック結線情報ファイル3の例を示す。論理解析部4が読み出すロジック結線情報ファイル3には、シリアルナンバーと、番号毎にハードウェアロジックの発着点の名称が記載されている。ここで、図3を参照すると、例えば、スイッチSW1,SW2の結線は、発点をA、着点をBとすることが示され、スイッチSW2とコイルC1の結線は、発点をB、着点をDとすることが示される。このように、ロジック結線情報ファイル3には、各素子の間を結ぶ結線の情報が記載されており、この情報には素子の論理が記載されていない。図2の説明に戻ると、論理解析部4は、素子データベース6から素子の情報及び定形外動作の情報を抽出する。そして、素子の情報及び定形外動作の情報、並びにロジック結線情報ファイル3から読み出したロジック結線情報に基づいてハードウェアロジックの論理情報を解析し、この解析結果を論理情報ファイル5に書き出すステップS4。図5は、論理情報ファイル5の例を示す。ハードウェアロジック図1aから作られ、中間ファイル生成部7が読み出す論理情報ファイル5には、シリアルナンバーと、番号毎にロジックの入出力の名称、及び属性が記載されている。図5中に記載した、素子とは、図3におけるスイッチ等の各素子の並びと素子間の論理を表現したものである。ロジックの取り合いとは、ハードウェアロジック図1aに示される各素子の入力又は出力に対応する属性を表す。論理情報ファイル5の内容は、図4に示したロジック結線情報ファイル3の内容とほぼ同じであるが、各素子における論理情報AND条件、OR条件等が記入されている点が異なる。また、図中に示されるWOワイプアウト:WipeOutとは、24V電源が強制的に切断されるポイントを表す。また、パスとは、2つの素子間における経路を発着点の記号とともに表したパラメータである。例えば、1番目のレコードに記された、発点A1、着点AND1とは、ハードウェアロジック図1aにおけるスイッチSW1,SW2の間の配線を表している。また、上述した素子とWOワイプアウトへの結線情報は、図5中の素子とパスに記載される。このように、論理情報ファイル5には、素子とパスの情報が記載されることにより、定形外の動作が表現される。図2の説明に戻ると、中間ファイル生成部7は中間ファイルを生成しステップS5、ロジック変換部8は、中間ファイルに基づいてハードウェアロジック情報をソフトフェアロジック図9aに変換するステップS6。その後、ロジック変換部8は、ソフトフェアロジックデータベース9にソフトフェアロジック図9aを書き込んで処理を終了するステップS7。図6は、ソフトフェアロジック図9aの例を示す。ハードウェアロジック図1aを変換したソフトフェアロジック図9aでは、図3~図5に示した素子毎の属性が論理的に表される。例えば、図3においてスイッチSW1,SW2は直列接続されるため、スイッチSW1,SW2に対応する属性A,Bは、AND条件を表す四角形のAND記号に入力し、このAND記号の出力がコイルC1に対応する属性Dに入力することが示される。ここで、直流電源が断たれるような事態はWipeOutとして表現されるため、AND記号と属性Dの間に設けられたWOの箇所に影響することが分かる。ところで、図3に示すハードウェアロジック図1aから抽出されるハードウェアロジックは、リレーシーケンスからなる標準ロジックによって構成される。従来のプラントシミュレータでは、定形外の動作をソフトフェアロジックに反映するためには、シミュレータ設計者の入力作業を求める独自の機能を必要としていた。しかし、ロジック変換装置10は、従来のプラントシミュレータが必要としていた独自の機能を有することなく、素子データベース6から素子の情報及び定形外の動作の情報を取得している。このため、ハードウェアロジック図1aから抽出したハードウェアロジック情報に素子の情報及び定形外の動作の情報を自動的に反映した上で、ハードウェアロジック図1aをソフトフェアロジック図9aに変換することが可能である。このように図1~図6を参照して、ハードウェアロジック図1aをソフトフェアロジック図9aに変換するための概念的な説明を行った。次に、具体的にハードウェアの構成が記載されたハードウェアロジック図1bをソフトフェアロジック図9bに変換するまでの例を、図7~図11を参照して説明する。図7は、ハードウェアロジック図1bの例を示す。なお、説明の都合により、図7は、図3のハードウェアロジック図1aとは異なる形式でロジック図を記載している。ハードウェアロジック図1bは、CAD等により書き込まれており、図中には、切替えスイッチSW5が表されている。切替えスイッチSW5の近くには、切替えスイッチSW5の製品番号が示される。そして、スイッチSW5には、24Vの直流電源線が接続される。図8は、対応表6aの例を示す。図8Aは、対応表6aの構成例を示し、図8Bは、切替えスイッチSW5の動作例を示す。図8Aに示す対応表6aは、切替えスイッチSW5に付随して設けられており、素子データベース6に格納される。プラントシミュレータでは、切替えスイッチSW5のように特殊な動作を有する素子に対してそれぞれの動作対応表6aに即する動きを模擬する特殊な素子をソフトウェアロジック上で再現する。素子データベース6は、このような特殊な素子に関する情報、及び特殊な素子による定形外の動作の情報を各種のテーブルで定義している。そして、論理解析部4は、素子データベース6から対応表6aを読み出して、切替えスイッチSW5の各種の情報を取得する。図8Bに示す切替えスイッチSW5の動作例より、切替えスイッチSW5の動作を指示する不図示のキーが通常状態の位置で差し込まれた後、運転員がキーを左に回転させると片系バイパス許可と呼ばれる特殊な操作が行われ、キーを右に回転させると片系バイパス許可と呼ばれる特殊な操作が行われることが示される。また、運転員がキーを通常状態に戻すと、スイッチSW5からキーを引き抜いて、キーを持たない運転員による意図しない動作を防ぐことができる。なお、図中のAABBB1とは、スイッチSW5に一意に割り振られる器具ナンバーであり、DD1とは、スイッチSW5の形式を表す。これらの情報は、後述する図9に示す属性データ表6bによって特殊な操作の操作名称と共に定義されている。図9は、素子データベース6における切替えスイッチSW5の属性データ表6bである。論理解析部4は、ハードウェアロジック図1bに記された器具ナンバーに基づいて属性データ表6bを検索し、形式に該当する切替えスイッチSW5の属性データを属性データ表6bから取得する。上述したように素子データベース6は、それぞれの素子の形式毎に同一又は異なる論理情報を持つ。このため、論理解析部4は、切替えスイッチSW5の形式に対応する論理情報を取得することができる。本例では、上述したスイッチSW5の属性が属性データ表6bに記されている。属性データ表6bには、スイッチSW5の器具ナンバーAABBB1、形式DD1に加えて、図8Bに示した片系バイパス許可、通常、両系バイパス許可に対して、それぞれ操作名称2,4,6する操作を特定するための番号が割り振られている。図10は、切替えスイッチSW5の論理情報6cである。論理解析部4は、切替えスイッチSW5の論理情報6cから必要な論理情報を取得する。これにより、ロジック変換部8は、後述するソフトウェアロジック図9bに記載するソフトフェアロジックを作成するために必要となる全ての論理情報を取得することが可能となる。図11は、切替えスイッチSW5を変換したソフトウェアロジック図である。オペレータが切替えスイッチSW5に差し込まれたキーを片系バイパス許可に回すと、途中のCOSとして表される切替え部の第1入力を経て第1出力より、片系バイパス許可の信号が出力される。一方、オペレータがキーを両系バイパス許可に回すと、切替え部の第2入力を経て第2出力より、両系バイパス許可の信号が出力される。そして、通常時には、キーが回されることがないため、切替部には入力がなく、また、切替部の第3出力からは常に通常状態の信号が出力される。素子データベース6は、切替えスイッチSW5の他にも、各種のプラントシミュレータで必要となる機器や素子の論理情報を有している。このため、ロジック変換の際には、ハードウェアロジック図1bに記された素子や機器の動きに対応した回路をソフトフェアロジック図9bに組み込むことができる。以上説明した一実施の形態に係るロジック変換装置10によれば、ロジック変換装置10で動作するソフトウェアプログラムを用いて、実機プラントに用いられるハードウェアロジック図1a,1bを、プラントシミュレータに用いられるソフトウェアロジック図1b,9bに自動的に変換することができる。このとき、ハードウェアの動作に対応した論理情報を有する素子データベース6から抽出した素子に関する情報及び定形外の動作の情報を、ソフトフェアロジック図に自動的に反映することができる。プラントシミュレータ用のソフトウェアロジック独自の回路情報を取得し、ソフトウェアロジックに組み込むことが可能である。また、ハードウェアロジック図からソフトフェアロジック図への変換が自動化される。このため、シミュレータ設計者がソフトフェアロジック図を作成する手間を減らして、ロジック変換時におけるシミュレータ設計者の作業負荷と作業時間を大幅に減らし、作業効率を上げることができる。また、シミュレータ設計者に起因するヒューマンエラーを減少することができる。また、素子データベース6に素子に関する各種の情報を書き込むだけで、様々なハードウェアロジック図に記載される素子の情報を一括してソフトフェアロジック図に反映することができる。このため、素子の情報のメンテナンス性が高まり、論理が正しいソフトフェアロジック図を作成することができる。なお、上述した実施の形態に係るロジック変換装置10は、原子力発電プラント等の実機プラントに用いられるハードウェアロジック図をソフトフェアロジック図に変換する例を説明したが、その他の発電プラント、産業プラントに適用してもよい。また、定形外の動作には、例えば積分処理等が含まれる。また、上述した実施の形態例における一連の処理をソフトウェアにより実行させる場合には、そのソフトウェアを構成するプログラムが専用のハードウェアに組み込まれているコンピュータ、または、各種の機能を実行するためのプログラムをインストールしたコンピュータにより、実行可能である。例えば汎用のパーソナルコンピュータなどに所望のソフトウェアを構成するプログラムをインストールして実行させればよい。また、上述した実施の形態の機能を実現するソフトウェアのプログラムコードを記録した記録媒体を、システムあるいは装置に供給してもよい。また、そのシステムあるいは装置のコンピュータまたはCPU等の制御装置が記録媒体に格納されたプログラムコードを読み出し実行することによっても、機能が実現されることは言うまでもない。この場合のプログラムコードを供給するための記録媒体としては、例えば、フレキシブルディスク、ハードディスク、光ディスク、光磁気ディスク、CD-ROM、CD-R、磁気テープ、不揮発性のメモリカード、ROMなどを用いることができる。また、コンピュータが読み出したプログラムコードを実行することにより、上述した実施の形態の機能が実現される。加えて、そのプログラムコードの指示に基づき、コンピュータ上で稼動しているOSなどが実際の処理の一部又は全部を行う。その処理によって上述した実施の形態の機能が実現される場合も含まれる。また、本発明は上述した実施の形態に限られるものではなく、特許請求の範囲に記載した本発明の要旨を逸脱しない限りその他種々の応用例、変形例を取り得ることは勿論である。"