WO2020261487A1 - 解析装置、解析方法及び解析プログラム - Google Patents

Abstract

解析装置は、生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析する。制御プログラム群は、複数の変数を含む。複数の変数は、第１及び第２デバイスにそれぞれ対応する第１及び第２デバイス変数と、２つ以上のファイルにおいてアクセス可能な他の変数とを含む。解析装置は、取得部と、解析部と、特定部とを備える。取得部は、制御プログラム群を取得する。解析部は、いずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報を抽出し、１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報を抽出する。特定部は、第１及び第２依存関係に基づいて、第１デバイス変数から第２デバイス変数への依存関係を特定する。

Description

解析装置、解析方法及び解析プログラム

　本発明は、解析装置、解析方法及び解析プログラムに関する。

　工場等に設置された生産ラインは、コンベア、ロボットアーム等の複数のデバイス（機構）を含む。いずれかのデバイスで異常が発生すると、製品の製造が停止し、大きな損害が生じ得る。そのため、工場等においては、保全員が、生産ラインを定期的に巡回し、異常の発生又はその予兆の有無を確認している。

　生産ライン内で異常の発生又はその予兆が検知された場合に、異常が検知されたデバイスよりも前のデバイスに真の異常の原因が存在するときがある。したがって、真の異常の原因を特定するためには、生産ライン内の各デバイスの依存関係を把握することが重要である。しかしながら、生産ラインに含まれるデバイスの数が多くなり、かつ、各デバイスの動作条件が日々変化し得ることから、保全員が全てのデバイスの依存関係を正確に把握するのは困難である。

　特開２０１３－２２５２５１号公報（特許文献１）においては、制御プログラムで定義されている制御アルゴリズムと入出力機器との関係を可視化するための情報処理装置が提案されている。具体的には、特許文献１で提案されている情報処理装置においては、制御プログラムに記述されている各信号入出力用変数が、いずれの入出力機器と信号を入出力するための変数であるかが特定され、特定された結果に基づいて、各変数間の依存関係を示す有向グラフが生成される。特許文献１で開示される発明によれば、保全員は、生成された有向グラフを参照することによって、生産ラインに含まれる各入出力機器の依存関係を把握することができる。

特開２０１３－２２５２５１号公報

　工場等に設置された複数のデバイスの制御プログラムが構造化プログラミングによって記述される場合がある。構造化プログラミングによって記述された制御プログラムは、複数のファイルによって構成される。この制御プログラムは複数の変数を含む。複数の変数は、たとえば、第１デバイスに対応する第１デバイス変数と、第２デバイスに対応する第２デバイス変数とを含む。さらに、複数の変数は、２つ以上のファイルにおいてアクセス可能な他の変数（たとえば、グローバル変数）を含む場合がある。上記特許文献１に開示されている発明によれば、ファイル内におけるデバイス変数間の依存関係が解析されるため、たとえば、各ファイル内における第１デバイス変数と第２デバイス変数との依存関係を特定することはできる。しかしながら、上記特許文献１に開示されている発明においては、ファイルを跨って生じるデバイス変数間の依存関係については考慮されていないため、上記他の変数（２つ以上のファイルにおいてアクセス可能な他の変数）を介して複数のファイルに跨って生じる第１デバイス変数と第２デバイス変数との依存関係は特定されない。

　本発明は、このような問題を解決するためになされたものであって、その目的は、複数のファイルに跨って生じるデバイス変数間の依存関係を特定可能な解析装置、解析方法及び解析プログラムを提供することである。

　本発明のある局面に従う解析装置は、生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析するように構成されている。複数のデバイスは、第１デバイスと、第２デバイスとを含む。制御プログラム群は、複数のファイルから構成されている。制御プログラム群は、複数の変数を含む。複数の変数は、第１デバイスに対応する第１デバイス変数と、第２デバイスに対応する第２デバイス変数と、複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能な他の変数とを含む。解析装置は、取得部と、解析部と、特定部とを備える。取得部は、制御プログラム群を取得するように構成されている。解析部は、複数のファイルに含まれるいずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報を抽出し、複数のファイルに含まれる１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報を抽出するように構成されている。特定部は、第１依存関係と第２依存関係とに基づいて、第１デバイス変数から第２デバイス変数への依存関係を特定するように構成されている。

　この解析装置においては、複数のファイルに含まれるいずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報が抽出され、複数のファイルに含まれる１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報が抽出される。そして、抽出された第１依存関係と第２依存関係とに基づいて、第１デバイス変数から第２デバイス変数への依存関係が特定される。したがって、この解析装置によれば、各ファイルにおいて第１依存関係を特定可能な情報及び第２依存関係を特定可能な情報が抽出され、それらに基づいて第１デバイス変数から第２デバイス変数への依存関係が特定されるため、複数のファイルに跨って生じるデバイス変数間の依存関係を特定することができる。

　上記解析装置において、解析部は、複数のファイルの実行順序を示す実行順序情報に基づいて各ファイルの実行順序を特定し、特定された該実行順序に従って各ファイルを解析するように構成されていてもよい。

　この解析装置によれば、各ファイルの実行順序に従って各ファイルが解析されるため、各ファイルを一度解析するだけで、各デバイス変数間の依存関係を明確に特定することができる。

　上記解析装置において、他の変数は、複数のファイルの各々においてアクセス可能なグローバル変数であってもよい。

　この解析装置によれば、グローバル変数を介して複数のファイルに跨って生じる第１デバイス変数から第２デバイス変数への依存関係を特定することができる。

　上記解析装置において、制御プログラム群は、複数の制御プログラムを含み、複数の制御プログラムの一部又は全部は、複数のセクションを含み、複数の制御プログラムの各々、及び、複数のセクションの各々は、ファイルで構成されており、上記他の変数は、複数のセクションのうち少なくとも２つ以上のセクションにおいてアクセス可能なローカル変数であってもよい。

　この解析装置によれば、複数のセクションのうち少なくとも２つ以上のセクションにおいてアクセス可能なローカル変数を介して複数のセクションに跨って生じる第１デバイス変数から第２デバイス変数への依存関係を特定することができる。

　本発明の他の局面に従う解析方法は、生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析する方法である。複数のデバイスは、第１デバイスと、第２デバイスとを含む。制御プログラム群は、複数のファイルから構成されている。制御プログラム群は、複数の変数を含む。複数の変数は、第１デバイスに対応する第１デバイス変数と、第２デバイスに対応する第２デバイス変数と、複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能な他の変数とを含む。上記解析方法は、コンピュータが、制御プログラム群を取得するステップと、コンピュータが、複数のファイルに含まれるいずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報を抽出し、複数のファイルに含まれる１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報を抽出するステップと、コンピュータが、第１依存関係と第２依存関係とに基づいて、第１デバイス変数から第２デバイス変数への依存関係を特定するステップとを含む。

　この解析方法においては、複数のファイルに含まれるいずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報が抽出され、複数のファイルに含まれる１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報が抽出される。そして、抽出された第１依存関係と第２依存関係とに基づいて、第１デバイス変数から第２デバイス変数への依存関係が特定される。したがって、この解析方法によれば、各ファイルにおいて第１依存関係を特定可能な情報及び第２依存関係を特定可能な情報が抽出され、それらに基づいて第１デバイス変数から第２デバイス変数への依存関係が特定されるため、複数のファイルに跨って生じるデバイス変数間の依存関係を特定することができる。

　本発明の他の局面に従う解析プログラムは、生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析する処理をコンピュータに実行させるためのプログラムである。複数のデバイスは、第１デバイスと、第２デバイスとを含む。制御プログラム群は、複数のファイルから構成されている。制御プログラム群は、複数の変数を含む。複数の変数は、第１デバイスに対応する第１デバイス変数と、第２デバイスに対応する第２デバイス変数と、複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能な他の変数とを含む。上記解析プログラムは、制御プログラム群を取得するステップと、複数のファイルに含まれるいずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報を抽出し、複数のファイルに含まれる１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報を抽出するステップと、第１依存関係と第２依存関係とに基づいて、第１デバイス変数から第２デバイス変数への依存関係を特定するステップとをコンピュータに実行させるように構成されている。

　この解析プログラムにおいては、複数のファイルに含まれるいずれかのファイルを解析することによって第１デバイス変数から上記他の変数への第１依存関係を特定可能な情報が抽出され、複数のファイルに含まれる１又は複数の他のファイルを解析することによって上記他の変数から第２デバイス変数への第２依存関係を特定可能な情報が抽出される。そして、抽出された第１依存関係と第２依存関係とに基づいて、第１デバイス変数から第２デバイス変数への依存関係が特定される。したがって、この解析プログラムによれば、各ファイルにおいて第１依存関係を特定可能な情報及び第２依存関係を特定可能な情報が抽出され、それらに基づいて第１デバイス変数から第２デバイス変数への依存関係が特定されるため、複数のファイルに跨って生じるデバイス変数間の依存関係を特定することができる。

　本発明によれば、複数のファイルに跨って生じるデバイス変数間の依存関係を特定可能な解析装置、解析方法及び解析プログラムを提供することができる。

解析装置が含まれるシステムの一例を示す図である。 解析装置のハードウェア構成の一例を示す図である。 ＰＬＣのハードウェア構成の一例を示す図である。 解析装置のソフトウェア構成の一例を示す図である。 解析装置において実行される処理手順の一例を示すフローチャートである。 制御プログラム群に含まれている各プログラムが割り当てられているタスクの種類を示す図である。 制御プログラム群における各ファイルの実行順序の特定処理手順の一例を示すフローチャートである。 制御プログラム群における各ファイルの実行順序の特定処理手順を説明するための図である。 解析装置における各ファイルの解析処理手順の一例を示すフローチャートである。 制御プログラム群の一例を示す図である。 図１０に示される例における各セクションの抽象構文木を示す図である。 図１１に示される例における各セクションの制御フローグラフを示す図である。 解析対象のファイル内で利用されている各変数間の依存関係の抽出処理手順の一例を示すフローチャートである。 抽出結果データの一例を示す図である。 デバイス変数間の依存関係を特定する処理手順を示すフローチャートである。 特定結果データの一例を示す図である。 図１４の例において特定されデバイス変数間の依存関係を示す有向グラフの一例を示す図である。

　以下、本発明の一側面に係る実施の形態（以下、「本実施の形態」とも称する。）について、図面を用いて詳細に説明する。なお、図中同一又は相当部分には同一符号を付してその説明は繰り返さない。また、以下で説明する本実施の形態は、あらゆる点において本発明の例示にすぎない。本実施の形態は、本発明の範囲内において、種々の改良や変更が可能である。すなわち、本発明の実施にあたっては、実施の形態に応じて具体的構成を適宜採用することができる。

　［１．概要］
　図１は、本実施の形態に従う解析装置１が含まれるシステムの一例を示す図である。図１に示されるように、システムＳ１は、生産ライン２７と、ＰＬＣ２と、解析装置１とを含んでいる。

　生産ライン２７は複数のデバイス２８によって構成されており、ＰＬＣ（Programable logic controller）２は制御プログラム群２２１に従って複数のデバイス２８の各々を制御するように構成されている。

　生産ライン２７は何らかの物を生産可能であればよく、その種類は特に限定されない。デバイス２８の種類は、特に限定されず、実施の形態に応じて適宜選択可能である。デバイス２８は、たとえば、コンベア、ロボットアーム、サーボモータ、シリンダ、吸着パッド、カッター装置、シール装置等であってもよい。また、デバイス２８は、たとえば、成形機、印刷機、実装機、リフロー炉、基板検査装置等の複合装置であってもよい。

　解析装置１は、ＰＬＣ２によって実行される制御プログラム群２２１の解析を通じて、生産ライン２７に含まれる複数のデバイス２８間の依存関係を導出するように構成されている。

　制御プログラム群２２１は、複数のファイルから構成されている。制御プログラム群２２１では、複数の変数が利用されている。複数の変数は、各々が各デバイス２８に対応する複数のデバイス変数３１を含む。デバイス変数３１は、生産ライン２７に含まれるデバイス２８に対応し、対応するデバイス２８に対する何らかの命令を定めるために制御プログラム群２２１内で利用される。また、複数の変数は、２つ以上のファイルに跨って利用される他の変数（たとえば、グローバル変数３３）を含む。

　仮に、各ファイルにおけるデバイス変数３１間の依存関係のみが解析装置１によって導出されるとする。この場合には、各ファイル内におけるデバイス変数３１間の依存関係は導出可能であるが、複数のファイルを跨って生じるデバイス変数３１間の依存関係は導出不可能である。

　解析装置１においては、複数のファイルに含まれるいずれかのファイル（たとえば、Program00）を解析することによって、デバイス変数３１（たとえば、「Ｄ１」）から他の変数（たとえば、「Ｇ１」）への第１依存関係を特定可能な情報が抽出される。そして、複数のファイルに含まれる１又は複数の他のファイル（たとえば、Program01）を解析することによって、他の変数（たとえば、「Ｇ１」）からデバイス変数３１（たとえば、「Ｄ２」）への第２依存関係を特定可能な情報が抽出される。さらに、第１及び第２依存関係に基づいて、デバイス変数３１（たとえば、「Ｄ１」）からデバイス変数３１（たとえば、「Ｄ２」）への依存関係が特定される。

　したがって、解析装置１によれば、各ファイルにおいて第１依存関係を特定可能な情報及び第２依存関係を特定可能な情報が抽出され、それらに基づいてデバイス変数３１（たとえば、「Ｄ１」）からデバイス変数３１（たとえば、「Ｄ２」）への依存関係が特定されるため、複数のファイルに跨って生じるデバイス変数３１間の依存関係を特定することができる。

　［２．ハードウェア構成］
　（２－１．解析装置）
　図２は、本実施の形態に従う解析装置１のハードウェア構成の一例を示す図である。図２に示されるように、解析装置１は、制御部１１と、記憶部１２と、通信インターフェース１３と、入力装置１４と、表示装置１５と、ドライブ１６とが電気的に接続されたコンピュータである。なお、図２では、通信インターフェースを「通信Ｉ／Ｆ」と記載している。

　制御部１１は、ハードウェアプロセッサであるＣＰＵ（Central Processing Unit）、ＲＡＭ（Random Access Memory）及びＲＯＭ（Read Only Memory）等を含み、プログラム及び各種データに基づいて情報処理を実行するように構成されている。記憶部１２は、メモリの一例であり、たとえば、ハードディスクドライブ、ソリッドステートドライブ等の補助記憶装置により構成されている。本実施の形態において、記憶部１２は、解析プログラム８１、タスク設定情報１２１及びプログラム構造情報１２２等の各種情報を記憶する。

　解析プログラム８１は、複数のデバイス２８間の依存関係の導出に関する情報処理（後述する図５、図６、図８、図１２及び図１４）を解析装置１に実行させるためのプログラムである。解析プログラム８１は、この情報処理の一連の命令群を含む。タスク設定情報１２１及びプログラム構造情報１２２は、制御プログラム群２２１に含まれる複数のファイルの実行順序を特定するために用いられる。タスク設定情報１２１及びプログラム構造情報１２２については、後程詳しく説明する。

　通信インターフェース１３は、たとえば、有線ＬＡＮ（Local Area Network）モジュール、無線ＬＡＮモジュール等であり、ネットワークを介した有線又は無線通信を行うためのインターフェースである。解析装置１は、たとえば、通信インターフェース１３を介してＰＬＣ２との間でデータ通信を行い、ＰＬＣ２から制御プログラム群２２１を取得する。なお、ネットワークの種類は、たとえば、インターネット、無線通信網、移動通信網、電話網、専用網等から適宜選択可能である。

　入力装置１４は、たとえば、マウス、キーボード等の入力を行うための装置である。また、表示装置１５は、出力装置の一例であり、たとえば、ディスプレイである。オペレータは、入力装置１４及び表示装置１５を介して、解析装置１を操作することができる。なお、表示装置１５は、タッチパネルディスプレイであってもよい。この場合、入力装置１４は省略されてもよい。

　ドライブ１６は、たとえば、ＣＤドライブ、ＤＶＤドライブ等であり、記憶媒体９１に記憶されたプログラムを読み込むためのドライブ装置である。ドライブ１６の種類は、記憶媒体９１の種類に応じて適宜選択可能である。上記解析プログラム８１、タスク設定情報１２１、プログラム構造情報１２２及び制御プログラム群２２１の少なくともいずれかは、記憶媒体９１に記憶されていてもよい。

　記憶媒体９１は、コンピュータその他装置、機械等が、記録されたプログラム等の情報を読み取り可能なように、当該プログラム等の情報を、電気的、磁気的、光学的、機械的又は化学的作用によって蓄積する媒体である。解析装置１は、記憶媒体９１から、上記解析プログラム８１、タスク設定情報１２１、プログラム構造情報１２２及び制御プログラム群２２１の少なくともいずれかを取得してもよい。

　図２においては、記憶媒体９１の一例として、ＣＤ、ＤＶＤ等のディスク型の記憶媒体を例示している。しかしながら、記憶媒体９１の種類は、ディスク型に限定される訳ではなく、ディスク型以外であってもよい。ディスク型以外の記憶媒体として、たとえば、フラッシュメモリ等の半導体メモリを挙げることができる。

　なお、解析装置１の具体的なハードウェア構成に関して、実施の形態に応じて、適宜、構成要素の省略、置換及び追加が可能である。たとえば、制御部１１は、複数のハードウェアプロセッサを含んでもよい。ハードウェアプロセッサは、マイクロプロセッサ、ＦＰＧＡ（field-programmable gate array）、ＤＳＰ（digital signal processor）等で構成されてよい。記憶部１２は、制御部１１に含まれるＲＡＭ及びＲＯＭにより構成されてもよい。通信インターフェース１３、入力装置１４、表示装置１５及びドライブ１６の少なくともいずれかは省略されてもよい。解析装置１は、たとえば、スピーカ等の表示装置１５以外の出力装置をさらに備えてもよい。解析装置１は、複数台のコンピュータで構成されてもよい。この場合、各コンピュータのハードウェア構成は、一致していてもよいし、一致していなくてもよい。また、解析装置１は、提供されるサービス専用に設計された情報処理装置の他、デスクトップＰＣ（Personal Computer）、タブレットＰＣ等の汎用の情報処理装置、汎用のサーバ装置等であってもよい。

　（２－２．ＰＬＣ）
　図３は、本実施の形態に従うＰＬＣ２のハードウェア構成の一例を示す図である。図３に示されるように、ＰＬＣ２は、制御部２１と、記憶部２２と、入出力インターフェース２３と、通信インターフェース２４とが電気的に接続されたコンピュータである。ＰＬＣ２は、生産ライン２７の各デバイス２８の動作を制御するように構成される。なお、図３では、入出力インターフェース及び通信インターフェースをそれぞれ「入出力Ｉ／Ｆ」及び「通信Ｉ／Ｆ」と記載している。

　制御部２１は、ＣＰＵ、ＲＡＭ及びＲＯＭ等を含み、プログラム及び各種データに基づいて情報処理を実行するように構成される。記憶部２２は、たとえば、ＲＡＭ、ＲＯＭ等で構成され、制御プログラム群２２１等の各種情報を記憶する。制御プログラム群２２１は、生産ライン２７の動作を制御するためのプログラムである。制御プログラム群２２１は、生産ライン２７に含まれる複数のデバイス２８の動作を制御するための複数の命令を含む。

　入出力インターフェース２３は、外部装置と接続するためのインターフェースであり、接続する外部装置に応じて適宜構成される。本実施の形態において、ＰＬＣ２は、入出力インターフェース２３を介して、生産ライン２７に接続される。入出力インターフェース２３の数は、特に限定されなくてもよく、実施の形態に応じて適宜設定可能である。

　通信インターフェース２４は、たとえば、有線ＬＡＮモジュール、無線ＬＡＮモジュール等であり、有線又は無線通信を行うためのインターフェースである。ＰＬＣ２は、通信インターフェース２４を介して、解析装置１との間でデータ通信を行うことができる。

　なお、ＰＬＣ２の具体的なハードウェア構成に関して、実施の形態に応じて、適宜、構成要素の省略、置換、及び追加が可能である。たとえば、制御部２１は、複数のプロセッサを含んでもよい。記憶部２２は、制御部２１に含まれるＲＡＭ及びＲＯＭにより構成されてもよい。記憶部２２は、ハードディスクドライブ、ソリッドステートドライブ等の補助記憶装置により構成されてもよい。また、ＰＬＣ２は、提供されるサービス専用に設計された情報処理装置の他、制御する対象に応じて、デスクトップＰＣ、タブレットＰＣ等の汎用の情報処理装置であってもよい。

　［３．ソフトウェア構成］
　図４は、本実施の形態に従う解析装置１のソフトウェア構成の一例を示す図である。解析装置１の制御部１１は、記憶部１２に記憶された解析プログラム８１をＲＡＭに展開する。制御部１１は、ＲＡＭに展開された解析プログラム８１をＣＰＵにより解釈及び実行して、各構成要素を制御する。

　図４に示されるように、本実施の形態に従う解析装置１は、制御プログラム取得部１１１と、制御プログラム解析部１１２と、関係特定部１１３と、出力部１１４とをソフトウェアモジュールとして備えるコンピュータとして動作する。すなわち、本実施の形態において、解析装置１の各ソフトウェアモジュールは、制御部１１（ＣＰＵ）により実現される。

　制御プログラム取得部１１１は、制御プログラム群２２１をＰＬＣ２から取得する。制御プログラム群２２１は、複数のファイルから構成されている。制御プログラム群２２１は、複数の変数を含む。複数の変数は、各々が生産ライン２７に含まれる各デバイス２８に対応する複数のデバイス変数３１と、制御プログラム群２２１を構成する複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能なローカル変数３２及び／又はグローバル変数３３とを含む。

　制御プログラム解析部１１２は、タスク設定情報記憶部１１５に記憶されているタスク設定情報１２１と、プログラム構造記憶部１１６に記憶されているプログラム構造情報１２２とに基づいて、制御プログラム群２２１に含まれる各ファイルの実行順序を特定する。なお、タスク設定情報記憶部１１５及びプログラム構造記憶部１１６は、記憶部１２によって実現されている。また、タスク設定情報１２１及びプログラム構造情報１２２に関しては、後程詳しく説明する。また、制御プログラム解析部１１２は、特定された実行順序に従って、制御プログラム群２２１に含まれる各ファイルにおける変数間の依存関係を抽出する。

　関係特定部１１３は、制御プログラム解析部１１２によって抽出された各ファイルにおける変数間の依存関係に基づいて、ファイル内におけるデバイス変数３１間の依存関係、及び、複数のファイルに跨って生じるデバイス変数３１間の依存関係を特定する。

　出力部１１４は、特定された依存関係に基づいて、各デバイス変数３１間の依存関係を示す有向グラフを生成する。有向グラフは、各デバイス変数３１をそれぞれ表現するノード、及び、依存関係を有することを表現する１つ以上のエッジを含む。また、出力部１１４は、生成された有向グラフを表示装置１５（図２）に出力する。

　解析装置１の各ソフトウェアモジュールに関しては後述する動作例で詳細に説明する。なお、本実施の形態では、解析装置１の各ソフトウェアモジュールがいずれも汎用のＣＰＵにより実現される例について説明している。しかしながら、ソフトウェアモジュールの一部又は全部が、１又は複数の専用のハードウェアプロセッサにより実現されてもよい。また、解析装置１のソフトウェア構成に関して、実施の形態に応じて、適宜、ソフトウェアモジュールの省略、置換及び追加が行われてもよい。

　［４．解析装置の動作］
　図５は、本実施の形態に従う解析装置１において実行される処理手順の一例を示すフローチャートである。ただし、以下で説明する処理手順は一例に過ぎず、各処理は可能な限り変更されてもよい。また、以下で説明する処理手順において、実施の形態に応じて、適宜、ステップの省略、置換、及び追加が可能である。

　図５を参照して、制御部１１は、制御プログラム取得部１１１として機能し、制御プログラム群２２１をＰＬＣ２から取得する（ステップＳ１００）。制御プログラム群２２１は、たとえば、ストラクチャード・テキスト言語によって記述されている。なお、制御プログラム群２２１は、複数のファイルによって構成されていればどのようなプログラミング言語で記述されていてもよい。

　次に、制御部１１は、制御プログラム解析部１１２として機能し、制御プログラム群２２１における各ファイルの実行順序の特定処理を実行する（ステップＳ１１０）。各ファイルの実行順序の特定処理について説明する前に、各ファイルの実行順序がどのような基準に従って定められているかについて説明する。

　図６は、制御プログラム群２２１に含まれている各プログラムが割り当てられているタスクの種類を示す図である。図６に示されるように、制御プログラム群２２１に含まれている各プログラムは、「プライマリ定周期」、「定周期」及び「イベント」のいずれかのタスクに割り当てられている。各タスクには１又は複数のプログラムが割り当てられており、各プログラムには１又は複数のセクションが含まれている。制御プログラム群２２１においては、各セクションが１つのファイルとなっている。上述のグローバル変数３３は、制御プログラム群２２１に含まれる各セクションからアクセス可能である。一方、ローカル変数３２は、同一プログラムに含まれる他のセクションからはアクセス可能であるが、他のプログラムに含まれるセクションからはアクセス不可能である。

　制御プログラム群２２１に含まれている各プログラムは、「プライマリ定周期」、「定周期」及び「イベント」の順に優先的に実行される。同一のタスクに割り当てられている複数のプログラム間においては、各プログラムの優先度が高い順に優先的に実行される（たとえば、優先度の値が小さい順に実行される）。同一の優先度の複数のプログラム間においては、タスク設定情報１２１において登録されている順が早いプログラムが優先的に実行される。同一のプログラムに含まれる複数のセクション間においては、プログラム構造情報１２２において登録されている順が早いセクションが優先的に実行される。

　図７は、制御プログラム群２２１における各ファイルの実行順序の特定処理手順の一例を示すフローチャートである。図８は、制御プログラム群２２１における各ファイルの実行順序の特定処理手順を説明するための図である。解析装置１においては、実行順序情報１２３を生成することによって、各ファイルの実行順序を特定する。なお、以下で説明する処理手順は一例に過ぎず、各処理は可能な限り変更されてもよい。また、以下で説明する処理手順において、実施の形態に応じて、適宜、ステップの省略、置換、及び追加が可能である。

　図７及び図８を参照して、制御部１１は、タスク設定情報１２１を参照することによって、上述の基準に従って次に実行されるプログラムを選択する（ステップＳ２００）。たとえば、制御部１１は、初めてステップＳ２００の処理を実行する場合には、上述の基準に従って最初に実行されるプログラムを選択する。たとえば、図８に示される例では、「PrimaryTask」（「プライマリ定周期」）に割り当てられている「Program0」を選択する。

　次に、制御部１１は、プログラム構造情報１２２を参照することによって、ステップＳ２００において選択されたプログラムに対応するセクションを抽出する（ステップＳ２１０）。たとえば、図８に示される例において、ステップＳ２００で「Progarm0」が選択された場合には、プログラム構造情報１２２において「Program0」に対応付けられている「Section0#0」を抽出する。

　次に、制御部１１は、ステップＳ２００において選択されたプログラムが含まれているタスク設定情報１２１のレコードに、ステップＳ２１０において抽出されたセクションを対応付けることによって、実行順序情報１２３の新たなレコードを生成する（ステップＳ２２０）。たとえば、図８に示される例において、ステップＳ２００で「Program0」が選択された場合には、「Progaram0」が含まれるタスク設定情報１２１のレコードに「Section0#0」を対応付けることによって、実行順序情報１２３の新たなレコードを生成する。

　その後、制御部１１は、生成された新たなレコードを実行順序情報１２３に追加する（ステップＳ２３０）。そして、制御部１１は、タスク設定情報１２１に含まれる全プログラム関し処理が終了したか否かを判定する（ステップＳ２４０）。処理が終了していないと判定されると（ステップＳ２４０においてＮＯ）、制御部１１は、ステップＳ２００－ステップＳ２３０の処理を繰り返す。一方、処理が終了したと判定されると（ステップＳ２４０においてＹＥＳ）、制御部１１は、各ファイルの実行順序の特定処理を終了する。これにより、実行順序情報１２３が生成され、制御プログラム群２２１における各ファイルの実行順序が特定される。

　再び図５を参照して、各ファイルの実行順序が特定されると、制御部１１は、制御プログラム解析部１１２として機能し、特定された実行順序に従って各ファイルの解析処理を実行する（ステップＳ１２０）。すなわち、解析装置１においては、実行順序情報１２３に早く登録されたセクションから順に、ファイルの解析処理が実行される。たとえば、図８に示される例では、「Section0#0」、「Section1#0」、「Section1#1」の順にファイルの解析処理が実行される。ファイルの解析処理を通じて、各ファイルに含まれる変数（デバイス変数３１、ローカル変数３２及びグローバル変数３３）間の依存関係が抽出される。

　図９は、解析装置１における各ファイルの解析処理手順の一例を示すフローチャートである。ただし、以下で説明する処理手順は一例に過ぎず、各処理は可能な限り変更されてもよい。また、以下で説明する処理手順において、実施の形態に応じて、適宜、ステップの省略、置換、及び追加が可能である。

　図９を参照して、制御部１１は、解析対象となるファイルに対する構文解析を実行することによって、解析対象のファイルから抽象構文木を生成する（ステップＳ３００）。抽象構文木の生成には、たとえば、トップダウン構文解析又はボトムアップ構文解析による公知の構文解析方法を用いることができる。

　図１０は、制御プログラム群２２１の一例を示す図である。図１０に示されるように、この例において、制御プログラム群２２１は、セクション３０１，３０２，３０３を含んでいる。

　図１１は、図１０に示される例における各セクションの抽象構文木を示す図である。図１１を参照して、抽象構文木４０１，４０２，４０３は、それぞれセクション３０１，３０２，３０３の抽象構文木である。たとえば、セクション３０１の解析処理においては、抽象構文木４０１が生成される。なお、図１１においては、括弧を利用したネスト構造により抽象構文木が表現されている。たとえば、「ａ＝ｂ＋１」に対して構文解析を実行することで、抽象構文木「（＝ａ（＋　ｂ　１））」が得られる。このネスト構造で表現された抽象構文木においては、「＝」が根ノードである。「ａ」が根ノード「＝」に連結される葉ノードであり、「＋」が根ノード「＝」に連結される内部ノードである。「ｂ」及び「１」が、内部ノード「＋」に連結される葉ノードである。

　再び図９を参照して、抽象構文木が生成されると、制御部１１は、生成された抽象構文木を利用して、フロー解析を実行する。フロー解析の方法は、特に限定されなくてもよく、実施の形態に応じて適宜選択されてよい。フロー解析には、公知の方法が採用されてよい。これにより、制御部１１は、制御プログラム群２２１の各ファイルに含まれる各命令の依存経路を示す制御フローグラフを抽象構文木から生成する。

　図１２は、図１１に示される例における各セクションの制御フローグラフを示す図である。図１２を参照して、制御フローグラフ５０１，５０２，５０３は、それぞれ抽象構文木４０１，４０２，４０３に対応する制御フローグラフである。制御フローグラフ５０１，５０２，５０３は、それぞれセクション３０１，３０２，３０３の処理の流れ（実線の矢印）、データの依存性（点線の矢印）を示す。処理の流れは、セクション３０１，３０２，３０３の各々において処理が実行される順序を示す。たとえば、セクション３０１においては、「Ｌ１：＝Ｄ１」の処理の後に「Ｇ１：＝Ｌ１」の処理が実行される。そのため、制御フローグラフ５０１において、「Ｌ１：＝Ｄ１」及び「Ｇ１：＝Ｌ１」は、処理の流れを示す矢印で連結されている。

　データの依存性は、影響を与える処理の関係を示す。たとえば、制御フローグラフ５０１においては、「Ｌ１：＝Ｄ１」の処理の結果が、「Ｇ１：＝Ｌ１」の処理に影響を与える。そのため、制御フローグラフ５０１において、「Ｌ１：＝Ｄ１」及び「Ｇ１：＝Ｌ１」は、データの依存性を示す矢印で連結されている。

　生成される制御フローグラフによれば、制御プログラム群２２１に含まれる各ファイルにおける変数の演算を含む処理同士の依存関係を特定することができる。

　再び図９を参照して、制御フローグラフが生成されると、制御部１１は、解析対象のファイル内で利用されているデバイス変数３１、ローカル変数３２及びグローバル変数３３を抽象構文木又は制御フローグラフから抽出する（ステップＳ３２０）。解析対象のファイル内で利用されている各変数を抽出する方法は、実施の形態に応じて適宜選択可能である。

　その後、制御部１１は、解析対象のファイル内で利用されている各変数間の依存関係の抽出処理を実行する（ステップＳ３３０）。

　図１３は、解析対象のファイル内で利用されている各変数間の依存関係の抽出処理手順の一例を示すフローチャートである。ただし、以下で説明する処理手順は一例に過ぎず、各処理は可能な限り変更されてもよい。また、以下で説明する処理手順において、実施の形態に応じて、適宜、ステップの省略、置換、及び追加が可能である。

　図１３を参照して、制御部１１は、図９のステップＳ３２０において抽出された各変数をリストアップする（ステップＳ４００）。たとえば、図１０のセクション３０１の解析中においては、デバイス変数「Ｄ１」、ローカル変数「Ｌ１」及びグローバル変数「Ｇ１」がリストアップされる。

　各変数がリストアップされると、制御部１１は、抽出された変数のリストから注目する変数（以下、「注目変数」とも称する。）をピックアップする（ステップＳ４１０）。なお、解析対象のファイルが最初のファイルである場合に限り、制御部１１は、デバイス変数３１のみを注目変数としてピックアップする。解析対象のファイルが２つ目以降のファイルである場合には、たとえば、制御部１１は、デバイス変数３１、及び、以前に解析されたファイルにおいて注目変数と依存関係が検出された変数であって以前に解析されたファイルと現在解析中のファイルとの両方からアクセス可能な変数（ローカル変数３２及びグローバル変数３３）を注目変数としてピックアップする。なお、制御部１１は、解析対象のファイルが２つ目以降のファイルである場合に、解析対象のファイルに含まれる全てのデバイス変数３１、ローカル変数３２及びグローバル変数３３の各々を注目変数としてピックアップしてもよい。

　制御部１１は、制御フローグラフ（たとえば、制御フローグラフ５０１，５０２又は５０３）において、ピックアップされた注目変数を起点に各命令の依存する経路（たとえば、データの依存する経路）を一方向にたどる（ステップＳ４２０）。なお、該経路は、矢印方向に従う順方向及び矢印方向に逆らう逆方向の２方向にたどることができる。そのため、ステップＳ４２０において、制御部１１は、これら２方向のうちのいずれかの方向を上記一方向として選択し、選択された方向に経路をたどる。

　制御部１１は、経路をたどった結果、注目変数と依存関係を有する変数をリストアップする。依存関係を有する変数とは、経路上に存在する変数である。

　たとえば、図１２の制御フローグラフ５０１において、デバイス変数「Ｄ１」を注目変数としてピックアップした場面を想定する。この場合には、ステップＳ４２０において、「Ｌ１：＝Ｄ１」から「Ｇ１：＝Ｌ１」へと依存性の経路をたどることができる。ステップＳ４３０においては、ローカル変数「Ｌ１」及びグローバル変数「Ｇ１」がリストアップされる。

　注目変数との依存関係を有する変数がリストアップされると、制御部１１は、注目変数とリストアップされた変数との依存関係を示す情報（抽出結果データ６００）を保存する（ステップＳ４４０）。

　図１４は、ステップＳ４４０において保存された抽出結果データ６００の一例を示す図である。図１４に示されるように、抽出結果データ６００は、テーブル構造を有しており、各レコード（行データ）は、「ＮＯ」、「ＰＲＯＧＲＡＭ」、「ＳＥＣＴＩＯＮ」、「ＤＥＶＩＣＥ」、「ＦＯＣＵＳ」、「ＶＡＲＩＡＢＬＥ」、「ＴＹＰＥ」、「ＩＮＳＴＡＮＣＥ」、「ＦＵＮＣＴＩＯＮ」、「ＰＡＲＡＭＥＴＥＲ」及び「ＩＯ」のフィールドを有している。ただし、抽出結果のデータ構成は、このような例に限定されなくてもよく、実施の形態に応じて適宜決定されてよい。

　「ＮＯ」フィールドには、各レコードの番号が格納される。各レコードの番号は、解析結果を識別するために利用される。

　「ＰＲＯＧＲＡＭ」フィールドには、解析対象のセクションが含まれているプログラムの名称が格納される。「ＳＥＣＴＩＯＮ」フィールドには、解析対象のセクションの名称が格納される。

　「ＤＥＶＩＣＥ」フィールドには、依存関係のパターンを抽出するために注目しているデバイス変数（注目デバイス変数）の名称が格納される。「ＦＯＣＵＳ」フィールドには、依存性の経路をたどる際に起点にした変数（注目変数）の名称が格納される。

　「ＶＡＲＩＡＢＬＥ」フィールドには、「ＦＯＣＵＳ」フィールドにより示される変数と依存関係を有する変数の名称が格納される。図１３のステップＳ４３０で抽出される依存性の経路に含まれる他の変数の情報は、この「ＶＡＲＩＡＢＬＥ」フィールドに格納される。「ＴＹＰＥ」フィールドには、「ＶＡＲＩＡＢＬＥ」フィールドに記載の変数の種類を示す情報が格納される。たとえば、変数がグローバル変数３３である場合には「＜ＧＬＯＢＡＬ＞」が格納され、変数がローカル変数３２である場合には「＜ＬＯＣＡＬ＞」が格納される。

　「ＩＮＳＴＡＮＣＥ」フィールドには、「ＦＯＣＵＳ」フィールドにより示される変数と依存関係を有する関数のインスタンスの名称が格納される。「ＦＵＮＣＴＩＯＮ」フィールドには、「ＩＮＳＴＡＮＣＥ」フィールドにより示されるインスタンスの関数の名称が格納される。「ＰＡＲＡＭＥＴＥＲ」フィールドには、「ＦＯＣＵＳ」フィールドにより示される変数と依存関係を有する関数のパラメータの名称が格納される。「ＩＯ」フィールドには、「ＰＡＲＡＭＥＴＥＲ」フィールドにより示されるパラメータの種別（入力パラメータであるか出力パラメータであるか）を示す情報が格納される。なお、関数のインスタンスのパラメータに対する依存関係がない場合には、「ＩＮＳＴＡＮＣＥ」、「ＦＵＮＣＴＩＯＮ」、「ＰＡＲＡＭＥＴＥＲ」及び「ＩＯ」フィールドが「ＮＯＮＥ」となる。

　図１４において、ＮＯ「０」及び「１」は、図１０におけるセクション３０１の解析を通じて得られた結果である。ＮＯ「２」は、図１０におけるセクション３０２の解析を通じて得られた結果である。ＮＯ「３」は、図１０におけるセクション３０３の解析を通じて得られた結果である。

　再び図１３を参照して、ステップＳ４４０において変数間の依存関係が保存されると、制御部１１は、制御フローグラフにおける依存経路の追跡が両方向において終了しているか否かを判定する（ステップＳ４５０）。両方向において終了していないと判定されると（ステップＳ４５０においてＮＯ）、制御部１１は、ステップＳ４２０に戻り制御フローグラフを逆方向にたどる。

　一方、両方向において終了していると判定されると（ステップＳ４５０においてＹＥＳ）、制御部１１は、起点にすべき全変数に関し処理済みであるか否かを判定する（ステップＳ４６０）。起点にすべき全変数に関し処理済みではないと判定されると（ステップＳ４６０においてＮＯ）、制御部１１は、ステップＳ４１０－ステップＳ４５０の処理を繰り返す。一方、起点にすべき全変数に関し処理済みであると判定されると（ステップＳ４６０においてＹＥＳ）、制御部１１は、変数間の依存関係の抽出処理を終了する。

　再び図５を参照して、ステップＳ１２０においてファイルの解析処理が終了すると、制御部１１は、制御プログラム群２２１に含まれる全ファイルの解析処理が終了したか否かを判定する（ステップＳ１３０）。全ファイルの解析処理は終了していないと判定されると（ステップＳ１３０においてＮＯ）、制御部１１は、実行順序情報１２３に従って次のファイルの解析処理を実行する。

　一方、全ファイルの解析処理が終了したと判定されると（ステップＳ１３０においてＹＥＳ）、制御部１１は、デバイス変数３１間の依存関係の特定処理を実行する（ステップＳ１４０）。

　なお、抽出結果データ６００は、全ファイルの解析処理が終了した時点で完成する。たとえば、図１０に示される例においては、「Section0#0」、「Section1#0」、「Section1#1」の解析処理が終了した時点で図１４に示される抽出結果データ６００が完成する。すなわち、「Section0#0」の解析処理が終了した時点で、デバイス変数「Ｄ１」からグローバル変数「Ｇ１」への依存関係が存在することが明らかになり、「Section1#0」の解析処理が終了した時点で、グローバル変数「Ｇ１」からローカル変数「Ｌ２」への依存関係が存在することが明らかになる。また、「Section1#1」の解析処理が終了した時点で、ローカル変数「Ｌ２」からデバイス変数「Ｄ２」への依存関係が存在することが明らかになる。

　図１５は、デバイス変数間の依存関係を特定する処理手順を示すフローチャートである。ただし、以下で説明する処理手順は一例に過ぎず、各処理は可能な限り変更されてもよい。また、以下で説明する処理手順において、実施の形態に応じて、適宜、ステップの省略、置換、及び追加が可能である。

　図１５を参照して、制御部１１は、制御プログラム群２２１で利用されているデバイス変数３１をリストアップする（ステップＳ５００）。一例として、制御部１１は、デバイス変数のリストを参照することで、利用されている各デバイス変数３１をリストアップしてもよい。

　具体的には、制御部１１は、抽象構文木又は制御フローグラフから制御プログラム群２２１内で利用されている各変数を特定する。次に、制御部１１は、特定された各変数をデバイス変数のリストと照合することで、特定された各変数がデバイス変数であるか否かを判定する。これにより、制御部１１は、制御プログラム群２２１内で利用されている各デバイス変数３１を抽出することができる。なお、デバイス変数のリストの形式は、特に限定されなくてもよく、実施の形態に応じて適宜設定されてよい。また、デバイス変数のリストは、ユーザの指定により与えられてもよいし、システムに予め保持されていてもよい。このデバイス変数のリストは、記憶部１２に格納されていてもよい。

　デバイス変数３１がリストアップされると、制御部１１は、依存関係を解析する対象となるデバイス変数（以下、「解析対象のデバイス変数」とも称する。）をデバイス変数のリストからピックアップする（ステップＳ５１０）。解析対象のデバイス変数がピックアップされると、制御部１１は、抽出結果データ６００を参照し、解析対象のデバイス変数に関する始端のレコードをリストアップする（ステップＳ５２０）。

　たとえば、「ＦＯＣＵＳ」フィールドに解析対象のデバイス変数が記されているレコードを始端のレコードとしてリストアップすることができる。たとえば、図１４の例において、解析対象のデバイス変数を「Ｄ１」とすると、ＮＯ「０」及び「１」を始端のレコードとしてリストアップすることができる。

　その後、制御部１１は、リストアップされた始端のレコードから解析の対象とするレコードをピックアップする（ステップＳ５３０）。制御部１１は、ピックアップされたレコードから、抽出結果データ６００（図１４）に含まれる各レコードを探索し、終端のレコードを抽出する（ステップＳ５４０）。

　たとえば、制御部１１は、現在注目しているレコード（最初は始端のレコード）よりも実行順序が遅い「ＰＲＯＧＲＡＭ」又は「ＳＥＣＴＩＯＮ」に対応するレコードであって、現在注目しているレコードの「ＶＡＲＩＡＢＬＥ」の変数とマッチする変数が「ＦＯＣＵＳ」に含まれているレコードをピックアップする。制御部１１は、ピックアップされたレコードを次に注目する。制御部１１は、該注目されたレコード（現在注目されているレコード）よりも実行順序が遅い「ＰＲＯＧＲＡＭ」又は「ＳＥＣＴＩＯＮ」に対応するレコードであって、現在注目されているレコードの「ＶＡＲＩＡＢＬＥ」の変数とマッチする変数が「ＦＯＣＵＳ」に含まれているレコードをピックアップする。制御部１１は、ピックアップされるレコードが終端のレコード（「ＶＡＲＩＡＢＬＥ」に含まれている変数が他のレコードの「ＦＯＣＵＳ」とマッチしない）になるまで上記処理を繰り返す。１つの始端のレコードに対して複数の終端のレコードが存在する場合には、制御部１１は、全ての終端のレコードを抽出する。

　その後、制御部１１は、抽出された終端のレコードに含まれる「ＶＡＲＩＡＢＬＥ」フィールドの値がデバイス変数を示すか否かを判定する（ステップＳ５５０）。「ＶＡＲＩＡＢＬＥ」フィールドの値がデバイス変数でないと判定されると（ステップＳ５５０においてＮＯ）、制御部１１は、ステップＳ５７０の処理を実行する。

　一方、「ＶＡＲＩＡＢＬＥ」フィールドの値がデバイス変数であると判定されると（ステップＳ５５０においてＹＥＳ）、制御部１１は、ステップＳ５１０においてピックアップされたデバイス変数と、終端レコードの「ＶＡＲＩＡＢＬＥ」フィールドに示されているデバイス変数との依存関係を保存する（ステップＳ５６０）。

　制御部１１は、ステップＳ５２０においてリストアップされた全ての始端のレコードに関し処理が終了したか否かを判定する（ステップＳ５７０）。全ての始端のレコードに関し処理が終了していないと判定されると（ステップＳ５７０においてＮＯ）、制御部１１は、ステップＳ５３０に戻り、処理が完了していない始端のレコードをピックアップする。

　一方、全ての始端のレコードに関し処理が終了したと判定されると（ステップＳ５７０においてＹＥＳ）、制御部１１は、ステップＳ５００においてリストアップされた全てのデバイス変数に関し処理が終了したか否かを判定する（ステップＳ５８０）。全てのデバイス変数に関しては処理が終了していないと判定されると（ステップＳ５８０においてＮＯ）、制御部１１は、ステップＳ５１０に戻り、処理が完了していないデバイス変数をピックアップする。一方、全てのデバイス変数に関し処理が終了したと判定されると（ステップＳ５８０においてＹＥＳ）、制御部１１は、デバイス変数間の依存関係の特定処理を終了する。

　たとえば、図１４に示される例においては、デバイス変数間の依存関係の特定処理を通じて、ＮＯ「０」、「２」及び「３」の依存関係をたどることができ、その結果、デバイス変数「Ｄ１」からデバイス変数「Ｄ２」への依存関係を特定することができる。デバイス変数間の依存関係の特定処理が終了すると、デバイス変数間の依存関係を示す特定結果データ７００が生成される。

　図１６は、特定結果データ７００の一例を示す図である。図１６に示されるように、特定結果データ７００は隣接行列により表現されている。この隣接行列において、互いに依存関係を有するデバイス変数の組に対応する該当要素（成分）は「１」であり、そうではない要素（成分）は「０」である。列が依存元を示し、行が依存先を示している。ただし、特定結果データ７００の構成は、このような例に限定されなくてもよく、実施の形態に応じて適宜決定されてよい。

　再び図５を参照して、デバイス変数間の依存関係の特定処理が終了すると、制御部１１は、出力部１１４として機能し、ステップＳ１４０において特定された依存関係に基づいて、特定された依存関係を示す有向グラフを生成する（ステップＳ１５０）。

　図１７は、図１４の例において特定されデバイス変数間の依存関係を示す有向グラフ８００の一例を示す図である。図１７に示されるように、図１４の例においては、デバイス変数「Ｄ１」からデバイス変数「Ｄ２」への依存関係が存在する。

　その後、制御部１１は、出力部１１４として機能し、ステップＳ１５０において生成された有向グラフを出力する（ステップＳ１６０）。たとえば、制御部１１は、生成された有向グラフを表示装置１５に表示させる。

　［５．特徴］
　以上のように、解析装置１においては、複数のファイルに含まれるいずれかのファイル（たとえば、Section0#0）を解析することによって、デバイス変数３１（たとえば、「Ｄ１」）から他の変数（たとえば、「Ｇ１」）への第１依存関係を特定可能な情報が抽出される。そして、複数のファイルに含まれる１又は複数の他のファイル（たとえば、Section1#0及びSection1#1）を解析することによって、他の変数（たとえば、「Ｇ１」）からデバイス変数３１（たとえば、「Ｄ２」）への第２依存関係を特定可能な情報が抽出される。さらに、第１及び第２依存関係に基づいて、デバイス変数３１（たとえば、「Ｄ１」）からデバイス変数３１（たとえば、「Ｄ２」）への依存関係が特定される。

　したがって、解析装置１によれば、各ファイルにおいて第１依存関係を特定可能な情報及び第２依存関係を特定可能な情報が抽出され、それらに基づいてデバイス変数３１（たとえば、「Ｄ１」）からデバイス変数３１（たとえば、「Ｄ２」）への依存関係が特定されるため、複数のファイルに跨って生じるデバイス変数３１間の依存関係を特定することができる。

　［６．変形例］
　以上、実施の形態について説明したが、本発明は、上記実施の形態に限定されるものではなく、その趣旨を逸脱しない限りにおいて、種々の変更が可能である。以下、変形例について説明する。

　（６－１）
　デバイス２８は、上記実施の形態のような何らかの物理的な動作を伴う装置の他に、たとえば、各種センサにより何らかの情報を検知する装置、各種センサからデータを取得する装置、取得したデータから何らかの情報を検知する装置、取得したデータに情報処理を施す装置等の内部処理を行う装置を含んでもよい。１つのデバイス２８は、１又は複数の装置で構成されてもよいし、装置の一部で構成されてもよい。複数のデバイス２８により１つの装置が構成されてもよい。また、同一の装置が複数の処理を実行する場合には、それぞれを別のデバイス２８とみなしてもよい。例えば、同一の装置が第１の処理と第２の処理とを実行する場合に、第１の処理を実行する当該装置を第１のデバイスとみなし、第２の処理を実行する当該装置を第２のデバイスとみなしてもよい。

　（６－２）
　上記実施の形態において、解析装置１は、制御プログラム群２２１をＰＬＣ２から取得した。しかしながら、解析装置１は、必ずしも制御プログラム群２２１をＰＬＣ２から取得する必要はない。たとえば、ＰＬＣ２の制御プログラム群２２１が解析装置１に予め保存されており、制御部１１は、予め保存されている制御プログラム群２２１を取得し、制御プログラム群２２１の解析を行なってもよい。

　（６－３）
　上記実施の形態においては、依存関係の解析対象がデバイス変数３１とされ、デバイス変数３１間の依存関係が特定された。しかしながら、依存関係が特定されるのは、必ずしもデバイス変数３１間に限られない。たとえば、ユーザが解析対象の変数（デバイス変数以外）を指定できるような構成であってもよい。たとえば、ユーザが特定の変数Ａ１（ローカル変数又はグローバル変数）を解析対象として指定し、制御部１１が、第１のファイルにおいて該特定の変数Ａ１から他の変数（複数のファイルからアクセス可能な変数）への第１依存関係を特定可能な情報を抽出し、第２のファイルにおいて上記他の変数から他の特定の変数Ａ２への第２依存関係を特定可能な情報を抽出し、第１及び第２依存関係に基づいて特定の変数Ａ１から特定の変数Ａ２への依存関係を特定してもよい。このような構成によれば、様々な変数間の依存関係をより柔軟に解析することができる。

　１　解析装置、２　ＰＬＣ、１１，２１　制御部、１２，２２　記憶部、１３，２４　通信インターフェース、１４　入力装置、１５　表示装置、１６　ドライブ、２３　入出力インターフェース、２７　生産ライン、２８　デバイス、３１　デバイス変数、３２　ローカル変数、３３　グローバル変数、８１　解析プログラム、１１１　制御プログラム取得部、１１２　制御プログラム解析部、１１３　関係特定部、１１４　出力部、１１５　タスク設定情報記憶部、１１６　プログラム構造記憶部、１２１　タスク設定情報、１２２　プログラム構造情報、１２３　実行順序情報、２２１　制御プログラム群、３０１，３０２，３０３　セクション、４０１，４０２，４０３　抽象構文木、５０１，５０２，５０３　制御フローグラフ、６００　抽出結果データ、７００　特定結果データ、８００　有向グラフ、Ｓ１　システム。

Claims (6)

1. 　生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析するように構成された解析装置であって、
   　前記複数のデバイスは、第１デバイスと、第２デバイスとを含み、
   　前記制御プログラム群は、複数のファイルから構成されており、
   　前記制御プログラム群は、複数の変数を含み、
   　前記複数の変数は、前記第１デバイスに対応する第１デバイス変数と、前記第２デバイスに対応する第２デバイス変数と、前記複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能な他の変数とを含み、
   　前記解析装置は、
   　前記制御プログラム群を取得するように構成された取得部と、
   　前記複数のファイルに含まれるいずれかのファイルを解析することによって前記第１デバイス変数から前記他の変数への第１依存関係を特定可能な情報を抽出し、前記複数のファイルに含まれる１又は複数の他のファイルを解析することによって前記他の変数から前記第２デバイス変数への第２依存関係を特定可能な情報を抽出するように構成された解析部と、
   　前記第１依存関係と前記第２依存関係とに基づいて、前記第１デバイス変数から前記第２デバイス変数への依存関係を特定するように構成された特定部とを備える、解析装置。
2. 　前記解析部は、前記複数のファイルの実行順序を示す実行順序情報に基づいて各ファイルの実行順序を特定し、特定された該実行順序に従って前記各ファイルを解析するように構成されている、請求項１に記載の解析装置。
3. 　前記他の変数は、前記複数のファイルの各々においてアクセス可能なグローバル変数である、請求項１又は請求項２に記載の解析装置。
4. 　前記制御プログラム群は、複数の制御プログラムを含み、
   　前記複数の制御プログラムの一部又は全部は、複数のセクションを含み、
   　前記複数の制御プログラムの各々、及び、前記複数のセクションの各々は、ファイルで構成されており、
   　前記他の変数は、前記複数のセクションのうち少なくとも２つ以上のセクションにおいてアクセス可能なローカル変数である、請求項１から請求項３のいずれか１項に記載の解析装置。
5. 　生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析する解析方法であって、
   　前記複数のデバイスは、第１デバイスと、第２デバイスとを含み、
   　前記制御プログラム群は、複数のファイルから構成されており、
   　前記制御プログラム群は、複数の変数を含み、
   　前記複数の変数は、前記第１デバイスに対応する第１デバイス変数と、前記第２デバイスに対応する第２デバイス変数と、前記複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能な他の変数とを含み、
   　前記解析方法は、
   　コンピュータが、前記制御プログラム群を取得するステップと、
   　前記コンピュータが、前記複数のファイルに含まれるいずれかのファイルを解析することによって前記第１デバイス変数から前記他の変数への第１依存関係を特定可能な情報を抽出し、前記複数のファイルに含まれる１又は複数の他のファイルを解析することによって前記他の変数から前記第２デバイス変数への第２依存関係を特定可能な情報を抽出するステップと、
   　前記コンピュータが、前記第１依存関係と前記第２依存関係とに基づいて、前記第１デバイス変数から前記第２デバイス変数への依存関係を特定するステップとを含む、解析方法。
6. 　生産ラインに含まれる複数のデバイスの動作を制御する制御プログラム群を解析する処理をコンピュータに実行させるための解析プログラムであって、
   　前記複数のデバイスは、第１デバイスと、第２デバイスとを含み、
   　前記制御プログラム群は、複数のファイルから構成されており、
   　前記制御プログラム群は、複数の変数を含み、
   　前記複数の変数は、前記第１デバイスに対応する第１デバイス変数と、前記第２デバイスに対応する第２デバイス変数と、前記複数のファイルのうち少なくとも２つ以上のファイルにおいてアクセス可能な他の変数とを含み、
   　前記解析プログラムは、
   　前記制御プログラム群を取得するステップと、
   　前記複数のファイルに含まれるいずれかのファイルを解析することによって前記第１デバイス変数から前記他の変数への第１依存関係を特定可能な情報を抽出し、前記複数のファイルに含まれる１又は複数の他のファイルを解析することによって前記他の変数から前記第２デバイス変数への第２依存関係を特定可能な情報を抽出するステップと、
   　前記第１依存関係と前記第２依存関係とに基づいて、前記第１デバイス変数から前記第２デバイス変数への依存関係を特定するステップとを前記コンピュータに実行させるように構成されている、解析プログラム。

Images