"列車制御システムの方式ごとに定めた列車制御システムの機能に対して基本仕様と安全対策を定義することにより、機能ごとに関連付けて安全確認項目を蓄積して制御機能単位での安全性確認を可能としたことを特徴とする列車制御システム用安全確認項目の管理方法。請求項1記載の列車制御システム用安全確認項目の管理方法において、入力した機能ブロックに対して、機能名称をもとに前記基本仕様と安全対策に分けて安全要件を管理するようにしたことを特徴とする列車制御システム用安全確認項目の管理方法。請求項2記載の列車制御システム用安全確認項目の管理方法において、確認対象装置の仕様書の章節番号および内容を関連づけて入力し、管理するようにしたことを特徴とする列車制御システム用安全確認項目の管理方法。請求項1記載の列車制御システム用安全確認項目の管理方法において、FTAに示す制約条件と関連づけた安全要件の管理を行うにあたり、機能ごとに定めた安全対策を記号で分類して定義するようにしたことを特徴とする列車制御システム用安全確認項目の管理方法。請求項3記載の列車制御システム用安全確認項目の管理方法において、列車制御システムの構造間の整合性確認項目を生成、ならびに確認対象装置の仕様書の章節番号および内容を出力することを特徴とする列車制御システム用安全確認項目の管理方法。請求項3記載の列車制御システム用安全確認項目の管理方法において、列車制御システムの機能間、およびフェールセーフCPUボードとこれに搭載する列車制御アプリケーション間の整合性確認項目を生成ならびに確認対象装置の仕様書の章節番号および内容を出力することを特徴とする列車制御システム用安全確認項目の管理方法。請求項1記載の列車制御システム用安全確認項目の管理方法において、機能ブロックとフェールセーフCPUボードとを関連づけて安全要件ならびに確認対象装置の仕様書の章節番号および内容を出力することを特徴とする列車制御システム用安全確認項目の管理方法。請求項1記載の列車制御システム用安全確認項目の管理方法において、接続する装置間で安全要件を比較するため、接続先の安全要件ならびに確認対象装置の仕様書の章節番号および内容を表示することを特徴とする列車制御システム用安全確認項目の管理方法。請求項1記載の列車制御システム用安全確認項目の管理方法において、列車制御システムの機能名称に関連付けて確認項目を蓄積し、機能ブロック間の入出力をもとに機能間の仕様の整合性を確認するため各確認項目を並べて提示するとともに、フェールセーフCPUボードとこれに搭載する列車制御アプリケーションの確認項目ならびに確認対象装置の仕様書の章節番号および内容を提示し、両者の整合性確認項目として出力するため、以下の制御フローで実施するようにした。ステップS1:列車制御システムの構造アーキテクチャの設定a地上装置/車上装置に対する機能割当を行い、b前記地上装置における中央装置/駅装置の機能割当を行い、c制御装置境界の設定装置に搭載する機能の割当を行う。ステップS2:機能ブロックの安全要件を提示a機能ブロックごとの安全要件を提示するとともに、確認対象装置の仕様書の章節番号および内容を提示bFMEA、FTAに示す安全対策をもとに検索し、安全要件ならびに確認対象装置の仕様書の章節番号および内容を提示ステップS3:フェールセーフCPUボードと列車制御アプリケーション間の整合性確認項目の提示aシステム構成図に示す入出力回路の種別シリアル、パラレルの情報をもとに入出力インタフェースの整合性確認項目を提示bフェールセーフCPUボードと列車制御アプリケーション間の処理部の整合性確認項目を提示ステップS4:ブロック間の整合性確認項目の提示a機能間の入出力の整合性確認項目を提示b制御装置境界に基づく処理部状態の整合性確認項目を提示全項目が確認済みとなった時点で終了とする。しかしながら、上記した信号保安装置は、特にソフトウェアで実装した場合には安全性の確認に時間がかかるといった問題があった。また、上記した対策網羅性検査装置の場合、イベントに対してハザードを定義するものであるが、具体的な安全確認項目の管理としては項目数が多くなる上に体系的に安全性確認項目を管理できないといった問題があった。本発明は、上記状況に鑑み、近年複雑化した列車制御システムの安全性を確保するとともに、開発過程における手戻りを軽減するため、機能ごとに安全要件安全確認項目を出力する列車制御システム用安全確認項目の管理方法を提供することを目的とする。また、確認対象装置の仕様書の章節番号および内容を上記安全確認項目と関連付けて管理することを目的とする。更に、本発明は、安全要件を、列車制御システムの機能に対して基本仕様制御論理による安全確認と安全対策故障誤りを考慮した安全対策による安全確保に分類して定義することにより、システムの各機能と関連付けた安全確認項目を蓄積して制御機能単位での解析を可能にする。つまり、列車制御システムの機能名称に関連付けて安全確認項目を蓄積する。また、機能ブロック間の入出力をもとに、機能間の仕様の整合性を確認するために並べて表示するとともに、フェールセーフCPUボードとこれに搭載する列車制御アプリケーションの安全確認項目を提示し、両者の整合性確認項目として出力するため、適切な手順で実施する。本発明は、上記目的を達成するために、1列車制御システム用安全確認項目の管理方法において、列車制御システムの方式ごとに定めた列車制御システムの機能に対して基本仕様と安全対策を定義することにより、機能ごとに関連付けて安全確認項目を蓄積して制御機能単位での安全性確認を可能にしたことを特徴とする。2上記1記載の列車制御システム用安全確認項目の管理方法において、入力した機能ブロックに対して、機能名称をもとに前記基本仕様と安全対策に分けて安全要件を管理するようにしたことを特徴とする。3上記2記載の列車制御システム用安全確認項目の管理方法において、確認対象装置の仕様書の章節番号および内容を関連づけて入力し、管理するようにしたことを特徴とする。4上記1記載の列車制御システム用安全確認項目の管理方法において、FTAに示す制約条件と関連づけた安全要件の管理を行うにあたり、機能ごとに定めた安全対策を記号で分類して定義するようにしたことを特徴とする。5上記3記載の列車制御システム用安全確認項目の管理方法において、列車制御システムの構造間の整合性確認項目を生成、ならびに確認対象装置の仕様書の章節番号および内容を出力することを特徴とする。6上記3記載の列車制御システム用安全確認項目の管理方法において、列車制御システムの機能間、およびフェールセーフCPUボードとこれに搭載する列車制御アプリケーション間の整合性確認項目を生成ならびに確認対象装置の仕様書の章節番号および内容を出力することを特徴とする。7上記1記載の列車制御システム用安全確認項目の管理方法において、機能ブロックとフェールセーフCPUボードとを関連づけて安全要件ならびに確認対象装置の仕様書の章節番号および内容を出力することを特徴とする。8上記1記載の列車制御システム用安全確認項目の管理方法において、接続する装置間で安全要件を比較するため、接続先の安全要件ならびに確認対象装置の仕様書の章節番号および内容を表示することを特徴とする。9上記1記載の列車制御システム用安全確認項目の管理方法において、列車制御システムの機能名称に関連付けて確認項目を蓄積し、機能ブロック間の入出力をもとに機能間の仕様の整合性を確認するため各確認項目を並べて提示するとともに、フェールセーフCPUボードとこれに搭載する列車制御アプリケーションの確認項目ならびに確認対象装置の仕様書の章節番号および内容を提示し、両者の整合性確認項目として出力するため、以下の制御フローで実施するようにした。ステップS1:列車制御システムの構造アーキテクチャの設定a地上装置/車上装置に対する機能割当を行い、b前記地上装置における中央装置/駅装置の機能割当を行い、c制御装置境界の設定装置に搭載する機能の割当を行う。ステップS2:機能ブロックの安全要件を提示a機能ブロックごとの安全要件を提示するとともに、確認対象装置の仕様書の章節番号および内容を提示bFMEA、FTAに示す安全対策をもとに検索し、安全要件ならびに確認対象装置の仕様書の章節番号および内容を提示ステップS3:フェールセーフCPUボードと列車制御アプリケーション間の整合性確認項目の提示aシステム構成図に示す入出力回路の種別シリアル、パラレルの情報をもとに入出力インタフェースの整合性確認項目を提示bフェールセーフCPUボードと列車制御アプリケーション間の処理部の整合性確認項目の提示ステップS4:ブロック間の整合性確認項目の提示a機能間の入出力の整合性確認項目を提示b制御装置境界に基づく処理部状態の整合性確認項目を提示全項目が確認済みとなった時点で終了とする。本発明によれば、近年複雑化した列車制御システムの安全性確保の向上につながるとともに、開発過程における手戻りを軽減することができる。また、安全要件を、列車制御システムの機能に対して基本仕様と安全対策に分類して定義することにより、システムの各機能と関連付けた安全確認項目を蓄積して制御機能単位での安全性の確認を行うことができる。本発明の列車制御システム用安全確認項目の管理方法は、列車制御システムの方式ごとに定めた列車制御システムの機能に対して基本仕様と安全対策を定義することにより、機能ごとに関連付けて安全確認項目を蓄積して制御機能単位での安全性の確認を行うようにした。以下、本発明の実施の形態について詳細に説明する。図1は本発明の実施例を示す列車制御システムの機能ブロック例を示す図、図2は本発明の実施例を示すフェールセーフCPUボードの機能ブロック図、図3は本発明の実施例を示す列車制御システムの制御フローを示す図である。図1において、1は地上装置、2は転てつ機、3は地上子、4は地上制御装置、5は停止限界設定F4、6は連動機能F5、11は車上装置、12は車上子、13は速度発電機、14は車上制御装置、15は車上位置検知F1、16は速度検知F2、17は速度照査ブレーキ制御F3、18は継電器、19は乗務員である。また、図2のフェールセーフCPUボードの機能ブロック図において、21はフェールセーフCPUボード、22はCPUA系、23はCPUB系、24は照合部、25はFSFailSafeSI/FSSOシリアル入出力、26はFSDI接点入力、27はFSDOリレー出力である。これは、地上制御装置や車上制御装置において用いられる。次に、列車制御システムの制御フローを図3を参照しながら説明する。ステップS1:列車制御システムの構造アーキテクチャを設定する。a地上装置1/車上装置11の機能割当b前記地上装置における中央装置/駅装置の機能割当c制御装置境界の設定装置に搭載する機能の割当ステップS2:機能ブロックの安全要件を提示する。a機能ブロックごとの安全要件を提示bFMEA、FTAに示す制約条件をもとに検索し、安全要件を提示なお、FMEAFailureModeandEffectAnalysis:故障モード影響解析とは、部品の故障に伴う影響を特定する手法である。また、FTAFaultTreeAnalysis:故障の木解析とは、事故や障害の原因となる事象を論理記号を用いて解析する手法である。ステップS3:フェールセーフCPUボードと列車制御アプリケーション間の整合性確認項目を提示する。aシステム構成図のシリアル25、パラレルの情報をもとに入出力インタフェースの整合性確認項目を提示bフェールセーフCPUボード21と列車制御アプリケーション間の処理部の整合性確認項目の提示ステップS4:ブロック間の整合性確認項目を提示する。a機能間の入出力の整合性確認項目を提示b制御装置境界に伴う処理部の状態の整合性確認項目を提示ステップS5:全項目が確認済みとなった時点で終了する。ステップS6:全項目が確認済みとなっていない場合は、適切な段階に戻る。以下、列車制御の機能ブロックごとの安全要件の管理例について説明する。図4は本発明の実施例を示す列車制御のための全体システム構成図、図5はその機能ブロックごとの安全要件の管理例を示す説明図、図6はFTAと関連付けた安全要件の管理例を示す図、図7は第3の制御方式の例を示す模式図、図8は第4の制御方式の例を示す模式図である。図4において、31は地上装置、32は指令員、33は運行管理装置、34は防災システム、35は地上制御装置、36は論理部、37は保守員機器室、38は保守端末、39~41は端末部、42,43は無線基地局、44は転てつ機、45は保守員地上、46は保守用車、51は車上装置、52は乗務員、53は車内信号機、54は車上制御装置、55は保守員車上、56は鉄道車両、57は車上位置速度検知部である。図5では、列車制御のための停止限界設定例について説明している。すなわち、ここでは、間隔制御例について述べており、機能名称は停止限界設定であり、その機能概要としては、1列車位置、進路開通条件、外部条件の取得:軌道回路もしくは車上制御装置から受信して、全列車位置を把握する、2停止限界設定:進路の設定状況、全列車位置、外部条件に基づき、全列車の停止限界を設定する、3停止限界送信:全列車の車上制御装置に対して停止限界を送信し、もしくは、地上信号機に対して現示を出力する、4安全側制御:停止現示を出力する。基本仕様としての制御論理での安全確認項目については、イ入力項目として、i列車位置、進路開通条件、外部条件の取得:全ての列車位置が特定されていること、進行方向が特定されていること、列車長が特定されていること、ii停止限界設定情報:進路が特定されていること、進路の設定状況を確認できること、ロ出力項目として、停止限界送信:全出力先が特定されていること、ハ処理項目として、停止限界設定:先行列車の特定は、進路に応じてできること、続行列車の停止限界設定にあたっては、先行列車の列車長を考慮できること、緊急停止情報と停止限界との関連性を明確化することが挙げられる。安全対策の確認項目については、イ入力項目として、列車位置、進路開通条件、外部条件の取得:全ての列車位置を特定できていること、また、健全な位置情報であること、進路の開通条件が適切であること、未定義なものでないこと、ロ出力項目として、停止限界送信:列車に対して確実に到着していることの確認、フィードバックチェック、ハ処理項目として、停止限界設定:列車位置から停止限界までの区間が他列車と重なっていないことが挙げられる。異常検知時の安全側固定項目については、異常検知時には安全側制御停止現示出力相当を実施する。外部条件については、緊急停止電文の送信又は管轄内の全列車に対して停止限界の引き戻しを行う。このように、基本仕様と安全対策に分けて定義し、安全要件を管理する点に特徴がある。次に、FTAと関連付けた安全要件の管理例を図6を参照しながら説明する。ここでは、安全対策制約条件は、FTAの制約条件に対する新たに定めた記号で分類して定義する。例えば、MHはハードウェア故障対策、MSはソフトウェア論理誤り対策、MFはフェールセーフCPUボード故障対策、MOは誤操作防止対策、IFは装置間状態一致化対策としてそれぞれ図形で表す。例えば、車上位置検知F1又は連動機構F5に誤りが発生した場合は、停止限界設定F4機能の入力誤りや処理誤りや出力誤りとなり、その結果、速度照査ブレーキ制御F3の誤りとなる。安全対策は、これらの誤りの発生防止のためであり、列車制御の機能ごとに上記安全対策の記号で分類して定義する。以下、本発明の列車制御システム用安全確認項目の管理例について図2および図4~図6を参照しながら説明する。<ステップS1>列車制御システムの構造アーキテクチャ設定1地上装置31/車上装置51への機能割当目的:以下の中から制御方式を選択する。1地上位置検知結果に基づく地上装置31での停止限界作成地上装置31からの直接車上制御方式。2地上位置検知結果に基づく地上装置31での停止限界作成地上信号機方式。3地上位置検知結果に基づく地上装置31での停止限界作成車上位置検知結果に基づく速度照査図7参照。4車上位置検知結果に基づく地上装置31での停止限界作成車上位置検知結果に基づく速度照査図8参照。5車上位置検知結果に基づく車上装置51での停止限界作成車上位置検知結果に基づく速度照査車上自律制御方式。なお、列車制御システムの制御方式を選択入力し、以下、選択した制御方式の安全要件を対象に出力する。2中央装置/駅装置への機能割当目的:論理部の管理の単位を駅とするか線区全体とするかを明確化するため、集中/分散のシステム構成を選択する。1駅装置主体の構成分散方式2中央装置主体の構成集中方式これらを選択できる様にし、例えば、集中方式を選択した場合には、中央制御装置が停止することにより、当該管轄下の制御装置の停止に伴う影響範囲が大きくなる点を追加表示する。3制御装置境界の設定目的:制御装置に搭載する機能を決定するアーキテクチャの決定。制御装置境界を、機能ブロックに対して設定する。制御装置境界は、各機能ブロックに対してフェールセーフCPUボードの名称を割り当てることで判断する。<ステップS2>機能ブロックの確認項目の提示目的:機能ごとの確認項目を出力する。システム構成図に定める機能ブロック名称をもとに該当する機能を検索する。また、補助機能として、FMEAFTAと関連付けた対策の表示を行う。各機能ブロックに示す安全対策は、FTAの制約条件記号が割り当てられており、FMEAは検知手段、FTAは制約条件として関連づけて示される。<ステップS3>フェールセーフCPUボードと列車制御アプリケーション間の整合性確認項目の提示目的:フェールセーフCPUボードと列車制御アプリケーション間の整合性を確認する。1入出力インタフェースの整合性確認項目の提示システム構成図に示す条件ごとのシリアル入出力FSSI/FSSO25、リレー接点入力FSDI26、リレー出力FSDO27、該当なしの種別を、フェールセーフCPUボード名称とともに、各機能ブロックに入出力して割り当てる。当該条件リレー入出力FSDI/FSDO、シリアル入出力FSSI/FSSO、該当なしをもとに、入出力線リストを表示する。選択した入出力線に対して、各フェールセーフCPUボード21の入出力条件に関わる確認項目を提示する。また、確認対象装置の仕様書の章節番号および内容を提示する。確認を終了したら、各入出力線にチェック確認済みの記号を付ける。なお、一つのボードに複数の機能を搭載する場合は、同一メモリ内での入出力となるので、該当なしとする。2フェールセーフCPUボード処理部21と列車制御アプリケーション間の処理部の整合性確認項目の提示搭載した各機能に対して、フェールセーフCPUボード21の安全要件を提示し、確認する。具体的には、処理性能、CPUA系22/B系23照合方式、2値データ01の割り当てなどについて整合性を確認する。なお、確認対象装置の仕様書の章節番号および内容を提示する。確認を終了したら、チェック確認済みの記号を付ける。<ステップS4>ブロック間の整合性確認項目の提示目的:機能ブロック間の整合性を確認する。1各機能の入力と出力の整合性確認機能ブロック単位での確認項目の提示基本仕様の入力出力に関わる機能をもとに関連する機能を検索。提示された検索結果を見て、人が内容を判断して整合性を確認する。なお、接続先の検索をする際には、入力と出力を逆転入力→出力、出力→入力する。また、確認対象装置の仕様書の章節番号および内容を提示する。確認を終了したらチェック確認済みの記号を付ける。2制御装置境界に伴う処理部の状態の整合性確認制御装置単位での確認項目の提示a制御装置境界情報をもとに、接続先の機能ブロックの確認項目を表示する。b内部状態等の重要情報については、積極的に機能ブロック間で相互に状態が一致していることを確認するための診断論理を、必要に応じて追加する。なお、確認対象装置の仕様書の章節番号および内容を提示する。確認を終了したら確認済みの記号を付ける。また、本発明は上記実施例に限定されるものではなく、本発明の趣旨に基づき種々の変形が可能であり、これらを本発明の範囲から排除するものではない。"