(57)【要約】 【課題】作成した制御ロジックの妥当性を容易に検証することが可能な制御ロジック検証装置を提供する。【解決手段】制御ロジック検証装置は、制御ロジック仕様作成部、解析部及び回路図作成部を具備する。制御ロジック仕様作成部は、入力される情報に基づき、設備内の設備機器を制御するための制御ロジック仕様を作成する。解析部は、制御ロジック仕様を解析することで、設備機器を制御するための情報を取得し、取得した情報から自装置内で実行可能な形式の中間コードを作成する。回路図作成部は、中間コードに基づいて第１の論理回路図を作成する。【選択図】図１
2014103705.tif 000002
【特許請求の範囲】
【請求項１】
入力される情報に基づき、設備内の設備機器を制御するための制御ロジック仕様を作成する制御ロジック仕様作成部と、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、前記取得した情報から自装置内で実行可能な形式の中間コードを作成する解析部と、
前記中間コードに基づいて第１の論理回路図を作成する回路図作成部と
を具備する制御ロジック検証装置。
【請求項２】
前記中間コードについての条件を設定するパラメータが入力され、前記パラメータを用いて前記中間コードを実行することで、前記設備機器に対する制御を模擬的に動作させる模擬動作部をさらに具備し、
前記回路図作成部は、前記第１の論理回路図に、前記模擬動作の結果を反映させた第２の論理回路図を作成する請求項１記載の制御ロジック検証装置。
【請求項３】
入力される情報に基づき、設備内の設備機器を制御するための制御ロジック仕様を作成する制御ロジック仕様作成部と、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、前記取得した情報から自装置内で実行可能な形式の中間コードを作成する解析部と、
前記中間コードについての条件を設定するパラメータが入力され、前記パラメータを用いて前記中間コードを実行することで、前記設備機器に対する制御を模擬的に動作させる模擬動作部と、
前記中間コードと、前記模擬動作の結果とに基づき、前記設備機器の動作を時系列に表現する論理回路図を作成する回路図作成部と
を具備する制御ロジック検証装置。
【請求項４】
入力される情報に基づき、設備内の設備機器を制御するための制御ロジック仕様を作成する制御ロジック仕様作成部と、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、前記取得した情報から自装置内で実行可能な形式の中間コードを作成する解析部と、
前記中間コードについての条件を設定するパラメータが入力され、前記パラメータを用いて前記中間コードを実行することで、前記設備機器に対する制御を模擬的に動作させる模擬動作部と、
前記模擬動作の結果に基づき、模擬タイミングチャートを作成するタイミングチャート作成部と
を具備する制御ロジック検証装置。
【請求項５】
入力される情報に基づき、設備内の設備機器を制御するための制御ロジック仕様を作成する制御ロジック仕様作成部と、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、前記取得した情報から自装置内で実行可能な形式の中間コードを作成する解析部と、
前記中間コードに基づき、基準タイミングチャートを作成するタイミングチャート作成部と、
前記制御ロジック仕様に基づいて作成されるソフトウェアを参照し、前記設備機器を制御する際の比較用タイミングチャートを作成する解析処理部と、
前記比較用タイミングチャートの時刻を自装置で用いられる時刻に変換する時刻設定部と、
前記基準タイミングチャートと、前記時刻を変換した比較用タイミングチャートとを比較する比較部と
を具備する制御ロジック検証装置。
【請求項６】
前記基準タイミングチャートと、前記比較用タイミングチャートとの動作タイミングの差が予め設定される範囲を超える場合、異常と判断する判断部をさらに具備する請求項５記載の制御ロジック検証装置。
【請求項７】
前記解析処理部は、前記制御用コントローラが複数存在する場合、それぞれに組み込まれるソフトウェアを参照し、前記制御用コントローラそれぞれについての比較用タイミングチャートを作成し、
前記時刻設定部は、複数の比較用タイミングチャートの時刻を自装置で用いられる時刻に変換する請求項６記載の制御ロジック検証装置。
【請求項８】
前記解析処理部は、前記ソフトウェアを解析することで、前記設備機器を制御するための情報を取得し、前記取得した情報に基づいて前記比較用タイミングチャートを作成する請求項７記載の制御ロジック検証装置。
【請求項９】
前記解析処理部は、前記制御用コントローラが前記設備機器を制御するために送信する制御信号に基づいて前記比較用タイミングチャートを作成する請求項７記載の制御ロジック検証装置。
【請求項１０】
設備内の設備機器を制御するための制御ロジックを検証する制御ロジック検証装置で用いられる制御ロジック検証方法において、
入力される情報に基づき、前記制御ロジックを規定する制御ロジック仕様を作成し、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、
前記取得した情報から前記制御ロジック検証装置内で実行可能な形式の中間コードを作成し、
前記中間コードに基づいて第１の論理回路図を作成する制御ロジック検証方法。
【請求項１１】
前記中間コードについての条件を設定するパラメータを受信し、前記パラメータを用いて前記中間コードを実行することで、前記設備機器に対する制御を模擬的に動作させ、
前記第１の論理回路図に、前記模擬動作の結果を反映させた第２の論理回路図を作成する請求項１０記載の制御ロジック検証方法。
【請求項１２】
設備内の設備機器を制御するための制御ロジックを検証する制御ロジック検証装置で用いられる制御ロジック検証方法において、
入力される情報に基づき、前記制御ロジックを規定する制御ロジック仕様を作成し、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、
前記取得した情報から前記制御ロジック検証装置内で実行可能な形式の中間コードを作成し、
前記中間コードについての条件を設定するパラメータを受信し、前記パラメータを用いて前記中間コードを実行することで、前記設備機器に対する制御を模擬的に動作させ、
前記中間コードと、前記模擬動作の結果とに基づき、前記設備機器の動作を時系列に表現する論理回路図を作成する制御ロジック検証方法。
【請求項１３】
設備内の設備機器を制御するための制御ロジックを検証する制御ロジック検証装置で用いられる制御ロジック検証方法において、
入力される情報に基づき、前記制御ロジックを規定する制御ロジック仕様を作成し、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、
前記取得した情報から前記制御ロジック検証装置内で実行可能な形式の中間コードを作成し、
前記中間コードについての条件を設定するパラメータを受信し、前記パラメータを用いて前記中間コードを実行することで、前記設備機器に対する制御を模擬的に動作させ、
前記模擬動作の結果に基づき、模擬タイミングチャートを作成する制御ロジック検証方法。
【請求項１４】
設備内の設備機器を制御するための制御ロジックを検証する制御ロジック検証装置で用いられる制御ロジック検証方法において、
入力される情報に基づき、前記制御ロジックを規定する制御ロジック仕様を作成し、
前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、
前記取得した情報から前記制御ロジック検証装置内で実行可能な形式の中間コードを作成し、
前記中間コードに基づき、基準タイミングチャートを作成し、
前記制御ロジック仕様に基づいて作成されるソフトウェアを参照し、前記設備機器を制御する際の比較用タイミングチャートを作成し、
前記比較用タイミングチャートの時刻を前記制御ロジック検証装置で用いられる時刻に変換し、
前記基準タイミングチャートと、前記時刻を変換した比較用タイミングチャートとを比較する制御ロジック検証方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明の実施形態は、例えば、受変電設備内の設備機器を制御するための制御ロジックを検証する制御ロジック検証装置及びこの装置で用いられる制御ロジック検証方法に関する。
【背景技術】
【０００２】
受変電設備における制御システムは、重要な役割を担っている。すなわち、制御システムは、災害及び／又は故障の発生により系統停電となった場合、系統の運用を継続させるための停復電制御を実行する。停復電制御とは、系統停電が発生した場合に、自動的に発電機を運転して重要負荷への給電を迅速に再開し、その後の復電により商用運転へと切り戻す制御である。また、制御システムは、系統の片系停電が発生した場合、負荷への給電を継続させるための本線−予備線切換制御を実行する。本線−予備線切換制御とは、系統の片系停電が発生した場合に、正常稼働しているもう一方の系統へと接続を切り換える制御である。
【０００３】
受変電設備では、発電機及び負荷を初めとする関係設備が受変電設備毎に固有である。また、受変電設備全体の運用に基づき、負荷への給電方法及び負荷の制御順序等が異なることが多い。そのため、停復電制御及び本線−予備線切換制御等の制御機能を実現する制御システムは、設備毎に都度設計をしている。
【０００４】
ところで、制御システムの制御ロジックとプログラムが作成された後、制御ロジックの妥当性を検証するためには、単線結線図と照合しながら制御ロジックとプログラムソースコードとを比較し、塗りつぶし等の１対１チェックを行う必要がある。しかしながら、制御システムが複雑である場合には、プログラムソースコードが大量となるため、１対１チェックの際にヒューマンエラーが発生する可能性が高い、また、納入設備の老朽化によりアンサーバック時間の遅延が発生し制御ロジックが修正されるケースもある。そのため、現地にて各々の機器を稼働させて検証を行った時点でシステムの変更が必要となるケースも多い。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開平１１−１９５１８６号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
以上のように、制御システムは、設備毎に都度設計されるため、制御システムの制御ロジックが作成された後に、制御ロジックの妥当性を検証することは困難であった。
【０００７】
そこで、目的は、作成した制御ロジックの妥当性を容易に検証することが可能な制御ロジック検証装置及びこの装置で用いられる制御ロジック検証方法を提供することにある。
【課題を解決するための手段】
【０００８】
実施形態によれば、制御ロジック検証装置は、制御ロジック仕様作成部、解析部及び回路図作成部を具備する。制御ロジック仕様作成部は、入力される情報に基づき、設備内の設備機器を制御するための制御ロジック仕様を作成する。解析部は、前記制御ロジック仕様を解析することで、前記設備機器を制御するための情報を取得し、前記取得した情報から自装置内で実行可能な形式の中間コードを作成する。回路図作成部は、前記中間コードに基づいて第１の論理回路図を作成する。
【図面の簡単な説明】
【０００９】
【図１】本実施形態に係る制御ロジック検証装置の機能構成を示すブロック図である。
【図２】図１に示す入力部から入力される第１の入力データを示す図である。
【図３】図１に示す入力部から入力される第２の入力データを示す図である。
【図４】図１に示す制御ロジック仕様作成部で作成される制御ロジック仕様に含まれる表示用データを示す図である。
【図５】図１に示す制御ロジック仕様作成部で作成される制御ロジック仕様に含まれるソースプログラムを示す図である。
【図６】図１に示す回路図作成部が作成する第１の論理回路図を示す図である。
【図７】図１に示すタイミングチャート作成部が作成する基準タイミングチャートを示す図である。
【図８】図１に示す制御ロジック検証装置が表示部に第１の論理回路図を表示する場合のフローチャートを示す図である。
【図９】図１に示す制御ロジック検証装置が表示部に第２の論理回路図を表示する場合のフローチャートを示す図である。
【図１０】図１に示す制御ロジック検証装置が、制御用コントローラに記録されるソフトウェアを検証する場合のフローチャートを示す図である。
【発明を実施するための形態】
【００１０】
以下、実施の形態について、図面を参照して説明する。
【００１１】
図１は、本実施形態に係る制御ロジック検証装置の機能構成を示すブロック図である。制御ロジック検証装置は、例えば、受変電設備における制御システムで利用される制御ロジックを検証する。図１に示す制御ロジック検証装置は、入力部１１、制御ロジック仕様作成部１２、記憶部１３、解析部１４、回路図作成部１５、模擬動作部１６、タイミングチャート作成部１７、解析処理部１８−１，１８−２、時刻設定部１９、比較部１１０、判断部１１１、表示部１１２及びデータ出力部１１３を具備する。なお、制御ロジック検証装置は、例えばマイクロプロセッサからなるＣＰＵ（Central Processing Unit）を備え、ＣＰＵにアプリケーションプログラムを実行させることで、制御ロジック仕様作成部１２、解析部１４、回路図作成部１５、模擬動作部１６、タイミングチャート作成部１７、解析処理部１８−１，１８−２、時刻設定部１９、比較部１１０及び判断部１１１の動作を、実現するようにしても構わない。なお、このアプリケーションプログラムを、コンピュータにより読み取り可能な記録媒体に記録するようにしても良い。
【００１２】
入力部１１は、キーボード、マウス及びタッチパネル等、ユーザがデータを入力可能なユーザインタフェースである。例えば、ユーザは、予め定義される文法に従って入力部１１に第１の入力データを入力する。図２は、予め定義される文法に従って記述される第１の入力データの例を示す図である。また、ユーザは、予め定義される作画機能に従って入力部１１に第２の入力データをインタラクティブに入力する。図３は、予め定義される作画機能に従って作画される第２の入力データの例を示す図である。入力部１１は、入力された第１及び／又は第２の入力データを制御ロジック仕様作成部１２へ出力する。なお、入力部１１は、記録媒体等が接続され、記録媒体に記録されている第１及び／又は第２の入力データを読み出す読出し部であっても良い。
【００１３】
また、入力部１１には、後述する模擬動作部１６に対して設定される各種パラメータが含まれる模擬用パラメータファイルが入力される。入力部１１は、入力された模擬用パラメータファイルを記憶部１３へ出力する。
【００１４】
制御ロジック仕様作成部１２は、入力部１１から第１及び／又は第２の入力データが供給されると、第１及び／又は第２の入力データに基づき、受変電設備に設置される設備機器を制御するための制御ロジックを規定する制御ロジック仕様を作成する。制御ロジック仕様には、図４に示す表示用データと、図５に示すソースプログラムとが含まれる。制御ロジック仕様作成部１２は、作成した制御ロジック仕様を、記憶部１３へ出力する。
【００１５】
記憶部１３は、制御ロジック仕様作成部１２から供給される制御ロジック仕様を記録する。また、記憶部１３は、後述する解析部１４から供給される中間コードを記録する。また、記憶部１３は、入力部１１から供給される模擬用パラメータファイルを記録する。
【００１６】
また、記憶部１３は、解析部１４からの要求に応じ、制御ロジック仕様に含まれるソースプログラムを解析部１４へ出力する。また、記憶部１３は、模擬動作部１６からの要求に応じ、中間コードを模擬動作部１６へ出力する。また、記憶部１３は、タイミングチャート作成部１７からの要求に応じて、中間コードをタイミングチャート作成部１７へ出力する。
【００１７】
解析部１４は、ソースプログラムを解析し、制御ロジック検証装置において実行可能な形式の中間コードを作成する。すなわち、解析部１４は、ソースプログラムを解析することで、受変電設備における設備機器の処理順序、及び各設備機器を制御するための条件信号等の諸情報を取得する。また、解析部１４は、ソースプログラムにおけるアンサーバック及びタイマーを解析することで、総制御時間又は各トリガーまでの制御時間を取得してもよい。また、受変電設備では、同一システムにおいて複数の制御が実行されることがある。このとき、制御システムは、制御間で信号を利用したり、制御間の時間を比較したりする場合がある。そこで、解析部１４は、ソースプログラムを解析することで、複数の制御間の相対的な関係を取得してもよい。解析部１４は、以上のように取得した情報に基づいて中間コードを作成する。解析部１４は、作成した中間コードを回路図作成部１５へ出力すると共に、記憶部１３に記憶させる。
【００１８】
回路図作成部１５は、解析部１４から出力される中間コードを参照し、ＭＩＬ記号及びＪＩＳ記号等の規格で定義された論理記号を用いた第１の論理回路図を作成する。図６は、回路図作成部１５によって作成される第１の論理回路図の例を示す図である。なお、図６では、商用停電が発生した場合における第１の論理回路図の例を示す。回路図作成部１５は、作成した第１の論理回路図を表示部１１２に表示させる。また、回路図作成部１５は、データ出力部１１３からの要求に応じて、作成した第１の論理回路図をデータ出力部１１３へ出力する。
【００１９】
また、回路図作成部１５は、模擬動作部１６から模擬動作の結果を受け取ると、受け取った模擬動作の結果に基づき、第１の論理回路図に、各設備機器がどのように動作したかを数値表現及び色付けした表現等の手段をもって時系列的に記載した第２の論理回路図を作成する。回路図作成部１５は、作成した第２の論理回路図を表示部１１２に表示させる。また、回路図作成部１５は、データ出力部１１３からの要求に応じて、作成した第２の論理回路図をデータ出力部１１３へ出力する。
【００２０】
模擬動作部１６は、記憶部１３に記録されている中間コードと、模擬用パラメータファイルとを読み出し、模擬用パラメータファイルを用いて中間コードを実行することで、設備機器に対する制御を模擬的に行う。各種パラメータはユーザの希望に応じて任意に設定可能であるから、模擬動作部１６は、様々な条件を変更させながら、設備機器に対する制御を模擬的に行うことが可能である。例えば、模擬動作部１６に対して、設備機器各部の一以上の条件、信号の状態、及び／又は信号の継続タイミング等が任意に設定される。
【００２１】
これにより、模擬動作部１６は、実機器の動作時間等を加味した模擬、実機器では設定することが困難であった機器不動作や条件不成立等を考慮した模擬、及び、実機器では複数回繰り返して作り出すことが困難である様々な条件を考慮した模擬を、時系列的に実行することが可能である。模擬動作部１６は、模擬動作の結果を回路図作成部１５へ出力する。
【００２２】
タイミングチャート作成部１７は、記憶部１３から読み出された中間コード、又は、模擬動作部１６で実行された模擬動作の結果を受け取る。タイミングチャート作成部１７は、記憶部１３から出力される中間コードを受け取ると、受け取った中間コードに基づいて基準タイミングチャートを作成する。図７は、タイミングチャート作成部１７が作成する基準タイミングチャートの例を示す図である。タイミングチャート作成部１７は、作成した基準タイミングチャートを比較部１１０へ出力する。
【００２３】
タイミングチャート作成部１７は、模擬動作部１６から出力される模擬動作の結果を受け取ると、受け取った模擬動作の結果に基づいて模擬タイミングチャートを作成する。タイミングチャート作成部１７は、作成した模擬タイミングチャートを表示部１１２に表示させる。また、タイミングチャート作成部１７は、データ出力部１１３からの要求に応じて、作成した模擬タイミングチャートをデータ出力部１１３へ出力する。
【００２４】
解析処理部１８−１は、制御ロジック検証装置に制御用コントローラ２０−１が接続されると、制御用コントローラ２０−１に記録されているソフトウェアを読み取る。制御用コントローラ２０−１には、制御ロジック仕様に基づいて作成されたソフトウェアが予め組み込まれている。解析処理部１８−１は、読み出したソフトウェアを解析し、受変電設備における設備機器の処理順序、及び各設備機器を制御するための条件信号等の諸情報を取得する。解析処理部１８−１は、取得した情報に基づいて第１の比較用タイミングチャートを作成する。なお、解析処理部１８−１は、解析部１４が取得した情報と同様の情報を取得して第１の比較用タイミングチャートを作成するようにしても構わない。解析処理部１８−１は、作成した第１の比較用タイミングチャートを時刻設定部１９へ出力する。
【００２５】
解析処理部１８−２は、制御ロジック検証装置に制御用コントローラ２０−２が接続されると、制御用コントローラ２０−２に記録されているソフトウェアを読み取る。解析処理部１８−２は、解析処理部１８−１と同様に、読み立ったソフトウェアを解析することで、第２の比較用タイミングチャートを作成する。解析処理部１８−２は、作成した第２の比較用タイミングチャートを時刻設定部１９へ出力する。
【００２６】
時刻設定部１９は、解析処理部１８−１，１８−２で作成された第１及び第２の比較用タイミングチャートに付されている時刻を、制御ロジック検証装置における時刻に合わせる。例えば、解析処理部１８−１により作成された第１の比較用タイミングチャートでは、横軸は、制御の開始時刻を０：００とした相対時刻で示されている。時刻設定部１９は、第１の比較用タイミングチャートにおける横軸の値を、制御ロジック検証装置で用いられている時刻を用いた絶対時刻に変換する。また、その際に制御用コントローラ２０−１及び２０−２内の時刻補正を行うようにしても構わない。時刻設定部１９は、時刻を設定した第１及び第２の比較用タイミングチャートを、比較部１１０へ出力する。
【００２７】
比較部１１０は、タイミングチャート作成部１７から出力される基準タイミングチャートと、時刻設定部１９から出力される第１及び第２の比較用タイミングチャートとを並べて比較し、比較結果を判断部１１１へ出力すると共に、基準タイミングチャートと第１及び第２の比較用タイミングチャートとが並べて比較された画像を表示部１１２に表示させる。また、比較部１１０は、データ出力部１１３からの要求に応じて、基準タイミングチャートと第１及び第２の比較用タイミングチャートとが並べて比較された画像をデータ出力部１１３へ出力する。
【００２８】
判断部１１１は、基準タイミングチャートと第１及び第２の比較用タイミングチャートとの動作タイミングの差が予め設定される範囲内であるか否かを判断する。ここで、予め設定される範囲は、例えば、第１の入力データ内で規定されるようにしてもよい。基準タイミングチャートと、第１及び第２の比較用タイミングチャートのうち少なくともいずれかとの動作タイミングの差が予め設定される範囲を超える場合、判断部１１１は、異常と判断して警報を発報する。
【００２９】
表示部１１２は、例えば、ＬＣＤ等である。表示部１１２は、回路図作成部１５で作成される第１又は第２の論理回路図を表示する。また、表示部１１２は、タイミングチャート作成部１７で作成される模擬タイミングチャートを表示する。また、表示部１１２は、比較部１１０から出力される基準タイミングチャート及び第１及び第２の比較用タイミングチャートを表示する。なお、表示部１１２に表示される図は、ユーザからの指示により切り換えられる。
【００３０】
データ出力部１１３は、取得したデータを外部へ出力する、例えば、プリンタ又はライタ等である。データ出力部１１３は、ユーザからの出力指示に応じ、回路図作成部１５に対して、第１又は第２の論理回路図を要求する。データ出力部１１３は、回路図作成部１５から第１又は第２の論理回路図が供給されると、供給された第１又は第２の論理回路図を、画像データに変換し、プリントアウトする。また、データ出力部１１３は、供給された第１又は第２の論理回路図を、記録媒体に書き込み可能な形式に変換し、変換後のデータを記録媒体に書き込む。
【００３１】
また、データ出力部１１３は、ユーザからの出力指示に応じ、タイミングチャート作成部１７に対して、模擬タイミングチャートを要求する。データ出力部１１３は、タイミングチャート作成部１７から模擬タイミングチャートが供給されると、供給された模擬タイミングチャートを、画像データに変換し、プリントアウトする。また、データ出力部１１３は、供給された模擬タイミングチャートを、記録媒体に書き込み可能な形式に変換し、変換後のデータを記録媒体に書き込む。
【００３２】
また、データ出力部１１３は、ユーザからの出力指示に応じ、比較部１１０に対して、比較結果を要求する。データ出力部１１３は、比較部１１０から比較結果が供給されると、供給された比較結果を、画像データに変換し、プリントアウトする。また、データ出力部１１３は、供給された比較結果を、記録媒体に書き込み可能な形式に変換し、変換後のデータを記録媒体に書き込む。
【００３３】
また、データ出力部１１３は、ユーザからの出力指示に応じて、表示部１１２に表示されるデータをプリントアウトする。また、データ出力部１１３は、表示部１１２に表示されるデータを、記録媒体に書き込み可能な形式に変換し、変換後のデータを記録媒体に書き込む。
【００３４】
次に、以上のように構成された制御ロジック検証装置の動作を図８〜図１０を用いて詳細に説明する。図８は、制御ロジック検証装置が表示部１１２に第１の論理回路図を表示する場合のフローチャートを示す。
【００３５】
まず、入力部１１に、第１及び／又は第２の入力データが入力される（ステップＳ８１）。制御ロジック仕様作成部１２は、入力部１１から第１及び／又は第２の入力データが供給されると、第１及び／又は第２の入力データに基づいて制御ロジック仕様を作成し、作成した制御ロジック仕様を、記憶部１３に記憶させる（ステップＳ８２）。
【００３６】
続いて、解析部１４は、制御ロジック仕様に含まれるソースプログラムを解析し、中間コードを作成する（ステップＳ８３）。回路図作成部１５は、解析部１４で作成される中間コードを参照し、第１の論理回路図を作成し（ステップＳ８４）、作成した第１の論理回路図を表示部１１２に表示させる（ステップＳ８５）。
【００３７】
図９は、制御ロジック検証装置が、中間コードに基づく模擬動作を実行することにより作成される第２の論理回路図を表示する場合のフローチャートを示す。
【００３８】
まず、模擬動作部１６は、記憶部１３に記録されている中間コードと、模擬動作で用いられるパラメータが記載された模擬用パラメータファイルとを読み出し、模擬用パラメータファイルを用いて中間コードを実行する（ステップＳ９１）。回路図作成部１５は、模擬動作部１６から模擬動作の結果を受け取り、第２の論理回路図を作成し（ステップＳ９２）、作成した第２の論理回路図を表示部１１２に表示させる（ステップＳ９３）。
【００３９】
なお、ステップＳ９２において、タイミングチャート作成部１７が、模擬動作部１６から出力される模擬動作の結果を受け取り、受け取った模擬動作の結果に基づいて模擬タイミングチャートを作成するようにしても構わない。このとき、ステップＳ９３において、表示部１１２に、タイミングチャート作成部１７で作成された模擬タイミングチャートが表示されることになる。
【００４０】
図１０は、制御ロジック検証装置が、制御用コントローラ２０−１，２０−２に記録されているソフトウェアの検証をする場合のフローチャートを示す。
【００４１】
まず、タイミングチャート作成部１７は、記憶部１３から読み出された中間コードを受け取り、受け取った中間コードに基づいて基準タイミングチャートを作成する（ステップＳ１０１）。
【００４２】
続いて、解析処理部１８−１，１８−２は、制御ロジック検証装置に接続される制御用コントローラ２０−１，２０−２に記録されているソフトウェアを読み出し、読み出したソフトウェアに基づいて第１及び第２の比較用タイミングチャートをそれぞれ作成する（ステップＳ１０２）。時刻設定部１９は、第１及び第２の比較用タイミングチャートに付されている時刻を、制御ロジック検証装置における時刻に合わせる（ステップＳ１０３）。
【００４３】
比較部１１０は、タイミングチャート作成部１７から出力される基準タイミングチャートと、時刻設定部１９から出力される第１及び第２の比較用タイミングチャートとを比較し（ステップＳ１０４）、基準タイミングチャートと、第１及び第２の比較用タイミングチャートとを比較する画像を表示部１１２に表示させる（ステップＳ１０５）。判断部１１１は、基準タイミングチャートと、第１及び第２の比較用タイミングチャートとの動作タイミングの差が予め設定される範囲内であるか否かを判断する（ステップＳ１０６）。基準タイミングチャートと、第１及び第２の比較用タイミングチャートとの動作タイミングの差が予め設定される範囲内である場合（ステップＳ１０６のＹｅｓ）、判断部１１１は、処理を終了させる。基準タイミングチャートと、第１及び第２の比較用タイミングチャートとの動作タイミングの差が予め設定される範囲を超える場合（ステップＳ１０６のＮｏ）、判断部１１１は、警報を発報する（ステップＳ１０７）。
【００４４】
以上のように、上記実施形態に係る制御ロジック検証装置では、制御ロジック仕様作成部１２は、所定の文法に従って入力される第１の入力データ及び／又は所定の作画機能に従って入力される第２の入力データに基づいて制御ロジック仕様を作成する。解析部１４は、制御ロジック仕様を解析し、中間コードを作成する。そして、回路図作成部１５は、中間コードに基づいて第１の論理回路図を作成し、表示部１１２に表示させるようにしている。これにより、制御ロジック検証装置は、制御ロジックをグラフィカルに画面表示することが可能となる。
【００４５】
また、上記実施形態に係る制御ロジック検証装置では、模擬動作部１６は、中間コードを、様々な条件に対応するパラメータを用いて実行することで、設備機器に対する様々な条件下での制御を模擬的に行う。そして、回路図作成部１５は、模擬的に動作させた制御について第２の論理回路図を作成するようにしている。また、タイムチャート作成部１７は、模擬的に動作させた制御についてタイムチャートを作成するようにしている。これにより、制御ロジックの動作を任意の条件下でシミュレートし、その結果をタイムチャート等の形式で画面表示することが可能となる。
【００４６】
したがって、本実施形態に係る制御ロジック検証装置によれば、作成した制御ロジックの妥当性を容易に検証することができる。
【００４７】
また、上記実施形態に係る制御ロジック検証装置では、解析処理部１８−１，１８−２は、制御用コントローラ２０−１，２０−２に記憶されているソフトウェアに基づいて、第１及び第２の比較用タイムチャートを作成する。そして、時刻設定部１９は、第１及び第２の比較用タイムチャートを制御ロジック検証装置で用いられる時刻に揃えるようにしている。これにより、制御ロジック検証装置は、制御用コントローラ２０−１，２０−２内の記録対象全ての応動出力を、絶対時間にて取得することが可能となる。
【００４８】
また、本実施形態に係る制御ロジック検証装置では、タイミングチャート作成部１７は、中間コードを参照し、基準タイミングチャートを作成する。そして、比較部１１０は、基準タイミングチャートと、第１及び第２の比較用タイミングチャートとを比較し、比較結果を表示部１１２に表示するようにしている。これにより、制御ロジック検証装置は、実際の応動出力と、本装置に入力した制御ロジックとの動作比較をグラフィカルに画面表示することが可能となる。
【００４９】
また、本実施形態に係る制御ロジック検証装置では、基準タイミングチャートと、第１又は第２の比較用タイミングチャートとの動作タイミングの差が予め設定される範囲を超える場合、判断部１１１は、異常が発生したと判断し、警報を発するようにしている。これにより、実際の応動出力に異常が発生した場合、自動的に通報することが可能となる。
【００５０】
したがって、本実施形態に係る制御ロジック検証装置によれば、制御ロジックから作成したソフトウェアの妥当性を容易に検証することができる。
【００５１】
なお、上記実施形態では、受変電設備における制御システムで利用される制御ロジックを検証する制御ロジック検証装置について説明した。しかしながら、これに限定される訳ではない。例えば、制御ロジック検証装置は、受変電設備以外の設備における制御システムで利用される制御ロジックを検証しても構わない。
【００５２】
また、上記実施形態では、制御ロジック検証装置に制御用コントローラ２０−１，２０−２が接続され、解析処理部１８−１，１８−２で第１及び第２の比較用タイミングチャートをそれぞれ作成する場合を例に説明した。しかしながら、これに限定される訳ではない。例えば、制御ロジック検証装置に接続される制御用コントローラは２台に限定されず、冗長化、機能分担、又はシステム規模に応じた処理負担の分散等により、制御用コントローラを３台以上適用する全ての場合にももちろん適用可能である。これにより、複数の制御用コントローラ間における事象解析を容易に行うことが可能となる。
【００５３】
また、上記実施形態では、解析処理部１８−１，１８−２は、制御ロジック検証装置に制御用コントローラ２０−１，２０−２が接続されると、制御用コントローラ２０−１，２０−２に記録されているソフトウェアを読み取る場合を例に説明した。しかしながら、これに限定される訳ではない。例えば、制御用コントローラ２０−１，２０−２は、制御ロジック検証装置に常に接続されており、ユーザからの読出し指示によりソフトウェアを制御ロジック検証装置へ出力するようにしても構わない。また、制御用コントローラ２０−１，２０−２は、制御ロジック検証装置に常に接続されており、設備機器へ送信する制御信号を解析処理部１８−１，１８−２へ出力するようにしても構わない。このとき、解析処理部１８−１，１８−２は、受信した制御信号に基づいて第１及び第２の比較用タイミングチャートを作成する。
【００５４】
本発明の実施形態を説明したが、この実施形態は、例として提示したものであり、発明の範囲を限定することは意図していない。この実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。この実施形態やその変形は、発明の範囲や要旨に含まれると同様に、特許請求の範囲に記載された発明とその均等の範囲に含まれるものである。
【符号の説明】
【００５５】
１１…入力部、１２…制御ロジック仕様作成部、１３…記憶部、１４…解析部、１５…回路図作成部、１６…模擬動作部、１７…タイミングチャート作成部、１８−１，１８−２…解析処理部、１９…時刻設定部、１１０…比較部、１１１…判断部、１１２…表示部、１１３…データ出力部、２０−１，２０−２…制御用コントローラ
【図１】
2014103705.tif 000003
【図２】
2014103705.tif 000004
【図３】
2014103705.tif 000005
【図４】
2014103705.tif 000006
【図５】
2014103705.tif 000007
【図６】
2014103705.tif 000008
【図７】
2014103705.tif 000009
【図８】
2014103705.tif 000010
【図９】
2014103705.tif 000011
【図１０】
2014103705.tif 000012