"プラントの系統図面を元に作成した監視画面の妥当性を検証する監視画面検証装置であって、監視画面のデータが格納される監視画面格納部と、前記監視画面の元となった系統図面のデータが格納される系統図面格納部と、前記監視画面に対応する第1有向グラフを作成する監視画面解析部と、前記系統図面に対応する第2有向グラフを作成する系統図面解析部と、前記第1有向グラフと前記第2有向グラフとの整合性を検証することにより前記監視画面の妥当性を検証する監視画面検証部とを備えることを特徴とする監視画面検証装置。前記監視画面の作成時に加えた前記系統図面からの変更点に鑑みて、前記監視画面解析部が前記第1有向グラフを作成するために必要となるルールを規定した解析ルールが格納される解析ルール格納部をさらに備え、前記監視画面解析部は、前記解析ルールに基づいて前記第1有向グラフを作成する請求項1記載の監視画面検証装置。前記監視画面の作成時に加えた前記系統図面からの変更点に鑑みて、前記第1有向グラフと前記第2有向グラフとの間で許容すべき相違点を規定したルールである検証ルールが格納される検証ルール格納部をさらに備え、前記監視画面検証部は、前記検証ルールに基づいて前記第1有向グラフと前記第2有向グラフとの整合性を検証する請求項1または請求項2記載の監視画面検証装置。前記監視画面検証部は、前記第1有向グラフ上の頂点に対応する前記第2有向グラフ上の頂点があるか否かにより、前記第1有向グラフ上の頂点に対応する前記監視画面上のシンボルの妥当性を判定する請求項1から請求項3のいずれか一項記載の監視画面検証装置。従来、プラント監視制御装置の監視画面は、技術者が、監視制御の対象範囲を決定し、プラントの系統図面に基づいて、画面作成ツール例えばCADツールにより手作業で作成していた。しかし、技術者が手作業で作成するのでは時間がかかる上、ミスを完全に無くすのは困難であり、さらに、作成した監視画面の妥当性系統図面との整合性の検証にも時間を要し、作成コストが嵩む問題点があった。特に、監視画面の設計段階で誤りが生じた場合、その発見は困難であった。それを受け、特許文献1では、プラントフローデータと制御プログラムデータ又は画面表示デバイス定義データとを入力すれば、自動的に監視操作画面が作成されるプラント監視画面作成装置が提案されている。一般にプラントの監視画面は、人間がプラントの状況を把握し易いように系統図面を簡略化した図面上に、監視制御対象となる計器や装置の情報の表示を配置した構成となっている。よって監視画面の設計の際には、プラントの配線や配管の系統となる線系統線を簡略化したり、監視図面に表示させる情報のレイアウトを工夫するなどの作業が技術者の手で行われる。特許文献1でも、プラント監視画面作成装置が自動生成した監視画面は、人間がより見やすくなるように、技術者が画面ソフトで編集することが前提となっている。監視画面の見やすさはプラントの監視者運転操作員の主観にも左右されるためである。しかし人間の手作業による編集が加わると、その後にプラントフローデータが変更された場合などに、そのデータとの整合性を確保しつつ、監視画面に修正を加えることが困難になり、修正の段階で監視画面に誤り生じる危険性が高くなる。また監視画面の妥当性の検証を修正後に再び行う必要もあり、そこでも多大な時間が費やされることになる。そのため監視画面の妥当性の検証誤りの検出の自動化の要求がある。本発明は以上のような課題を解決するためになされたものであり、プラントの監視画面の妥当性を自動検証することが可能な監視画面検証装置を提供することを目的としている。本発明に係る監視画面検証装置は、プラントの系統図面を元に作成した監視画面の妥当性を検証する監視画面検証装置であって、監視画面のデータが格納される監視画面格納部と、前記監視画面の元となった系統図面のデータが格納される系統図面格納部と、前記監視画面に対応する第1有向グラフを作成する監視画面解析部と、前記系統図面に対応する第2有向グラフを作成する系統図面解析部と、前記第1有向グラフと前記第2有向グラフとの整合性を検証することにより前記監視画面の妥当性を検証する監視画面検証部とを備えるものである。本発明によれば、監視画面の誤りを自動的に検出でき、監視画面の妥当性を検証することが可能である。<実施の形態1>図1は、本発明の実施の形態1に係る監視画面検証装置10の構成を示す図である。監視画面検証装置10は、以下の系統図面格納部1、系統図面解析部2、監視画面格納部3、解析ルール格納部4、監視画面解析部5、検証ルール格納部6、プラントデータ格納部7、監視画面検証部8、および検証結果格納部9から構成される。系統図面格納部1には、プラントの系統図面のデータが格納される。系統図面解析部2は、系統図面格納部1から系統図面を取得して解析する。監視画面格納部3には、プラントの監視画面のデータが格納される。監視画面解析部5は、監視画面格納部3から監視画面を取得して解析する。監視画面解析部5が行う監視画面の解析は、解析ルール格納部4に予め格納された所定のルール解析ルールに基づいて実行される。プラントデータ格納部7には、プラントの各構成要素のデータプラントデータが格納される。監視画面検証部8は、監視画面解析部5による解析結果監視画面解析結果、系統図面解析部2による解析結果系統図面解析結果、およびプラントデータ格納部7から取り出したプラントデータに基づいて、監視画面の妥当性系統図面との整合性を検証する。監視画面検証部8が行う検証は、検証ルール格納部6に予め格納された所定のルール検証ルールに基づいて実行される。検証結果格納部9は、監視画面検証部8による検証結果監視画面検証結果のデータを格納するためのものである。以下、プラントの監視画面および系統図面の具体例を挙げ、監視画面検証装置10の動作を説明する。図2および図3はそれぞれ系統図面およびそれを元に作成された監視画面の一例であり、加圧水型原子力プラントにおける1次冷却系統の系統図面および監視画面を示している。図2および図3から分かるように、監視画面は、系統図面を簡略化した図の上に、プラントの操作に必要となるパラメータが表示される構成となっている。監視画面および系統図面では、プラントの各構成要素や各パラメータがシンボルとして表示されるが、以下の説明では、監視画面上のシンボルを画面シンボルと称し、系統図面上のシンボルを図面シンボルと称す。図2および図3に示す加圧水型原子力プラントの1次冷却系統は、A~Dの4つのループを含んでいるが、説明の簡単のため、以下では右下のAループの部分を代表的に説明する。図4は図2の系統図面のAループの部分の拡大図であり、図5は図3の監視画面のAループの部分の拡大図である。また図6は、Aループに関するプラントデータの一部を示す図である。プラントデータには、設備記号に関連付けされた、プラントの各要素の設備名称、監視点、制約事項等の情報が含まれている。図6では監視点を有する要素のデータを示している。Aループの系統図面には、図4のように、原子炉格納容器から伸びるAループの配管を示す系統線40およびそれに接続する各要素の図面シンボルが示されている。Aループの系統図面に含まれる図面シンボルとしては、原子炉格納容器の図面シンボル4a、1次冷却材料高温側温度計A設備記号:TMA1の図面シンボル4b、高圧注入系の図面シンボル4c、1次冷却材圧力計A設備記号:PGA1の図面シンボル4d、蒸気発生器Aの図面シンボル4e、1次冷却材流量計A1~A4設備記号:FMA1~FMA4の図面シンボル4j~4m、1次冷却材流量計A1~A4FMA1~FMA4に繋がる弁の図面シンボル4f~4i、1次冷却材ポンプA設備記号:PA1の図面シンボル4n、1次冷却材料低温側温度計A設備記号:TMA2の図面シンボル4o、加圧器スプレイへの流れを表す図面シンボル4p、充てん系からの流れを示す図面シンボル4qがある。一方図5に示すAループの監視画面には、図4の系統図面に含まれる要素の一部とそれに関するパラメータが画面シンボルとして示される。Aループの監視画面に含まれる画面シンボルとしては、原子炉格納容器の画面シンボル5a、1次冷却材圧力計APGA1の値を示す画面シンボル5b、蒸気発生器Aの画面シンボル5c、1次冷却材流量計A1~A4FMA1~FMA4の値を示す画面シンボル5d~5g、1次冷却材ポンプAPA1の画面シンボル5h、および1次冷却材ポンプオイルリフトポンプA設備記号:OPA11次冷却材ポンプAPA1の起動時に回転軸の上下に油膜を形成して始動を滑らかにするための潤滑油を供給するポンプの画面シンボル5iがある。1次冷却材圧力計APGA1の値を示す画面シンボル5bには、1次冷却材の圧力値[MPa]を表す監視点であるアナログ入力点P_A1図6参照が割り当てられており、監視点の値に応じて監視画面上の表示値XX.XXの部分が変化する。同様に、1次冷却材流量計A1~A4FMA1~FMA4の値を示す画面シンボル5d~5gには、1次冷却材の流量を表す監視点であるアナログ入力点F_A1~F_A4が割り当てられている。1次冷却材ポンプAPA1の画面シンボル5hには、1次冷却材ポンプの運転状態運転、停止等を表す監視点であるデジタル入力点DI_PA1と、ポンプの回転数[rpm]を表す監視点であるアナログ入力点AI_PA1とが割り当てられている。図7は、監視画面検証装置10の動作を示すフローチャートである。監視画面検証装置10による監視画面の妥当性の検証は、監視画面と系統図面との整合性を以下の手順で検証することによって行われる。監視画面検証装置10においては、まず監視画面解析部5が、妥当性の検証を行う監視画面を監視画面格納部3から取り出し、その監視画面から、系統の流れを考慮した有向グラフ以下第1有向グラフを作成する処理が行われるST1。ここで言う有向グラフとは、系統図面あるいは監視画面の構成要素シンボルや接続点、分岐点等に対応する頂点と、頂点同士を繋ぐ方向性を有する線とによって構成されるグラフである。次に、系統図面解析部2が、検証の対象である監視画面の元となった系統図面を系統図面格納部1から取り出し、その系統図面から、系統の流れを考慮した有向グラフ以下第2有向グラフを作成する処理が行われるST2。そして、監視画面検証部8が、第1有向グラフと第2有向グラフとの整合性を検証することにより監視画面の妥当性を検証する処理が行われST3、最後にその検証の結果が検証結果格納部9に格納されるST4。上記ステップST1の処理の詳細を説明する。図8はそのフローチャートである。ここでは、図5に示した監視画面から、図9の有向グラフ第1有向グラフを作成する例を用いて説明する。監視画面解析部5による第1有向グラフの作成は、所定の解析ルールに基づいて行われる。特定の規定に基づいて配管や電気系統の記載がなされた系統図面から有向グラフを作成するのは、一定のルールに基づいて行えば可能である。しかし監視画面は、人間が見やすいように系統図面を元にして作成したものであるため、監視図面から有向グラフを作成するために必要な解析ルールを予め規定しておく必要がある。解析ルールは、監視画面を作成編集した際に加えた系統図面からの変更点に鑑みて、監視画面解析部5が第1有向グラフを作成するために必要となるルールを規定したものであり、予め解析ルール格納部4に格納されている。例えば図5の監視画面では、系統線52を矢印50と重ねた実線で表しているので、解析ルールとして矢印と重なった実線は系統の線として取り扱う、実線と重なった矢印の方向を系統の流れとして取り扱うなどが規定される。また図5の監視画面では、1次冷却材圧力計APGA1の値を示す画面シンボル5bや、1次冷却材流量計A1~A4FMA1~FMA4の値を示す画面シンボル5d~5gが、引き出し線破線を用いて表示されているため、解析ルールとして系統線から引き出し線によって接続されているシンボルは系統線上に存在するものとして取り扱うなどが規定される。まず監視画面解析部5は、妥当性を検証する監視画面を監視画面格納部3から取り出しST11、その監視画面から第1有向グラフの起点とするシンボルを抽出するST12。図5の監視画面からは、系統の流れの起点である原子炉格納容器の画面シンボル5aが抽出される。続いて監視画面解析部5は、監視画面から系統となる線系統線を抽出するST13。ここでは解析ルールに基づき、図5の監視画面から矢印50,51が検出され、それと重なる実線52が系統線として抽出される。以降の各処理も解析ルールに基づいて実行される。起点および系統線が抽出されると、監視画面解析部5は、抽出した起点を持つ有向グラフを作成するST14。ここでは、図9の原子炉格納容器の頂点7aが起点とる行こうグラフが作成される。続いて監視画面解析部5は、監視画面上で、起点となった画面シンボルから系統線を辿り次の接続点となる画面シンボルを抽出しST15、抽出した画面シンボルに対応する頂点を有向グラフに追加するST16。図5の監視画面の場合、起点である原子炉格納容器の画面シンボル5aから系統線52を辿り、系統線上から引き出し線によって接続されているシンボルは系統線上に存在するものとして取り扱うという解析ルールに基づいて、次の接続点として1次冷却材圧力計APGA1の値を示す画面シンボル5bが抽出される。その結果、図9のように1次冷却材圧力計APGA1の頂点9bが有向グラフに追加される。その後、系統線が更に続いているか判別しST17、続いている場合は上記のステップST15,ST16の処理を繰り返す。図5の監視画面の場合、1次冷却材流量計A1~A4FMA1~FMA4の値を示す画面シンボル5d~5gは、同じ引き出し線上に並べて配置されている。この場合は、これらのシンボルの接続順序を考慮しないように、有向グラフに分岐点としての頂点90を作成し、1次冷却材流量計A1~A4FMA1~FMA4の頂点9d~9gをその頂点90を中心に放射状に接続いわゆるスター型接続するように追加するこの解析ルールも予め解析ルール格納部4に格納されている。図5の監視画面において、上記のように各画面シンボルの頂点を有効グラフに追加しつつ、原子炉格納容器の画面シンボル5aに戻るまで系統線を辿り続けると、図9に示す第1有向グラフが得られる。なお、加圧器スプレイは別の系統に属するため、ここでは抽出の対象から除外されている。次に、図7のステップST2の処理の詳細を説明する。図10はそのフローチャートである。ここでは、図4に示した系統図面から、図11の有向グラフ第2有向グラフを作成する例を用いて説明する。まず系統図面解析部2は、ステップST1で解析した第1有向グラフを作成した監視画面の元となった系統図面を系統図面格納部1から取り出しST21、その系統図面から起点を抽出するST22。図4の系統図面からは、原子炉格納容器の図面シンボル4aが起点として抽出される。続いて、系統図面上の系統線を抽出するST23。図4の系統図面からは、原子炉格納容器の図面シンボル4aから伸びる実線60が抽出される。そして抽出された起点を持つ有向グラフを作成するST24。次に、系統図面の起点から系統線を辿り、次の接続点を抽出しST25、その接続点を有向グラフに追加するST26。図4の系統図面では、原子炉格納容器の図面シンボル4aから系統線40を辿ると、まず1次冷却材料高温側温度計ATMA1からの系統線との接続点41が抽出され、図11のように接続点41に対応する頂点111が追加される。その後、系統線が更に続いているかを判別しST27、続いている場合は上記のステップST25,ST26の処理を繰り返す。図4の系統図面では、上記の接続点41は分岐点であり、そこから1次冷却材料高温側温度計ATMA1の図面シンボル4bに接続する系統線、並びに、高圧注入系の図面シンボル4cからの系統線との接続点42に向かう系統線が伸びている。この場合図11のように、1次冷却材料高温側温度計ATMA1の頂点11bと、接続点42に対応する頂点112とが有向グラフに追加される。図4の系統図面では、接続点42も分岐点であるが、高圧注入系は別の系統に属するため、抽出の対象から除外する。接続点42からは、1次冷却材圧力計APGA1の図面シンボル4dからの系統線との接続点43に向かう系統線が伸びている。よって図11のように、接続点43に対応する頂点113が有向グラフに追加される。さらに図4の系統図面の接続点43からは、1次冷却材圧力計APGA1の図面シンボル4dに接続する系統線と、蒸気発生器Aの図面シンボル4eに接続する系統線とが伸びている。よって図11のように、1次冷却材圧力計APGA1の頂点11dと、蒸気発生器Aの頂点11eとが有向グラフに追加される。図4の系統図面において、上記のように各接続点の頂点を有効グラフに追加しつつ、原子炉格納容器の図面シンボル4aに戻るまで系統線を辿り続けると、図11に示す第2有向グラフが得られる。なお、加圧器スプレイおよび充てん系は別の系統に属するため、ここでは抽出の対象から除外されている。次に、図7のステップST3の詳細を説明する。図12はそのフローチャートである。ステップST3では、監視画面から得た第1有向グラフと、系統図面から得た第2有向グラフとの整合性を検証することによる、監視画面の妥当性の検証が行われる。この検証の処理には、プラントデータ格納部7に格納されているプラントデータ、および、検証ルール格納部6に格納されている所定の検証ルールが使用される。監視画面は系統図面を元に作成編集したものであるため、監視画面から作成した第1有向グラフと系統図面から作成した第2有向グラフとは、ある程度の相違が生じることが想定される。検証ルールは、想定される相違点を考慮して予め規定されたものである。つまり検証ルールは、監視画面の作成時に加えた系統図面からの変更点に鑑みて、監視画面に誤りがない場合でも第1有向グラフと第2有向グラフとの間に必然的に生じる相違点を許容するためのルールを規定したものである。例えば図5の監視画面では、ループを成す系統線から分岐した系統線を省略した図となっているため、図9の第1有向グラフにはその分岐点に対応する頂点は現れない。この場合、頂点が分岐点であった場合、分岐先に繋がっている頂点を分岐点上にある頂点として取り扱うという検証ルールを規定する。これにより、第1有向グラフと第2有向グラフと整合性の検証において、分岐点に対応する頂点の有無についての相違点は許容されることになる。また図5の監視画面では、1次冷却材流量計A1~A4FMA1~FMA4の画面シンボル5d~5gは、一つの引き出し線を用いてまとめて表示されるため、図9の第1有向グラフにはそれらの接続順序は現れない。この場合、監視画面の有向グラフの頂点が分岐点であり、かつ、分岐点から複数の頂点へ接続している場合、接続順序を考慮しないという検証ルールを規定する。これにより、第1有向グラフと第2有向グラフと整合性の検証において、1つの分岐点に接続する複数の頂点の接続順序についての相違点が許容されることになる。以下、図9の第1有向グラフと、図11の第2有向グラフとの整合性を、図6のプラントデータを用いて検証する例を用いて説明する。まず監視画面検証部8は、第1有向グラフの起点および第2有向グラフの起点を、それぞれ調査対象の頂点として定めるST31。ここで、第1有向グラフ上の調査対象とする頂点を頂点X、第2有向グラフ上の調査対象とする頂点を頂点Yと規定する。ここでは、図9における原子炉格納容器の頂点9aが頂点X、図11における原子炉格納容器の頂点11aが頂点Yと決定される。続いて頂点X頂点9aが終点かどうかを判別しST32、終点でなければ頂点Xの画面シンボルに監視点が割り当てられているかを判断するST33。頂点Xとなっている原子炉格納容器の頂点9aは、終点ではなく、監視点の割り当てもない。この場合、検証ルールに基づいて、頂点Xとして取り扱うべき他の頂点がないか検索しST34、そのような他の頂点がなければステップST35においてNo、第1有向グラフの次の頂点である1次冷却材圧力計APGA1の頂点9bに調査対象頂点Xを移しST36、上記のステップST32に戻る。頂点Xが頂点9bである場合、図6のプラントデータから、それに対応する1次冷却材圧力計APGA1には、監視点としてアナログ入力点P_A1が割り当てられていることが分かるステップST33においてYes。監視画面検証部8は、監視点が割り当てられた頂点Xに対応する設備の情報を取得するST37。ここでは頂点Xが頂点9bなので、頂点Xが1次冷却材圧力計APGA1に対応している旨が取得される。続いて監視画面検証部8は、第2有向グラフの調査対象頂点Yとなっている頂点が終点かどうか判別しST38、終点でなければ、頂点Yが設備を表す頂点かどうか判別するST39。ここでは頂点Yは図11の頂点11aであるので終点ではない。また頂点Yは原子炉格納容器という設備に対応している。頂点Yが設備に対応していればステップST39においてYes、監視画面検証部8は、先に取得した頂点Xの設備と頂点Yの設備とが一致するかどうか調べるST42。両者が一致すればステップST42においてYes、頂点Xに対応する設備の画面シンボルが妥当なものと判断されるがST44が、ここでは一致しないためステップST42においてNo、第2有向グラフの調査対象頂点Yを次の頂点111に移してST43、ステップST38に戻る。頂点Yとなった頂点111は終点ではないステップST38においてNo。また頂点111は分岐点であるため、設備には対応していないステップST39においてNo。この場合、検証ルールに基づいて、頂点Yとして取り扱うべき他の頂点を検索するST40。ここでは頂点が分岐点であった場合、分岐先に繋がっている頂点を分岐点上にある頂点として取り扱うという検証ルールに基づき、頂点111からの分岐先である頂点11bを頂点Yとして取り扱う。頂点11bは1次冷却材料高温側温度計ATMA1の設備に対応しているためステップST41においてYes、先に取得した頂点X頂点9bの設備と頂点Y頂点11bの設備とが一致するかどうか調べるST42。ここでも両者は一致しないため、調査対象を頂点112へと進ませるST43。頂点112も終点ではないがステップST38においてNo、設備に対応しておらずステップST39においてNo、それと同じ頂点Yとして取り扱うべき他の頂点も存在しないステップST41においてNo。よって調査対象頂点Yが頂点113に移動してST43、ステップST38に戻る。頂点113は終点ではなくステップST38においてNo、頂点11dへと分岐する分岐点である。ここでも頂点が分岐点であった場合、分岐先に繋がっている頂点を分岐点上にある頂点として取り扱うという検証ルールに基づき、頂点113からの分岐先である頂点11dを頂点Yとして取り扱うステップST41においてYes。すなわち頂点Yには頂点11dに対応する1次冷却材圧力計APGA1の頂点11dの設備が対応することになる。その結果、ステップST42において頂点Xの設備と頂点Yの設備とが一致することになり、頂点Xに対応する画面シンボルすなわち図4の1次冷却材圧力計APGA1の値を示す画面シンボル5bは妥当であると判断されるST44。そしてステップST32へと戻る。一方、上記の処理を繰り返し行って頂点Yが終点まで原子炉格納容器の頂点11aに戻るまで進んでも、頂点Xの設備に一致する頂点Yが見つからない場合、その頂点Xに対応する画面シンボルに誤りの疑いがあると判断されるST45。その場合、頂点Xの設備と前回一致した頂点それが存在しない場合は起点まで頂点Yを戻すST46。そしてステップST36へ戻って、第1有向グラフの審査対象頂点Xを次の頂点へ移す。監視画面検証部8は、以上の動作を、第1有向グラフの調査対象頂点Xが終点に至るまで原子炉格納容器の頂点9aに戻るまで繰り返し実行する。その結果、第1有向グラフの全ての頂点に対応する画面シンボルの妥当性が検証される。なお、第1有向グラフの調査対象頂点Xが、1次冷却材流量計A1~A4FMA1~FMA4の頂点9d~9gへの分岐点である頂点90になったときは、監視画面の有向グラフの頂点が分岐点であり、かつ、分岐点から複数の頂点へ接続している場合、接続順序を考慮しないという検証ルールに基づくことによって、それらの頂点9d~9gに対応する設備と第2有向グラフの頂点11j~11mに対応する設備とが一致すると判断できる。このように本実施の形態に係る監視画面検証装置10の監視画面検証部8は、第1有向グラフ上で設備が割り当てられた各頂点について、それに対応する頂点が第2有向グラフ上に存在するか否かにより、第1有向グラフと第2有向グラフとの整合性を検証している。対応する頂点が第2有向グラフ上に見つかった第1有向グラフの頂点は妥当なものと判断され、その頂点に対応する監視画面の画面シンボルも妥当なものと判断される。本実施の形態に係る監視画面検証装置10は、この処理を、第1有向グラフを辿りつつ全ての頂点について行うので、結果として、監視画面の全ての図面シンボルの妥当性が自動的に検証される。各図面シンボルの検証結果第1有向グラフの各頂点の検証結果は、検証結果格納部9に格納され、技術者はその検証結果を参照することにより、監視画面の誤りを知ることができ、その情報に基づいて監視画面を適切に修正することが可能になる。<実施の形態2>監視画面解析部5は、図7のステップST1で第1有向グラフを作成する際、監視画面上で系統線には接続した画面シンボルを抽出するだけでなく、系統線の近傍にレイアウトされた画面シンボルを関連シンボルとして抽出し、第1有向グラフに追加してもよい。その場合、監視画面検証部8は、第1有向グラフに含まれる関連シンボルの妥当性の検証も行う。その検証には、プラントデータに記載された設備の制約事項や、設備間の関連性が考慮される。実施の形態1では説明を省略したが、図9の第1有向グラフには、図5の1次冷却材ポンプAPA1の画面シンボル5hの近傍にレイアウトされた、1次冷却材ポンプオイルリフトポンプAOPA1の画面シンボル5iが関連シンボルとして抽出され、それに対応する頂点9iが追加されている。監視画面検証部8は、図6のプラントデータから、1次冷却材ポンプAPA1と1次冷却材ポンプオイルリフトポンプAOPA1との関連性を検証することによって、頂点9iに対応する画面シンボル5iの妥当性を検証する。監視画面検証部8は、図6のプラントデータには1次冷却材ポンプAPA1の制約事項として起動時にはオイルリフトポンプOPA1が運転状態であることという情報が含まれていることから、1次冷却材ポンプAPA1と1次冷却材ポンプオイルリフトポンプAOPA1との関連性は高いと判定でき、それに対応する画面シンボル5iは妥当なものと判定することができる。本実施の形態によれば、監視画面上の関連シンボルの妥当性の検証も可能になる。"