【手続補正書】
【提出日】平成26年10月16日(2014.10.16)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
連動装置及び運行管理システムで構成される列車運行制御システムの動作を検証する列車運行制御検査装置であって、
複数の閉そくを連接し、少なくとも一以上の分岐を有して成る路線ネットワークの構成を表した路線情報、
当該路線ネットワーク上を走行する列車の経路を、一または複数の進路の組み合わせにより、当該列車ごとに特定する走行経路情報、
列車が走行しようとする経路を予約するための進路要求を行う際に満たすべき条件が、前記進路ごとに規定された進路設定情報、及び、
前記連動装置の安全動作ロジックが規定された連動装置動作情報
を取得する情報取得部と、
前記情報取得部が取得した各種情報に基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムそれぞれについての状態遷移モデルを生成する状態遷移モデル生成部と、
前記状態遷移モデルに基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムの何れか一つで生じた一の状態遷移に応じて、前記列車、前記分岐、前記連動装置、前記運行管理システムの何れかにおける現時点の状態を他の状態に遷移させながら、遷移可能な状態の組み合わせごとに、予め設定された要件を満たすか否かを判定する状態遷移モデル検査部と、
を備える列車運行制御検査装置。
【請求項２】
前記状態遷移モデル生成部は、
前記列車において想定される状態として、少なくとも、前記列車が、前記進路を前記閉そく単位で区分した進路要素のそれぞれに属している状態、及び、各進路要素の境界を跨いでいる状態を含む状態遷移モデルを生成する
ことを特徴とする請求項１に記載の列車運行制御検査装置。
【請求項３】
前記状態遷移モデル生成部は、
前記分岐において想定される状態として、少なくとも、定位、転換中及び反位の状態を含む状態遷移モデルを生成する
ことを特徴とする請求項１または請求項２に記載の列車運行制御検査装置。
【請求項４】
前記状態遷移モデル生成部は、
前記連動装置において想定される状態として、少なくとも、各進路についての鎖錠の有無、各閉そくにおける在線の有無を含む状態遷移モデルを生成する
ことを特徴とする請求項１から請求項３の何れか一項に記載の列車運行制御検査装置。
【請求項５】
前記状態遷移モデル生成部は、
前記運行管理システムにおいて想定される状態として、少なくとも、各列車についての進路要求ステップの進行状態、及び、各進路における進路要求の有無それぞれを示す状態を含む状態遷移モデルを生成する
ことを特徴とする請求項１から請求項４の何れか一項に記載の列車運行制御検査装置。
【請求項６】
連動装置及び運行管理システムで構成される列車運行制御システムの動作を検証する列車運行制御検査方法であって、
複数の閉そくを連接し、少なくとも一以上の分岐を有して成る路線ネットワークの構成を表した路線情報、
当該路線ネットワーク上を走行する列車の経路を、一または複数の進路の組み合わせにより、当該列車ごとに特定する走行経路情報、
列車が走行しようとする経路を予約するための進路要求を行う際に満たすべき条件が、前記進路ごとに規定された進路設定情報、及び、
前記連動装置の安全動作ロジックが規定された連動装置動作情報
を取得し、
当該取得した各種情報に基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムそれぞれについての状態遷移モデルを生成し、
前記状態遷移モデルに基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムの何れか一つで生じた一の状態遷移に応じて、前記列車、前記分岐、前記連動装置、前記運行管理システムの何れかにおける現時点の状態を他の状態に遷移させながら、遷移可能な状態の組み合わせごとに、予め設定された要件を満たすか否かを判定する
こと特徴とする列車運行制御検査方法。
【請求項７】
連動装置及び運行管理システムで構成される列車運行制御システムの動作を検証する列車運行制御検査装置のコンピュータを、
複数の閉そくを連接し、少なくとも一以上の分岐を有して成る路線ネットワークの構成を表した路線情報、
当該路線ネットワーク上を走行する列車の経路を、一または複数の進路の組み合わせにより、当該列車ごとに特定する走行経路情報、
列車が走行しようとする経路を予約するための進路要求を行う際に満たすべき条件が、前記進路ごとに規定された進路設定情報、及び、
前記連動装置の安全動作ロジックが規定された連動装置動作情報
を取得する情報取得手段、
前記情報取得手段が取得した各種情報に基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムそれぞれについての状態遷移モデルを生成する状態遷移モデル生成手段、
前記状態遷移モデルに基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムの何れか一つで生じた一の状態遷移に応じて、前記列車、前記分岐、前記連動装置、前記運行管理システムの何れかにおける現時点の状態を他の状態に遷移させながら、遷移可能な状態の組み合わせごとに、予め設定された要件を満たすか否かを判定する状態遷移モデル検査手段として機能させる
ことを特徴とするプログラム。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】００１１
【補正方法】変更
【補正の内容】
【００１１】
本発明は、上述の課題を解決すべくなされたもので、連動装置及び運行管理システムで構成される列車運行制御システムの動作を検証する列車運行制御検査装置であって、複数の閉そくを連接し、少なくとも一以上の分岐を有して成る路線ネットワークの構成を表した路線情報、当該路線ネットワーク上を走行する列車の経路を、一または複数の進路の組み合わせにより、当該列車ごとに特定する走行経路情報、列車が走行しようとする経路を予約するための進路要求を行う際に満たすべき条件が、前記進路ごとに規定された進路設定情報、及び、前記連動装置の安全動作ロジックが規定された連動装置動作情報を取得する情報取得部と、前記情報取得部が取得した各種情報に基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムそれぞれについての状態遷移モデルを生成する状態遷移モデル生成部と、前記状態遷移モデルに基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムの何れか一つで生じた一の状態遷移に応じて、前記列車、前記分岐、前記連動装置、前記運行管理システムの何れかにおける現時点の状態を他の状態に遷移させながら、遷移可能な状態の組み合わせごとに、予め設定された要件を満たすか否かを判定する状態遷移モデル検査部と、を備える列車運行制御検査装置である。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】００１６
【補正方法】変更
【補正の内容】
【００１６】
また本発明は、連動装置及び運行管理システムで構成される列車運行制御システムの動作を検証する列車運行制御検査方法であって、複数の閉そくを連接し、少なくとも一以上の分岐を有して成る路線ネットワークの構成を表した路線情報、当該路線ネットワーク上を走行する列車の経路を、一または複数の進路の組み合わせにより、当該列車ごとに特定する走行経路情報、列車が走行しようとする経路を予約するための進路要求を行う際に満たすべき条件が、前記進路ごとに規定された進路設定情報、及び、前記連動装置の安全動作ロジックが規定された連動装置動作情報を取得し、前記情報取得部が取得した各種情報に基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムそれぞれについての状態遷移モデルを生成し、前記状態遷移モデルに基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムの何れか一つで生じた一の状態遷移に応じて、前記列車、前記分岐、前記連動装置、前記運行管理システムの何れかにおける現時点の状態を他の状態に遷移させながら、遷移可能な状態の組み合わせごとに、予め設定された要件を満たすか否かを判定すること特徴とする列車運行制御検査方法である。
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】００１７
【補正方法】変更
【補正の内容】
【００１７】
また本発明は、連動装置及び運行管理システムで構成される列車運行制御システムの動作を検証する列車運行制御検査装置のコンピュータを、複数の閉そくを連接し、少なくとも一以上の分岐を有して成る路線ネットワークの構成を表した路線情報、当該路線ネットワーク上を走行する列車の経路を、一または複数の進路の組み合わせにより、当該列車ごとに特定する走行経路情報、列車が走行しようとする経路を予約するための進路要求を行う際に満たすべき条件が、前記進路ごとに規定された進路設定情報、及び、前記連動装置の安全動作ロジックが規定された連動装置動作情報を取得する情報取得手段、前記情報取得部が取得した各種情報に基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムそれぞれについての状態遷移モデルを生成する状態遷移モデル生成手段、前記状態遷移モデルに基づいて、前記列車、前記分岐、前記連動装置及び前記運行管理システムの何れか一つで生じた一の状態遷移に応じて、前記列車、前記分岐、前記連動装置、前記運行管理システムの何れかにおける現時点の状態を他の状態に遷移させながら、遷移可能な状態の組み合わせごとに、予め設定された要件を満たすか否かを判定する状態遷移モデル検査手段として機能させることを特徴とするプログラムである。