"列車の各車両にそれぞれ搭載されて制御プログラムにしたがって動作し、車両間伝送路により相互に通信可能に接続されるとともに、車両内伝送路により自車両に搭載された機器群とそれぞれ通信可能に接続され、前記自車両に搭載された機器群に対してそれらの動作に必要な出力データを演算処理する出力情報演算処理部を有し、前記出力情報演算処理部により演算処理された前記出力データを編集した送信データを各機器にそれぞれ送信する列車情報管理装置における演算処理が実装仕様に対応して実際に実装されているか否かを検証する列車情報管理装置の検証装置であって、前記出力情報演算処理部に相当する出力情報演算処理関数が定義され、この出力情報演算処理関数の出力として前記出力データが与えられるとともに、前記出力データがその出力対象の機器の名称を含む変数名の変数に代入される形で当該変数に関連付けて記載された前記制御プログラムのソースコード、及び前記実装仕様により規定され前記出力データの出力対象となる実装機器の名称が記載された実装機器データを記憶する記憶部と、前記実装機器データを参照し、前記実装機器データに記載された前記実装機器の名称が前記ソースコード内に記載されているか否かを検索し、当該実装機器の名称を含む変数が見つかった場合には、当該実装機器に対する演算処理が実装されていると判断し、見つからなかった場合には、当該実装機器に対する演算処理が実装されていないと判断する検索処理部と、を備えることを特徴とする列車情報管理装置の検証装置。前記出力データは、前記ソースコード内で、前記機器の名称及び当該機器に関連した演算処理を識別する表示部分を含む変数名の変数に代入される形で当該変数に関連付けられて記載されており、前記実装機器データでは、前記実装機器の名称及び当該実装機器に関連した実装演算処理を識別する表示が記載されており、前記検索処理部は、前記実装機器データを参照し、前記実装機器データに記載された前記実装機器の名称及び前記実装演算処理を識別する表示を含む変数名の変数が前記ソースコード内に記載されているか否かを検索し、当該変数が見つかった場合には、当該実装機器に対する当該実装演算処理が実装されていると判断し、見つからなかった場合には、当該実装機器に対する当該実装演算処理が実装されていないと判断することを特徴とする請求項1に記載の列車情報管理装置の検証装置。前記送信データは、前記出力データを予め規定された配列順序で行列の形式で配列する伝送フォーマットにしたがって出力対象の機器へ送信され、前記変数名における前記演算処理を識別する表示部分は、前記伝送フォーマットの前記行列における位置で表されており、前記実装機器データに記載された前記実装演算処理を識別する表示は、前記伝送フォーマットの前記行列における位置で表されていることを特徴とする請求項2に記載の列車情報管理装置の検証装置。前記出力情報演算処理関数の関数名には、前記出力データの出力対象である機器の名称及び演算処理の名称が含まれており、前記実装機器データには前記出力情報演算処理関数の実装関数名が記載されており、前記実装関数名は、実装機器の名称及び実装演算処理の名称からなり、前記検索処理部は、前記実装機器データを参照し、前記実装機器データに記載された前記実装関数名の出力情報演算処理関数が前記ソースコード内に記載されているか否かを検索し、当該関数が見つかった場合には、当該実装関数名に含まれる前記実装機器の名称及び前記実装演算処理の名称から当該実装機器に対する当該実装演算処理が実装されていると判断し、見つからなかった場合には、当該実装機器に対する当該実装演算処理が実装されていないと判断することを特徴とする請求項1~3のいずれか1項に記載の列車情報管理装置の検証装置。列車の各車両にそれぞれ搭載されて制御プログラムにしたがって動作し、車両間伝送路により相互に通信可能に接続されるとともに、車両内伝送路により自車両に搭載された機器群とそれぞれ通信可能に接続され、前記自車両に搭載された機器群に対してそれらの動作に必要な出力データを演算処理する出力情報演算処理部を有し、前記出力情報演算処理部により演算処理された前記出力データを編集した送信データを各機器にそれぞれ送信する列車情報管理装置における演算処理が実装仕様に対応して実際に実装されているか否かを検証する列車情報管理装置の検証方法であって、前記出力情報演算処理部に相当する出力情報演算処理関数が定義され、この出力情報演算処理関数の出力として前記出力データが与えられるとともに、前記出力データがその出力対象の機器の名称を含む変数名の変数に代入される形で当該変数に関連付けて記載された前記制御プログラムのソースコード、及び前記実装仕様により規定され前記出力データの出力対象となる実装機器の名称が記載された実装機器データを記憶部から読み出すステップと、前記実装機器データを参照し、前記実装機器データに記載された前記実装機器の名称が前記ソースコード内に記載されているか否かを検索し、当該実装機器の名称を含む変数が見つかった場合には、当該実装機器に対する演算処理が実装されていると判断し、見つからなかった場合には、当該実装機器に対する演算処理が実装されていないと判断するステップと、を含むことを特徴とする列車情報管理装置の検証方法。しかしながら、従来の列車情報管理装置では、実装仕様に対応した出力情報処理が実際に実装されているのか否かを短時間で確実に判断することが困難であった。この発明は、上記に鑑みてなされたもので、実装仕様に対応した出力情報処理が実際に実装されているのか否かを短時間で確実に判断することが可能な列車情報管理装置の検証装置及び検証方法を提供することを目的とする。上述した課題を解決し、目的を達成するために、本発明に係る列車情報管理装置の検証装置は、列車の各車両にそれぞれ搭載されて制御プログラムにしたがって動作し、車両間伝送路により相互に通信可能に接続されるとともに、車両内伝送路により自車両に搭載された機器群とそれぞれ通信可能に接続され、前記自車両に搭載された機器群に対してそれらの動作に必要な出力データを演算処理する出力情報演算処理部を有し、前記出力情報演算処理部により演算処理された前記出力データを編集した送信データを各機器にそれぞれ送信する列車情報管理装置における演算処理が実装仕様に対応して実際に実装されているか否かを検証する列車情報管理装置の検証装置であって、前記出力情報演算処理部に相当する出力情報演算処理関数が定義され、この出力情報演算処理関数の出力として前記出力データが与えられるとともに、前記出力データがその出力対象の機器の名称を含む変数名の変数に代入される形で当該変数に関連付けて記載された前記制御プログラムのソースコード、及び前記実装仕様により規定され前記出力データの出力対象となる実装機器の名称が記載された実装機器データを記憶する記憶部と、前記実装機器データを参照し、前記実装機器データに記載された前記実装機器の名称が前記ソースコード内に記載されているか否かを検索し、当該実装機器の名称を含む変数が見つかった場合には、当該実装機器に対する演算処理が実装されていると判断し、見つからなかった場合には、当該実装機器に対する演算処理が実装されていないと判断する検索処理部と、を備えることを特徴とする。この発明によれば、実装仕様に対応した演算処理が実際に列車情報管理装置に実装されているのか否かを短時間で確実に判断することができる、という効果を奏する。以下に、本発明に係る列車情報管理装置の検証装置及び検証方法の実施の形態を図面に基づいて詳細に説明する。なお、この実施の形態によりこの発明が限定されるものではない。実施の形態.図1は、本実施の形態における列車情報管理装置が搭載された列車の編成の一例を示す図である。図1では、列車の編成は例えば6台の車両からなり、具体的には、車両TC1,M2-1,M1-1,M2-2,M1-2,TC2で構成される。編成の両端の車両である車両TC1,TC2には、それぞれ、列車情報管理装置の中央装置以下、単に中央装置という。1が搭載されている。中間車両である車両M2-1,M1-1,M2-2,M1-2には、それぞれ、列車情報管理装置の端末装置以下、単に端末装置という。2-1,2-2,2-3,2-4が搭載されている。本実施の形態の列車情報管理装置は、中央装置1及び端末装置2-1~2-4で構成される。列車の走行時には、車両TC1,TC2のうちの一方が先頭車両となり、他方が後尾車両となる。以下では、例えば車両TC1を先頭車両として説明する。中央装置1及び端末装置2-1~2-4は、車両間にわたって配設された基幹伝送路車両間伝送路4を介して互いに通信可能に接続されている。車両TC1は、中央装置1と、中央装置1に支線伝送路車両内伝送路5を介してそれぞれ接続された機器A~Cと、を備える。支線伝送路5は、車両内に配設された通信路である。機器A~Cは、例えば、空調装置、ブレーキ装置等である。中央装置1は、機器A~Cをそれぞれ制御するための制御情報等の出力情報出力データを送信するとともに、機器A~Cからそれぞれ機器情報状態データを取得している。車両M2-1は、端末装置2-1と、端末装置2-1に支線伝送路5を介してそれぞれ接続された機器D~Fと、を備える。機器D~Fは、例えば、空調装置、ブレーキ装置、推進装置、モータ等である。端末装置2-1は、機器D~Fをそれぞれ制御するための制御情報等の出力情報出力データを送信するとともに、機器D~Fからそれぞれ機器情報状態データを取得している。車両M1-1は、端末装置2-2と、端末装置2-2に支線伝送路5を介してそれぞれ接続された機器D,E,Gと、を備える。機器D,E,Gは、例えば、空調装置、モータ等である。端末装置2-2は、機器D,E,Gをそれぞれ制御するための制御情報等の出力情報出力データを送信するとともに、機器D,E,Gからそれぞれ機器情報状態データを取得している。車両TC2は、車両TC1と同様の構成である。車両M2-2は、車両M2-1と同様の構成であり、端末装置2-3は端末装置2-1と同様の機能を有する。車両M1-2は、車両M1-1と同様の構成であり、端末装置2-4は端末装置2-2と同様の機能を有する。なお、以下では、単に端末装置2と記載した場合には、端末装置2-1~2-4を総称して表すものとする。図2は、中央装置1と機器Aとの間のデータ送受信処理を示したシーケンス図である。図2に示すように、中央装置1は、自車両内の機器Aに対して、例えば一定周期T1で状態データ要求信号SDRを送信する。ここで、状態データ要求信号SDRは、機器Aに対する制御情報等の出力情報出力データを含む信号であり、この出力情報にしたがって機器Aが動作した後のその状態データ機器情報を機器Aに対して返信するよう要求するものである。機器Aは、中央装置1からの状態データ要求信号SDRを受信すると、状態データ要求信号SDRに含まれる出力情報にしたがって動作するとともに、そのときの状態データを状態データ信号SDとして中央装置1に返信する。つまり、状態データ信号SDは、状態データ要求信号SDRに対する応答信号である。中央装置1は、状態データ要求信号SDRの送信処理とこれに応答した状態データ信号SDの受信処理を、一定周期T1で繰り返し行っている。なお、機器B,C等についても同様である。周期T1は、例えば機器の種類ごとに異なる値に設定することができる。図3は、端末装置2と機器Dとの間のデータ送受信処理を示したシーケンス図である。図3についても、図2と同様である。すなわち、端末装置2は、自車両内の機器Dに対して、例えば一定周期T1で状態データ要求信号SDRを送信する。機器Dは、端末装置2からの状態データ要求信号SDRを受信すると、状態データ要求信号SDRに含まれる出力情報にしたがって動作するとともに、そのときの状態データを状態データ信号SDとして端末装置2に返信する。端末装置2は、状態データ要求信号SDRの送信処理と状態データ信号SDの受信処理を、一定周期T1で繰り返し行っている。なお、機器E,F,G等についても同様である。周期T1は、例えば機器の種類ごとに異なる値に設定することができる。中央装置1は、自車両内の機器について収集した状態データを基幹伝送路4を介して端末装置2及び他の中央装置1に送信することができる。また、端末装置2は、自車両内の機器について収集した状態データを基幹伝送路4を介して他の端末装置2及び中央装置1に送信することができる。このようにして、中央装置1と端末装置2は列車内の機器に関する状態データを互いに共有することができる。図4は、中央装置1の内部構成の一例を示す図である。図5は、端末装置2の内部構成の一例を示す図である。まず、中央装置1の構成について説明する。図4に示すように、中央装置1は、制御処理部6と、制御処理部6に接続された記憶部9と、制御処理部6に接続され基幹伝送路4を介してデータの送受信を行うことが可能な送受信部8と、制御処理部6に接続され支線伝送路5を介してデータの送受信を行うことが可能な送受信部7と、を備えている。記憶部9には、制御プログラム10、状態データ11、及び出力データ12等が記憶されている。制御処理部6は、機器に出力する制御情報等の出力情報を個別に演算処理し、これらの出力情報を出力データ12として記憶部9に一時的に保存し、機器ごとに送信すべき出力データ12を選択して個別に状態データ要求信号SDRを生成し、送受信部7を介して状態データ要求信号SDRを各機器へ送信する。また、制御処理部6は、送受信部7を介して各機器から返信された状態データ信号SDを受信し、状態データ信号SDに含まれる状態データ11を記憶部9に保存する。また、制御処理部6は、自車両内で収集した状態データ11を、送受信部8を介して端末装置2及び他の中央装置1へ送信するとともに、端末装置2及び他の中央装置1からも他の車両で収集された状態データを受信し、これらの状態データを記憶部9に保存する。制御処理部6は、CPU等のハードウェアからなり、その制御動作を規定する制御プログラム10にしたがって動作する。すなわち、中央装置1は、インストールされた制御プログラム10にしたがって動作をする。次に、端末装置2の構成について説明する。端末装置2の構成も中央装置1と同様である。すなわち、図5に示すように、端末装置2は、制御処理部15と、制御処理部15に接続された記憶部18と、制御処理部15に接続され基幹伝送路4を介してデータの送受信を行うことが可能な送受信部17と、制御処理部15に接続され支線伝送路5を介してデータの送受信を行うことが可能な送受信部16と、を備えている。記憶部18には、制御プログラム19、状態データ20、及び出力データ21等が記憶されている。制御処理部15は、機器に出力する制御情報等の出力情報を個別に演算処理し、これらの出力情報を出力データ21として記憶部18に一時的に保存し、機器ごとに送信すべき出力データ21を選択して個別に状態データ要求信号SDRを生成し、送受信部16を介して状態データ要求信号SDRを各機器へ送信する。また、制御処理部15は、送受信部16を介して各機器から返信された状態データ信号SDを受信し、状態データ信号SDに含まれる状態データ20を記憶部18に保存する。また、制御処理部15は、自車両内で収集した状態データ20を、送受信部17を介して他の端末装置2及び中央装置1へ送信するとともに、他の端末装置2及び中央装置1からも他の車両で収集された状態データを受信し、これらの状態データを記憶部18に保存する。制御処理部15は、CPU等のハードウェアからなり、その制御動作を規定する制御プログラム19にしたがって動作する。すなわち、端末装置2は、インストールされた制御プログラム19にしたがって動作をする。なお、端末装置2を制御する制御プログラム19と中央装置1を制御する制御プログラム10とは、その機能の違いに応じて内容も異なる。図6は、状態データ要求信号SDRに含まれる送信データの伝送フォーマットの一例を示す図である。図6aでは、ある機器へ送信する制御情報等の出力データを予め規定された配列順序で行列形式に配列する伝送フォーマットを示している。図示例では、テキストナンバーNo.を行としビットナンバーNo.を列として、出力データは編集されて行列形式で管理されている。具体的には、Ti,Djには1ビットの数値が付与される。ここで、iは0~mのうちの任意の整数であり、jは0~nのうちの任意の整数であって、m、nは予め設定されている。例えば、T0,D0~T0,D5には力行ノッチ情報に関する出力データが付与され、T1,D4~T1,D8にはブレーキノッチ情報に関する出力データが付与され、T2,D6には空調装置の温度制御情報に関する出力データが付与されるというように、どの出力データを行列のどの位置に付与記載するのかが予め決められている。この伝送フォーマットは各機器共通である。また、図6bでは、実際に状態データ要求信号SDRを送信する際に、送信先の機器のアドレス等を含むヘッダ領域につづいて、テキストT1~Tmの順序で、各テキスト行のビット情報が伝送されることを示している。図7は、中央装置1の制御処理部6の機能構成の一例を示した図である。図7に示すように、制御処理部6は、機器に出力する制御情報等の出力情報を演算処理して出力する出力情報演算処理部30と、この出力情報演算処理部30の出力する出力データ出力情報をもとに状態データ要求信号を生成する状態データ要求信号生成部31とを備えている。なお、端末装置2の制御処理部15の機能構成も制御処理部6と同様である。図8は、出力情報演算処理部30の演算処理の概要を説明するための図である。図8aに示すように、出力情報演算処理部30は、状態データ等の入力データに基づき、出力情報の内容に応じた演算処理を行い、その演算結果を出力データ出力情報として出力する。例えば出力情報が力行ノッチ情報の場合は、出力情報演算処理部30は、力行ノッチ情報の演算に必要な入力データに基づき、力行ノッチ情報を生成するための所定の演算処理を行い、その演算処理結果である力行ノッチ情報を出力データとして出力する。また、例えば出力情報がブレーキノッチ情報の場合は、出力情報演算処理部30は、ブレーキノッチ情報の演算に必要な入力データに基づき、ブレーキノッチ情報を生成するための所定の演算処理を行い、その演算処理結果であるブレーキノッチ情報を出力データとして出力する。図8bは、出力情報演算処理部30による処理を制御プログラム10のソースコード内での表現形式を用いて表したものである。すなわち、出力情報演算処理部30は、制御プログラム10においてその機能が定義され、具体的には出力情報演算処理関数Funcskでその機能が定義され実現される。ここで、k=1,,NNは任意の自然数は異なる出力情報を区別するための指数であり、換言すれば、出力情報演算処理部30はN個の異なる出力情報を演算処理することができる。したがって、ソースコード内で使用される出力情報演算処理関数は、Funcs1,Funcs2,,FuncsNのN個である。例えば、Funcs1は力行ノッチ情報を演算処理する関数、Funcs2はブレーキノッチ情報を演算処理する関数等である。また、入力データはxinsk、出力データはxoutskで表されている。図9は、本実施の形態における制御プログラム10のソースコードの記載内容の一例を示す図である。図9において、/演算処理s1/はコメント文であり、これ以下の命令文により、出力情報演算処理関数Funcs1による演算処理を実行することを示している。xouts1=Funcs1xins1は、上記のように、入力データxins1に基づいて所定の演算処理を行い、その結果をxouts1に代入することを示している。kikiAT0D1=xouts1は、Funcs1による演算結果を変数kikiAT0D1に代入することを示し、また、kikiBT0D1=xouts1は、Funcs1による演算結果を変数kikiBT0D1にも代入することを示している。ここで、変数kikiAT0D1について詳細に説明する。この変数は、変数名にkikiAの部分とT0D1の部分を含んでおり、前者は中央装置1と同じ車両に搭載された機器Aの名称を表すものとする。すなわち、変数kikiAT0D1の変数名には、出力データの出力対象である機器Aの名称が含まれている。ここで、機器Aの名称は機器Aを他の機器と識別することができるものであればどのような名称でもよい。また、T0D1は、図6で説明した伝送フォーマットの行列のT0,D1の位置を表すものである。そして、変数kikiAT0D1は、機器名称部分kikiAにより、この変数に代入された出力データが機器Aに送信されるものであることを表すとともに、T0D1の部分により、伝送フォーマットの行列のT0,D1の位置にそのデータ値が記載されて送信されるものであることを表している。なお、機器Aへの送信データでは、どの出力情報を伝送フォーマットにおける行列のどの位置に対応させるのかという対応関係が予め決められている。この対応関係から、行列の位置がわかると、その位置に付与される出力情報の内容も判別することができる。すなわち、T0D1の部分は、機器Aに送信する出力データがどのようなものであるか例えば、力行ノッチ情報である等を表している。つまり、変数kikiAT0D1は、この変数に関連付けられた演算処理結果xouts1のデータ値が機器Aに送信されるものであることを表すとともに、出力情報の内容又はこの出力情報に対応する演算処理の内容も同時に表している。変数kikiBT0D1についても同様であり、kikiBは中央装置1と同じ車両に搭載された機器Bの名称を表し、この変数に代入された出力データが機器Bに送信されるものであることを表している。さらに、当該変数におけるT0D1の部分は出力データが伝送フォーマットの行列のT0,D1の位置に記載されて送信されるものであることを表すとともに、出力情報の内容又は演算処理の内容も同時に表している。このように、制御プログラム10のソースコードでは、出力情報演算処理関数Funcs1の演算処理結果を必要とする機器が機器A,Bである場合において、機器A,Bには同じ出力データxouts1を出力するにもかかわらず、当該出力データを機器Aの名称を含む変数kikiAT0D1に代入し、また、当該出力データを機器Bの名称を含む変数kikiBT0D1に代入するようにしている。機器A、B以外に出力情報演算処理関数Funcs1の演算処理結果を必要とする機器が存在する場合にも上記と同様の処理を行う。次に、/演算処理s2/はコメント文であり、これ以下の命令文により、出力情報演算処理関数Funcs2による演算処理を実行することを示している。xouts2=Funcs2xins2は、入力データxins2に基づいて所定の演算処理を行い、その結果をxouts2に代入することを示している。kikiAT1D2=xouts2は、Funcs2による演算結果を変数kikiAT1D2に代入することを示し、また、kikiBT1D2=xouts2は、Funcs2による演算結果を変数kikiBT1D2に代入することを示し、さらに、kikiCT1D2=xouts2は、Funcs2による演算結果を変数kikiCT1D2に代入することを示している。ここで、変数kikiAT1D2は、kikiAを名称の一部に含んでいるので、上記と同様に、この変数に代入された出力データが機器Aに送信されるものであることを表している。また、当該変数におけるT1D2の部分は出力データが伝送フォーマットの行列のT1,D2の位置に記載されて送信されるものであることを表すとともに、出力情報の内容又は演算処理の内容も同時に表している。変数kikiBT1D2、変数kikiCT1D2についてもそれぞれ同様であり、前者は機器Bに送信される出力データを表し、後者は機器Cに送信される出力データを表している。その他の出力情報演算処理関数Funcs3~FuncsNについても同様であるので説明は省略する。また、/各機器へ送信するSDR生成処理/は、このコメント以下の命令文により、機器A~Cのそれぞれに対する状態データ要求信号SDRの生成処理が記載されていることを示しているが、具体的な記載は省略している。例えば機器Aを例にしてその処理の概要を述べれば次の通りである。すなわち、状態データ要求信号生成部31は、機器Aに送信すべき出力データを編集又は集約し、図6aの伝送フォーマットにしたがって送信データを作成するが、この処理はソースコード内では、kikiAの名称を含む変数を参照して行うこととなる。例えば変数kikiAT0D1を参照し、この変数に代入された出力データを伝送フォーマットの行列のT0,D1の位置に記載する処理を行う。このような処理を図示例で示したものが、図10である。図10は、機器Aに送信する状態データ要求信号SDRに含まれる送信データの一例を示す図である。図10に示すように、この送信データは図6で説明した伝送フォーマットにしたがっている。また、ヘッダ領域には、機器Aの送信先アドレスが記載されている。図10では、ソースコード中の変数kikiAT0D1に代入され又は関連付けられた出力データが行列のT0,D1の位置に記載されることを矢印で示している。なお、行列のT0,D1の位置に記載されるデータは、変数kikiAT0D1に関連付けられた出力データそのもの数値であり、変数kikiAT0D1の変数名に関する情報は送信データには何ら反映されない。つまり、ソースコード内で機器名称を含む変数名を用いることは、送信データの内容そのものには影響しない。同様に、図10では、ソースコード中の変数kikiATmに代入され又は関連付けられた出力データが行列のTm行の全体に記載されることを矢印で示している。以上のように、本実施の形態では、制御プログラム10のソースコードにおいて、出力情報演算処理部30に相当した出力情報演算処理関数Funcskの出力として与えられる出力データを、その出力データが出力される機器の名称例えばkikiA及びその出力情報の内容又は演算処理の内容を表す表示部分例えばT0D1を含む変数名の変数に代入する形で関連付けをしている。ここで、機器の名称は機器ごとに互いに異なるものとする。また、出力情報の内容又は演算処理の内容を表す表示部分は、例えば上記のように行列形式で表すことにより、内容が違えば名称も異なることとなる。したがって、出力データと関連付けられた変数名は、出力対象の機器及び演算処理の内容が異なれば必ず異なることとなる。よって、制御プログラム10のソースコードの記載を参照し、出力データに関連付けられた変数名に含まれる機器名称及び当該機器に関連した演算処理を識別する表示部分すなわち、前記出力情報の内容又は演算処理の内容を識別する表示部分を検索等することにより、どのような機器を対象としたどのような出力演算処理が実装されているのかを容易に判別することができる。なお、上記演算処理を識別する表示部分は、上記伝送フォーマットの行列における位置を表す表示に限定されず、演算処理の内容を表す表示又は識別する表示である限りは、任意のものを用いることができる。また、上記説明は制御プログラム10について行ったが、制御プログラム19についても同様である。図11は、本実施の形態に係る列車情報管理装置の検証装置の構成の一例を示す図である。図11に示すように、本実施の形態に係る検証装置50は、入力部51、検索処理部52、出力部53、表示部54、及び記憶部55を備えて構成される。入力部51は、データの入力に利用される。列車情報管理装置中央装置1及び端末装置2の制御プログラム56は入力部51を介して入力され、記憶部55に保存される。ここで制御プログラム56は、図4の制御プログラム10又は図5の制御プログラム19を表している。なお、記憶部55に保存されている制御プログラム56はソースコードである。また、記憶部55には、出力データの出力対象である実装機器の名称及び当該実装機器と関連した演算処理を識別する表示についてのデータを例えばテキスト形式で記載した実装機器データ57が保存されている。すなわち、実装機器データ57は、検証時において、どのような機器が実装され及び実装機器に対して出力される出力データを得るためにどのような演算処理が実装されているかについての情報を提供する実装検証用のデータである。検索処理部52は、記憶部55に保存された実装機器データ57を参照し、実装機器データ57に記載された実装機器の名称が、記憶部55に保存された制御プログラム56に記載されているか否かを調べることにより、当該実装機器に対する演算処理が実装されているか否かを検証する。具体的には、検索処理部52は、実装機器の名称を含む変数をソースコード内で検索し、当該実装機器の名称を含む変数が見つかった場合には、当該実装機器に対する演算処理が実装されていると判断し、見つからなかった場合には、当該実装機器に対する演算処理が実装されていないと判断することができる。検索処理部52は、検索結果を出力部53に出力する。出力部53は、検索結果、すなわち、実装機器及び実装演算処理が実際に実装されているか否かの判定結果を出力する。出力部53は、表示部54に判定結果を表示させ、実装漏れなどがあればこれを表示する。検証装置50は、例えば、上記検証機能を実現するプログラムにしたがって動作するコンピュータにより実現することができる。検索処理部52は、CPU等のハードウェアにより実現される。なお、このような検証装置50の機能を列車情報管理装置にて実現することも可能である。例えば中央装置1内で、記憶部9に制御プログラムソース56及び実装機器データ57を保存し、制御処理部6が実装機器データ57を参照して制御プログラムソース56を検索するようにすればよい。次に、検証装置50の動作について図11及び図12等を参照して説明する。図12は、実装機器データ57の一例を示す図である。まず、検証装置50には、検証時において最新のソースコードである制御プログラムソース56が入力部51を介して入力され、記憶部55に保存される。また、検証時において実装されるべき実装機器の名称及び当該実装機器に関連した実装演算処理を識別する表示を記載した実装機器データ57が入力部51を介して入力され、記憶部55に保存される。ここで、実装機器データ57の具体例は図12の通りである。図12では、例えば、kikiA及びこれに関連してT0D1、T1D2等が記載されている。これは、機器Aの名称kikiAと、機器Aに関連した演算処理を識別する表示であって送信データの伝送フォーマットの行列における位置を表す表示T0D1、T1D2等である。なお、機器BkikiB、機器CkikiCについても同様である。次に、検索処理部52は、記憶部55から実装機器データ57及び制御プログラム56を読み出し、実装機器データ57を参照し、実装機器データ57内に記載された実装機器の名称を検索ワードとして、制御プログラム56について当該検索ワードの検索を実行する。具体的には、検索処理部52は、制御プログラム56の中に例えばkikiAを名称の一部に含む変数が存在するか否かを検索し、当該機器が実際に実装されているか否かの検証を行う。kikiAを名称の一部に含む変数が見つかった場合には、機器Aに対する演算処理が実際に実装されていると判断できる。kikiAを名称の一部に含む変数が存在する場合には、さらに当該変数にT0D1又はT0D2等の名称が含まれているか否かを検索することにより、機器Aに関連した実装演算処理が実際に実装されているか否かを検証する。このように、検索ワードが検索して見つかれば実装されており、見つからなければ実装されていないと判断する。なお、kikiAT0D1等を含む変数が存在するかどうかを順次検索する方法でもよい。検索処理部52は、このような検索処理を実装機器データ57に記載されているすべての機器について行う。検索処理部52は、上記検索結果を出力部53に出力する。出力部53は、検索結果を表示部54に表示させる。以上説明したように、本実施の形態では、列車情報管理装置の制御プログラムのソースコードにおいて、出力情報演算処理部30と対応した出力情報演算処理関数Funcskの出力として与えられる出力データを、その出力データが出力される機器の名称例えばkikiA及びその出力情報の内容又は演算処理の内容を表す表示例えばT0D1を含む変数名の変数に代入する形で関連付けをしている。これにより、本実施の形態に係る検証装置50は、制御プログラムのソースコードにおいて機器の名称等を検索することにより、どの機器が実際に実装され及びどの機器に対してどのような演算処理が実装されているのかを容易に判断することができる。すなわち、本実施の形態によれば、実装仕様に対応した出力情報処理が実際に実装されているのか否かをそのすべての処理について短時間で確実に判断することができる。また、本発明によれば、実装仕様に対応した出力情報処理が実際に実装されているのか否かをそのすべての処理について短時間で確実に判断することを容易とする列車情報管理装置の制御プログラム及びその制御プログラムのインストールされた列車情報管理装置を提供することができる。なお、本実施の形態では、出力情報演算処理部30に相当する出力情報演算処理関数Funcskの出力データに機器名称等を含む変数を関連付けるようにしたが、その他、出力情報演算処理関数の関数名に機器名称を含むようにすることもできる。例えば、図9において、/演算処理s1/以下の3行の命令を、次のように記載することもできる。kikiAT0D1=Funcs1kikiAxins1;kikiBT0D1=Funcs1kikiBxins1;ここで、Funcs1kikiAは、Funcs1と同じ演算処理を行う関数であるが、その演算結果を機器Aに送信することを明示するために、その関数名にkikiAを含めるようにしている。こうすることで、Funcs1kikiAには、機器Aの名称部分kikiAと、関数固有の名称部分Funcs1とを含むこととなる。また、関数固有の名称部分Funcs1を例えば演算処理の名称例えば、力行演算処理等とすることで、機器の名称に演算処理の名称を対応させることができる。また、実装機器データ57内に、図12に記載した内容に加えて、出力情報演算処理関数の実装関数名を記載する。実装関数名は、実装機器の名称及び実装演算処理の名称からなる。そして、検索処理部52により、実装機器データ57に記載された実装関数名を検索ワードとして、制御プログラムのソースコードについて当該検索ワードの検索を実行する。実装関数名の関数が見つかった場合は、当該実装関数名に含まれる実装機器の名称及び実装演算処理の名称から当該実装機器に対する当該実装演算処理が実装されていると判断することができる。実装関数名の関数が見つからなった場合は、当該実装機器に対する当該実装演算処理が実装されていないと判断することができる。以上は、Funcs1kikiB等についても同様である。なお、実際の運用においては、実装仕様は段階的に更新され、営業当初に実装した機能は順次更新されるのが一般的である。ここで、図13は、営業当初から実装する出力する情報を前述の伝送フォーマットに即して表した図であり、記載は省略しているが例えば行T0にどのような情報を付与すべきかなどの実装仕様に関する情報が表とともに与えられているものとする。そこで、例えば図13のような営業当初から実装する出力する情報を予め記憶部55に保存しておき、検索処理部52が制御プログラムソース56について上記検索を行った後、その検索結果を営業当初から実装する出力する情報と自動的に比較するようにすることができる。具体的には、検索処理部52は、検索の結果、機器Aについて例えば行T0にどのような情報が付与されているのかを制御プログラムソース56内の変数名から認識することができるので、その情報をもとに、図13に対応する表および実装仕様に関する情報を実際に作成し、これを営業当初から実装する出力する情報と直接対比することにより、検索結果を具体的に検証することができる。すなわち、不一致が発生したものについては、不要な処理もしくは不足した処理として、営業当初に予定された実装を過不足なく満たしているか否かを容易にかつ具体的に判断することができる。同様にして、段階的に更新された実装する出力する情報を記憶部55に保存し、これを検索結果と比較することで、各段階で実装仕様を満たすかどうかを容易に判断することができる。"