JPH09123912A - ソフトウエアアーキテクチャ方式鉄道鎖錠システムとその実施方法 - Google Patents
ソフトウエアアーキテクチャ方式鉄道鎖錠システムとその実施方法Info
- Publication number
- JPH09123912A JPH09123912A JP8271214A JP27121496A JPH09123912A JP H09123912 A JPH09123912 A JP H09123912A JP 8271214 A JP8271214 A JP 8271214A JP 27121496 A JP27121496 A JP 27121496A JP H09123912 A JPH09123912 A JP H09123912A
- Authority
- JP
- Japan
- Prior art keywords
- task
- tasks
- message
- railroad
- network
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims description 14
- 238000004891 communication Methods 0.000 claims abstract description 20
- 230000010365 information processing Effects 0.000 claims abstract description 7
- 230000005540 biological transmission Effects 0.000 claims description 7
- 238000012545 processing Methods 0.000 abstract description 13
- 238000012544 monitoring process Methods 0.000 abstract description 12
- 238000009434 installation Methods 0.000 description 8
- 230000008569 process Effects 0.000 description 8
- 238000013499 data model Methods 0.000 description 4
- 230000008859 change Effects 0.000 description 3
- 238000010586 diagram Methods 0.000 description 3
- 230000006870 function Effects 0.000 description 3
- 238000012423 maintenance Methods 0.000 description 2
- 230000007704 transition Effects 0.000 description 2
- 230000008901 benefit Effects 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- QSHDDOUJBYECFT-UHFFFAOYSA-N mercury Chemical compound [Hg] QSHDDOUJBYECFT-UHFFFAOYSA-N 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 239000004557 technical material Substances 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
- B61L19/06—Interlocking devices having electrical operation
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L1/00—Devices along the route controlled by interaction with the vehicle or train
Landscapes
- Engineering & Computer Science (AREA)
- Mechanical Engineering (AREA)
- Automation & Control Theory (AREA)
- Train Traffic Observation, Control, And Security (AREA)
- Electric Propulsion And Braking For Vehicles (AREA)
Abstract
(57)【要約】
【課題】 ソフトウエアアーキテクチャ方式鉄道鎖錠シ
ステムとその実施方法 【解決手段】 複数の線路設備で構成されている鉄道網
上を列車が安全に走行するための鉄道鎖錠システムであ
って、それぞれが鉄道網を構成する線路設備に結び付け
られているタスク（Ｔｒｃ−ＡＥＡ、・・・）の集合を
有している。タスクは、監視下の鉄道網の特定の地理学
的トポロジーに対応した配置にしたがってタスクを相互
接続する通信用論理チャネルの連続（６）を通してメッ
セージを伝達することによって進路の確立及び解除の分
散型論理を実施する。システムの実施は、鉄道網の記述
ファイルと、それぞれが有限オートマトンを実施する包
括的モジュールのライブラリの情報処理によって行われ
る。
ステムとその実施方法 【解決手段】 複数の線路設備で構成されている鉄道網
上を列車が安全に走行するための鉄道鎖錠システムであ
って、それぞれが鉄道網を構成する線路設備に結び付け
られているタスク（Ｔｒｃ−ＡＥＡ、・・・）の集合を
有している。タスクは、監視下の鉄道網の特定の地理学
的トポロジーに対応した配置にしたがってタスクを相互
接続する通信用論理チャネルの連続（６）を通してメッ
セージを伝達することによって進路の確立及び解除の分
散型論理を実施する。システムの実施は、鉄道網の記述
ファイルと、それぞれが有限オートマトンを実施する包
括的モジュールのライブラリの情報処理によって行われ
る。
Description
【０００１】
【発明の属する技術分野】本発明は、鉄道網上の安全な
列車走行に関し、とりわけ、ソフトウエアアーキテクチ
ャに基づく鉄道鎖錠システム(systeme d´enclenchemen
t ferroviaire)に関する。
列車走行に関し、とりわけ、ソフトウエアアーキテクチ
ャに基づく鉄道鎖錠システム(systeme d´enclenchemen
t ferroviaire)に関する。
【０００２】このようなシステムは、すでに欧州特許第
０５８１２８１号で知られている。このシステムは、ル
ールベース、推論エンジン、さらに、進路を確立し解除
するためのルールが適用されるデータモデルを備えてい
る。データモデルは、論理ゲートの出力によって鉄道網
を構成する線路設備を表すものである。各ルールは、鉄
道網の対応する線路設備上に列車が入る前に論理ゲート
によって確認すべき条件を定めている。
０５８１２８１号で知られている。このシステムは、ル
ールベース、推論エンジン、さらに、進路を確立し解除
するためのルールが適用されるデータモデルを備えてい
る。データモデルは、論理ゲートの出力によって鉄道網
を構成する線路設備を表すものである。各ルールは、鉄
道網の対応する線路設備上に列車が入る前に論理ゲート
によって確認すべき条件を定めている。
【０００３】この鎖錠システムは、リレーベースの従来
の方法よりはるかに柔軟性があるという利点をもってい
る。とりわけ、このような鎖錠システムは、監視される
鉄道網に対応するデータモデルを構成するように、ルー
ルベースと鉄道網のハイレベル抽象化記述ファイル(fic
hier de description de haut niveau d´abstractio
n）の情報処理によって実施することができる。ルール
ベースが十分に包括的に設計されている場合には、修正
を加えることなく他の鎖錠システムの実施に利用するこ
ともできる。このような柔軟性をもっているにもかかわ
らず、この既知の鉄道鎖錠システムを実行するために
は、ルールベース、データモデルさらに推論エンジンが
内包されている集中処理リソースが必要となる。データ
モデルの複雑さは鉄道網の複雑さとともに増大すること
から、このリソースの処理容量は監視される鉄道網が複
雑である分だけ大きなものでなければならない。さら
に、上記の資料の中では、いくつかの処理を平行して行
うことができるマルチプロセッサリソースを利用するこ
とが提案されているが、これにはシステムのメンテナン
スをより複雑にするという欠点がともなう。
の方法よりはるかに柔軟性があるという利点をもってい
る。とりわけ、このような鎖錠システムは、監視される
鉄道網に対応するデータモデルを構成するように、ルー
ルベースと鉄道網のハイレベル抽象化記述ファイル(fic
hier de description de haut niveau d´abstractio
n）の情報処理によって実施することができる。ルール
ベースが十分に包括的に設計されている場合には、修正
を加えることなく他の鎖錠システムの実施に利用するこ
ともできる。このような柔軟性をもっているにもかかわ
らず、この既知の鉄道鎖錠システムを実行するために
は、ルールベース、データモデルさらに推論エンジンが
内包されている集中処理リソースが必要となる。データ
モデルの複雑さは鉄道網の複雑さとともに増大すること
から、このリソースの処理容量は監視される鉄道網が複
雑である分だけ大きなものでなければならない。さら
に、上記の資料の中では、いくつかの処理を平行して行
うことができるマルチプロセッサリソースを利用するこ
とが提案されているが、これにはシステムのメンテナン
スをより複雑にするという欠点がともなう。
【０００４】
【発明が解決しようとする課題】本発明の目的は、マイ
クロコンピュータのような低コストの複数の処理リソー
スに分散することができる別の設計のソフトウエアアー
キテクチャに基づく鉄道鎖錠システムを提案することに
ある。とりわけ、本発明は、線路設備から送られた信号
の獲得に役立ち、既存の鉄道網の監視／制御設備内にす
でに置かれている処理リソースを利用するのに適したこ
のような鉄道鎖錠システムを提供することを目的として
いる。
クロコンピュータのような低コストの複数の処理リソー
スに分散することができる別の設計のソフトウエアアー
キテクチャに基づく鉄道鎖錠システムを提案することに
ある。とりわけ、本発明は、線路設備から送られた信号
の獲得に役立ち、既存の鉄道網の監視／制御設備内にす
でに置かれている処理リソースを利用するのに適したこ
のような鉄道鎖錠システムを提供することを目的として
いる。
【０００５】
【課題を解決するための手段】このため、本発明は、ソ
フトウエアアーキテクチャに基づき、複数の線路設備で
構成される鉄道網上の安全な列車走行に役立つ鉄道鎖錠
システムを対象としている。このシステムは、それぞれ
が鉄道網を構成する線路設備に関連するタスクの集合を
有している。これらのタスクは、監視下にある鉄道網の
特定の地理学的トポロジーに対応する配置にしたがって
タスクを相互接続する通信用論理チャネル（canaux log
iques de communication）の連続を通してメッセージの
伝達による進路の確立及び解除用の分散型論理を利用す
る。とりわけ、このメッセージ伝達の分散型論理は、有
限状態のオートマトンの形でタスクの中に実施される。
有限オートマトンは通信用論理チャネルに沿ってメッセ
ージを伝達しながら、互いに作用する。
フトウエアアーキテクチャに基づき、複数の線路設備で
構成される鉄道網上の安全な列車走行に役立つ鉄道鎖錠
システムを対象としている。このシステムは、それぞれ
が鉄道網を構成する線路設備に関連するタスクの集合を
有している。これらのタスクは、監視下にある鉄道網の
特定の地理学的トポロジーに対応する配置にしたがって
タスクを相互接続する通信用論理チャネル（canaux log
iques de communication）の連続を通してメッセージの
伝達による進路の確立及び解除用の分散型論理を利用す
る。とりわけ、このメッセージ伝達の分散型論理は、有
限状態のオートマトンの形でタスクの中に実施される。
有限オートマトンは通信用論理チャネルに沿ってメッセ
ージを伝達しながら、互いに作用する。
【０００６】このようなソフトウエアアーキテクチャに
よれば、タスクは非同期挙動（comportment asynchron
e）を有している。監視される鉄道網の複雑性の大きさ
は、実行するタスクの数の多さとなって現われる。ただ
し、タスクが非同期挙動を有していることを考慮する
と、大容量の処理リソースを備えることは無駄である。
なぜなら、低容量の各処理リソースの中にわずかなタス
クしか入っていない場合には、実行容量が小さい処理リ
ソースの集合にタスクを分散することができるからであ
る。その上、このような低容量の処理リソースの集合の
コストは、唯一つで同等の容量をもつ処理リソースのコ
ストよりはるかに安くなる。さらに、本発明の方法のタ
スクのオートマトン及び非同期機能によって各タスクの
良好な機能を簡単に制御することができ、それによって
鎖錠システムの維持費を安くすることができる。
よれば、タスクは非同期挙動（comportment asynchron
e）を有している。監視される鉄道網の複雑性の大きさ
は、実行するタスクの数の多さとなって現われる。ただ
し、タスクが非同期挙動を有していることを考慮する
と、大容量の処理リソースを備えることは無駄である。
なぜなら、低容量の各処理リソースの中にわずかなタス
クしか入っていない場合には、実行容量が小さい処理リ
ソースの集合にタスクを分散することができるからであ
る。その上、このような低容量の処理リソースの集合の
コストは、唯一つで同等の容量をもつ処理リソースのコ
ストよりはるかに安くなる。さらに、本発明の方法のタ
スクのオートマトン及び非同期機能によって各タスクの
良好な機能を簡単に制御することができ、それによって
鎖錠システムの維持費を安くすることができる。
【０００７】本発明は、監視される鉄道網のハイレベル
抽象化記述ファイル及び各々が線路設備の一つのタイプ
に応じた有限オートマトンを実施する包括的な論理モジ
ュールのライブラリの情報処理に基いて、このような鉄
道鎖錠システムを実施するための方法にまで及んでい
る。包括的論理モジュールのライブラリは修正する必要
なく、対応するさまざまな鉄道網を監視するためにさま
ざまな鎖錠システムを実施するのに利用できる。
抽象化記述ファイル及び各々が線路設備の一つのタイプ
に応じた有限オートマトンを実施する包括的な論理モジ
ュールのライブラリの情報処理に基いて、このような鉄
道鎖錠システムを実施するための方法にまで及んでい
る。包括的論理モジュールのライブラリは修正する必要
なく、対応するさまざまな鉄道網を監視するためにさま
ざまな鎖錠システムを実施するのに利用できる。
【０００８】
【発明の実施の形態】添付の図面を参照して、以下に本
発明の実施例を説明する。
発明の実施例を説明する。
【０００９】図１においては、本発明による鉄道鎖錠シ
ステム１は、鎖錠システムの監視下にある鉄道網３の状
況をそこからオペレータが監視する監視室２を備えてい
るより複雑な集合（統合型電子式監視センター）の一部
を成している。
ステム１は、鎖錠システムの監視下にある鉄道網３の状
況をそこからオペレータが監視する監視室２を備えてい
るより複雑な集合（統合型電子式監視センター）の一部
を成している。
【００１０】鉄道鎖錠システムは、鉄道網上の走行の安
全性を保つことができるように進路を確立（鎖錠）した
り、解除したりするのに役立つ。とりわけ、鉄道網上の
列車の衝突を防ぐことができる。というのも、たとえば
鎖錠された進路が交差してしまった場合には衝突が起き
る恐れがあるからである。
全性を保つことができるように進路を確立（鎖錠）した
り、解除したりするのに役立つ。とりわけ、鉄道網上の
列車の衝突を防ぐことができる。というのも、たとえば
鎖錠された進路が交差してしまった場合には衝突が起き
る恐れがあるからである。
【００１１】本発明による鎖錠システム１は、制御され
る鉄道網を構成し、以下に述べるように非同期式でメッ
セージによって互いに通信し合うような、それぞれが対
応する線路設備に結びついたタスクの集合を有してい
る。
る鉄道網を構成し、以下に述べるように非同期式でメッ
セージによって互いに通信し合うような、それぞれが対
応する線路設備に結びついたタスクの集合を有してい
る。
【００１２】特に、タスクは、それぞれがあるタスクの
メッセージの出力と他のタスクのメッセージの入力を相
互接続する通信用論理チャネルの連続を通してメッセー
ジの伝達によって進路を確立したり、解除したりするた
めの分散型論理を実施する。通信用論理チャネルは、そ
の各々の連続が、鉄道網上で列車が行き来する所定の進
路に対応するように、鉄道網の特定の地理学的トポロジ
ーに対応する配置にしたがってタスク間で実施される。
いいかえれば、次々に線路設備の連続を通る進路のため
に、これらの装置に関連付けられたタスクを相互接続し
ている通信用論理チャネルの対応する連続が存在する。
メッセージの出力と他のタスクのメッセージの入力を相
互接続する通信用論理チャネルの連続を通してメッセー
ジの伝達によって進路を確立したり、解除したりするた
めの分散型論理を実施する。通信用論理チャネルは、そ
の各々の連続が、鉄道網上で列車が行き来する所定の進
路に対応するように、鉄道網の特定の地理学的トポロジ
ーに対応する配置にしたがってタスク間で実施される。
いいかえれば、次々に線路設備の連続を通る進路のため
に、これらの装置に関連付けられたタスクを相互接続し
ている通信用論理チャネルの対応する連続が存在する。
【００１３】図２は、本発明を説明するための例として
の鉄道網を概略的に示しており、図３はこの鉄道網の例
に対応する鉄道鎖錠システムのソフトウエアアーキテク
チャを示している。
の鉄道網を概略的に示しており、図３はこの鉄道網の例
に対応する鉄道鎖錠システムのソフトウエアアーキテク
チャを示している。
【００１４】図２においては、鉄道網は、転轍器によっ
て連結され、駅Ｇに通じている２本の線路ＡＥとＡＢを
備えている。この鉄道網は、機能的な観点からみれば、
複数の線路設備で構成されており、線路設備の相対的配
置が鉄道網の特定の地理学的トポロジーを定めている。
て連結され、駅Ｇに通じている２本の線路ＡＥとＡＢを
備えている。この鉄道網は、機能的な観点からみれば、
複数の線路設備で構成されており、線路設備の相対的配
置が鉄道網の特定の地理学的トポロジーを定めている。
【００１５】線路ＡＥ上では、第一の基準軌道回路ＡＥ
Ａ、第二の軌道回路ＡＥＢ、多面型信号（signal multi
-aspects）ＭＰ２６３（たとえば三色信号）、第一転轍
器ＭＰ２２０５Ｂ（電気制御式）、第二転轍器ＭＰ２２
０６Ａ、手動信号ＭＰ１００２（特に二色信号）、第三
の軌道回路ＡＥＤ、第二の多面型信号ＭＰ２６５、第四
の軌道回路ＡＥＥ、第五の軌道回路ＡＥＦが一続きで
（図２では右側から左側に）配置されている。
Ａ、第二の軌道回路ＡＥＢ、多面型信号（signal multi
-aspects）ＭＰ２６３（たとえば三色信号）、第一転轍
器ＭＰ２２０５Ｂ（電気制御式）、第二転轍器ＭＰ２２
０６Ａ、手動信号ＭＰ１００２（特に二色信号）、第三
の軌道回路ＡＥＤ、第二の多面型信号ＭＰ２６５、第四
の軌道回路ＡＥＥ、第五の軌道回路ＡＥＦが一続きで
（図２では右側から左側に）配置されている。
【００１６】線路ＡＢ上では、第一の軌道回路ＡＢＥ、
第二の軌道回路ＡＢＧ、第一の多面型信号ＭＰ２６２、
第三の軌道回路ＡＢＪ、第一の転轍器ＭＰ２２０６Ｂ、
第二の転轍器ＭＰ２２０５Ａ、第二の多面型信号ＭＰ２
６１、第四の軌道回路ＡＢＰ、第五の軌道回路ＡＢＲが
一続きで（図２では右側から左側に）配置されている。
第二の軌道回路ＡＢＧ、第一の多面型信号ＭＰ２６２、
第三の軌道回路ＡＢＪ、第一の転轍器ＭＰ２２０６Ｂ、
第二の転轍器ＭＰ２２０５Ａ、第二の多面型信号ＭＰ２
６１、第四の軌道回路ＡＢＰ、第五の軌道回路ＡＢＲが
一続きで（図２では右側から左側に）配置されている。
【００１７】この鉄道網においては、列車は、それぞれ
信号ＭＰ２６１のような多面型信号または手動信号から
出発し、線路設備のさまざまな連続を通過する所定のさ
まざまな進路を通ることができる。例として、図２にお
ける基準進路Ｒ２６１は、多面型信号ＭＰ２６１から出
発して、転轍器ＭＰ２２０５Ａ、転轍器ＭＰ２２０６
Ｂ、転轍器ＭＰ２２０６Ａ、軌道回路ＡＥＤ、さらに多
面型信号ＭＰ２６５を次々に通過する。信号は、進路上
の列車の走行の向きに対するその方向にしたがって進路
の一部を成すこともあれば成さないこともあることはい
うまでもない。
信号ＭＰ２６１のような多面型信号または手動信号から
出発し、線路設備のさまざまな連続を通過する所定のさ
まざまな進路を通ることができる。例として、図２にお
ける基準進路Ｒ２６１は、多面型信号ＭＰ２６１から出
発して、転轍器ＭＰ２２０５Ａ、転轍器ＭＰ２２０６
Ｂ、転轍器ＭＰ２２０６Ａ、軌道回路ＡＥＤ、さらに多
面型信号ＭＰ２６５を次々に通過する。信号は、進路上
の列車の走行の向きに対するその方向にしたがって進路
の一部を成すこともあれば成さないこともあることはい
うまでもない。
【００１８】図３においては、図２の鉄道網に対応する
鉄道鎖錠システムのソフトウエアアーキテクチャがこの
鉄道網の地理学的トポロジーを引き継いでいる。この図
においては、タスクはブロックで表され、それらのブロ
ックの間に矢印６で示された通信用論理チャネルが記さ
れている。二つのタスクの間に実施された通信用論理チ
ャネルは、これら二つのタスクに関連した二つの線路設
備を通る進路の一部に対応している。列車がこの進路の
部分を両方向で走行する場合、対応するタスクは、２本
の平行な通信用論理チャネルによって相互接続される。
たとえば、基準タスクを相互接続する２本の通信用論理
チャネルｄＰｎｔ−２２０５ＡとｄＰｎｔ−２２０６Ｂ
の場合である。
鉄道鎖錠システムのソフトウエアアーキテクチャがこの
鉄道網の地理学的トポロジーを引き継いでいる。この図
においては、タスクはブロックで表され、それらのブロ
ックの間に矢印６で示された通信用論理チャネルが記さ
れている。二つのタスクの間に実施された通信用論理チ
ャネルは、これら二つのタスクに関連した二つの線路設
備を通る進路の一部に対応している。列車がこの進路の
部分を両方向で走行する場合、対応するタスクは、２本
の平行な通信用論理チャネルによって相互接続される。
たとえば、基準タスクを相互接続する２本の通信用論理
チャネルｄＰｎｔ−２２０５ＡとｄＰｎｔ−２２０６Ｂ
の場合である。
【００１９】よりわかりやすくするために、タスクを表
しているブロックを、各タスクに関連している線路設備
のタイプに応じてさまざまな形態で示してみる。なぜな
ら、同一タイプの線路設備に結びついているタスクは同
じ論理機能を有しているからである。図３では、各々が
一つの多面型信号に結びついているタスクＳｉｇ−２６
１、Ｓｉｇ−２６２、Ｓｉｇ−２６３、Ｓｉｇ−２６５
と、各々が軌道回路に結びついているタスクＴｒｃ−Ａ
ＥＡ、Ｔｒｃ−ＡＥＢ、Ｔｒｃ−ＡＥＤ、Ｔｒｃ−ＡＥ
Ｅ、Ｔｒｃ−ＡＥＦ、Ｔｒｃ−ＡＢＥ、Ｔｒｃ−ＡＢ
Ｇ、Ｔｒｃ−ＡＢＪ、Ｔｒｃ−ＡＢＰ、Ｔｒｃ−ＡＢＲ
と、手動信号に結びついているタスクＳｈｉ−１００２
と、各々が転轍器に結びついているタスクｄＰｎｔ−２
２０５Ａ、ｄＰｎＴ−２２０５Ｂ、ｄＰｎｔ−２２０６
Ａ、ｄＰｎｔ−２２０６Ｂが区別されている。
しているブロックを、各タスクに関連している線路設備
のタイプに応じてさまざまな形態で示してみる。なぜな
ら、同一タイプの線路設備に結びついているタスクは同
じ論理機能を有しているからである。図３では、各々が
一つの多面型信号に結びついているタスクＳｉｇ−２６
１、Ｓｉｇ−２６２、Ｓｉｇ−２６３、Ｓｉｇ−２６５
と、各々が軌道回路に結びついているタスクＴｒｃ−Ａ
ＥＡ、Ｔｒｃ−ＡＥＢ、Ｔｒｃ−ＡＥＤ、Ｔｒｃ−ＡＥ
Ｅ、Ｔｒｃ−ＡＥＦ、Ｔｒｃ−ＡＢＥ、Ｔｒｃ−ＡＢ
Ｇ、Ｔｒｃ−ＡＢＪ、Ｔｒｃ−ＡＢＰ、Ｔｒｃ−ＡＢＲ
と、手動信号に結びついているタスクＳｈｉ−１００２
と、各々が転轍器に結びついているタスクｄＰｎｔ−２
２０５Ａ、ｄＰｎＴ−２２０５Ｂ、ｄＰｎｔ−２２０６
Ａ、ｄＰｎｔ−２２０６Ｂが区別されている。
【００２０】以下に、進路Ｒ２６１に基づき、図３と図
４を参照して、メッセージの伝達による分散型論理の動
作原理を説明する。進路Ｒ２６１は、それぞれのブロッ
クが図３ではハッチングで示されているタスクＳｉｇ−
２６１、ｄＰｎｔ−２００５Ａ、ｄＰｎｔ−２００６
Ｂ、ｄＰｎｔ−２００５Ｂ、Ｔｒｃ−ＡＥＤ、Ｓｉｇ２
６５を一続きで相互接続する通信用論理チャネルの連続
に対応している。
４を参照して、メッセージの伝達による分散型論理の動
作原理を説明する。進路Ｒ２６１は、それぞれのブロッ
クが図３ではハッチングで示されているタスクＳｉｇ−
２６１、ｄＰｎｔ−２００５Ａ、ｄＰｎｔ−２００６
Ｂ、ｄＰｎｔ−２００５Ｂ、Ｔｒｃ−ＡＥＤ、Ｓｉｇ２
６５を一続きで相互接続する通信用論理チャネルの連続
に対応している。
【００２１】進路Ｒ２６１の確立 進路の確立は、監視室１から要求される。監視室１（図
４ではＳｙｓという記号が付けられている）から送られ
てくるこの進路の確立要求は、進路の識別子を内包する
入力メッセージの形で進路の入力タスクによって受け取
られる。この例においては、タスクＳｉｇ−２６１がメ
ッセージＲｅｑ（Ｒ２６１）を受け取る。この場合、進
路の識別子はＲ２６１と記号化されている。進路の入力
タスクから始まって、この進路に対応する一連のタスク
を通るループに沿って、進路の入力タスクに戻るといっ
た進路の確立要求メッセージ伝達の第一プロセスが、こ
れらタスクの集合によって実施される。とりわけ、メッ
セージＲ２６１は、割当てループと呼ばれるループに沿
って、タスクＳｉｇ−２６１、ｄＰｎｔ−２００５Ａ、
ｄＰｎｔ−２００６Ｂ、ｄＰｎｔ−２００５Ｂ、Ｔｒｃ
−ＡＥＤ、Ｓｉｇ−２６５によって伝達される。このル
ープの最中に、当該の各タスクは、コンフリクト状況
（そのタスクがすでに他の進路のために割当てられてい
る状況）が存在しない限り、メッセージＲｅｑ（Ｒ２６
１）の受信に基づいて進路Ｒ２６１に割り当てられる。
あるタスクによってコンフリクト状況が検知された場合
には、メッセージＣｏｎｆ（Ｒ２６１）が、当該のタス
クからタスクＳｉｇ−２６１のような進路入力タスクに
向かって、タスクからタスクへ溯っていき、この進路入
力タスクがこのメッセージを監視室に伝達する。図４に
おいては、進路Ｒ２６１に対応するあらゆるタスクが進
路Ｒ２６１に割当てられると、最後のタスクＳｉｇ−２
６５が、進路Ｒ２６１の入力タスクＳｉｇ−２６１にメ
ッセージＲｅｑ（Ｒ２６１）を送り返す。タスクＳｉｇ
−２６１は確認のために監視室にメッセージＡｌｌｏｃ
（Ｒ２６１）を送る。この第一のプロセスによって、確
立が要求されている所定の唯一つの進路に各タスクが割
当てられる。
４ではＳｙｓという記号が付けられている）から送られ
てくるこの進路の確立要求は、進路の識別子を内包する
入力メッセージの形で進路の入力タスクによって受け取
られる。この例においては、タスクＳｉｇ−２６１がメ
ッセージＲｅｑ（Ｒ２６１）を受け取る。この場合、進
路の識別子はＲ２６１と記号化されている。進路の入力
タスクから始まって、この進路に対応する一連のタスク
を通るループに沿って、進路の入力タスクに戻るといっ
た進路の確立要求メッセージ伝達の第一プロセスが、こ
れらタスクの集合によって実施される。とりわけ、メッ
セージＲ２６１は、割当てループと呼ばれるループに沿
って、タスクＳｉｇ−２６１、ｄＰｎｔ−２００５Ａ、
ｄＰｎｔ−２００６Ｂ、ｄＰｎｔ−２００５Ｂ、Ｔｒｃ
−ＡＥＤ、Ｓｉｇ−２６５によって伝達される。このル
ープの最中に、当該の各タスクは、コンフリクト状況
（そのタスクがすでに他の進路のために割当てられてい
る状況）が存在しない限り、メッセージＲｅｑ（Ｒ２６
１）の受信に基づいて進路Ｒ２６１に割り当てられる。
あるタスクによってコンフリクト状況が検知された場合
には、メッセージＣｏｎｆ（Ｒ２６１）が、当該のタス
クからタスクＳｉｇ−２６１のような進路入力タスクに
向かって、タスクからタスクへ溯っていき、この進路入
力タスクがこのメッセージを監視室に伝達する。図４に
おいては、進路Ｒ２６１に対応するあらゆるタスクが進
路Ｒ２６１に割当てられると、最後のタスクＳｉｇ−２
６５が、進路Ｒ２６１の入力タスクＳｉｇ−２６１にメ
ッセージＲｅｑ（Ｒ２６１）を送り返す。タスクＳｉｇ
−２６１は確認のために監視室にメッセージＡｌｌｏｃ
（Ｒ２６１）を送る。この第一のプロセスによって、確
立が要求されている所定の唯一つの進路に各タスクが割
当てられる。
【００２２】次に、進路上で列車が走行を開始する前
に、進路線路設備の集合が正確な位置に置かれている
（特に転轍器の位置）ことを監視し、そうでなかった場
合には装置の集合を要求位置に置くために制御すること
ができるように、その進路のために割当てられたタスク
によって第二のプロセスが実施される。この第二のプロ
セスもまた、進路の入力タスクから始まって、制御ルー
プとよばれるループに沿ってタスクからタスクへメッセ
ージＣｔｒｌを伝達することからなる。このメッセージ
を受け取ると、各タスクはそれぞれが結びついている線
路設備の正確な位置付けを制御し、状態信号の中から、
そのときに装置が占めている位置に関する情報を採取す
る。とりわけ、タスクＳｉｇ−２６１は、タスクＳｉｇ
−２６５から送られたメッセージＲｅｑ（Ｒ２６１）を
受け取ると、信号ＭＰ２６１が赤になるように制御し、
信号ＭＰ２６１のその時の状態に関する情報を採取し
て、この情報を、メッセージＣｔｒｌ（Ｒ２６１、ｒｔ
ｅｃｈｋ）の中に含まれているパラメータｒｔｅｃｈｋ
に伝達する。メッセージＣｔｒｌ（Ｒ２６１、ｒｔｅｃ
ｈｋ）はタスクからタスクへ伝達され、その一方でパラ
メータｒｔｅｃｈｋは、各タスクごとに整理される。こ
うして、各線路設備は、進路が開通する前に正確な位置
を占めるように制御される。最終的に、タスクＳｉｇ−
２６５がタスクＳｉｇ−２６１にメッセージＣｔｒｌ
（Ｒ２６１、ｒｔｅｃｈｋ）を送り返す。タスクＳｉｇ
−２６１はメッセージＣｔｒｌ（Ｒ２６１、ｒｔｅｃｈ
ｋ）を受け取ると、パラメータｒｔｅｃｈｋの中に含ま
れている情報に基づいて、線路設備の集合が正確な位置
を占めているかどうかを監視するために処理を行い、も
し線路設備の集合が正確な位置を占めていなければメッ
セージＣｔｒｌ（Ｒ２６１、ｒｔｅｃｈｋ）は再び制御
ループに沿って伝達される。線路設備がすべて正確な位
置にある場合には、解除条件が発生するまで進路Ｒ２６
１が確立されている（または鎖錠されている）ことを確
認するために、タスクＳｉｇ−２６１が監視室に対して
メッセージＳｅｔ（Ｒ２６１）を送る。位置を変更する
ために（転轍器の位置の変更）特定の線路設備に必要な
時間が、制御ループに沿ってメッセージＣｔｒｌを伝達
するのに必要な時間より長いことから、線路設備の集合
が正確な位置を占めるまでに、メッセージＣｔｒｌが制
御ループに沿って何回も伝達されることも考えられる。
に、進路線路設備の集合が正確な位置に置かれている
（特に転轍器の位置）ことを監視し、そうでなかった場
合には装置の集合を要求位置に置くために制御すること
ができるように、その進路のために割当てられたタスク
によって第二のプロセスが実施される。この第二のプロ
セスもまた、進路の入力タスクから始まって、制御ルー
プとよばれるループに沿ってタスクからタスクへメッセ
ージＣｔｒｌを伝達することからなる。このメッセージ
を受け取ると、各タスクはそれぞれが結びついている線
路設備の正確な位置付けを制御し、状態信号の中から、
そのときに装置が占めている位置に関する情報を採取す
る。とりわけ、タスクＳｉｇ−２６１は、タスクＳｉｇ
−２６５から送られたメッセージＲｅｑ（Ｒ２６１）を
受け取ると、信号ＭＰ２６１が赤になるように制御し、
信号ＭＰ２６１のその時の状態に関する情報を採取し
て、この情報を、メッセージＣｔｒｌ（Ｒ２６１、ｒｔ
ｅｃｈｋ）の中に含まれているパラメータｒｔｅｃｈｋ
に伝達する。メッセージＣｔｒｌ（Ｒ２６１、ｒｔｅｃ
ｈｋ）はタスクからタスクへ伝達され、その一方でパラ
メータｒｔｅｃｈｋは、各タスクごとに整理される。こ
うして、各線路設備は、進路が開通する前に正確な位置
を占めるように制御される。最終的に、タスクＳｉｇ−
２６５がタスクＳｉｇ−２６１にメッセージＣｔｒｌ
（Ｒ２６１、ｒｔｅｃｈｋ）を送り返す。タスクＳｉｇ
−２６１はメッセージＣｔｒｌ（Ｒ２６１、ｒｔｅｃｈ
ｋ）を受け取ると、パラメータｒｔｅｃｈｋの中に含ま
れている情報に基づいて、線路設備の集合が正確な位置
を占めているかどうかを監視するために処理を行い、も
し線路設備の集合が正確な位置を占めていなければメッ
セージＣｔｒｌ（Ｒ２６１、ｒｔｅｃｈｋ）は再び制御
ループに沿って伝達される。線路設備がすべて正確な位
置にある場合には、解除条件が発生するまで進路Ｒ２６
１が確立されている（または鎖錠されている）ことを確
認するために、タスクＳｉｇ−２６１が監視室に対して
メッセージＳｅｔ（Ｒ２６１）を送る。位置を変更する
ために（転轍器の位置の変更）特定の線路設備に必要な
時間が、制御ループに沿ってメッセージＣｔｒｌを伝達
するのに必要な時間より長いことから、線路設備の集合
が正確な位置を占めるまでに、メッセージＣｔｒｌが制
御ループに沿って何回も伝達されることも考えられる。
【００２３】タスクＳｉｇ−２６１はメッセージＣｔｒ
ｌ（Ｒ２６１、ｒｔｅｃｈｋ）を受け取ると、線路設備
の状態の定期的監視プロセスを開始する。このプロセス
は、監視ループと呼ばれるループに沿って、タスクから
タスクへメッセージＣｈｋ（Ｒ２６１、ｒｔｅｃｈｋ）
を伝達することからなり、この監視ループの最中に、各
タスクは、それぞれが結びついている線路設備の現在の
状態に関する情報を採取して、パラメータｒｔｅｃｈｋ
の中で、メッセージＣｈｋ（Ｒ２６１、ｒｔｅｃｈｋ）
を経由して、この情報を進路入力タスクまで溯らせる。
タスクＳｉｇ−２６５はメッセージＣｈｋ（Ｒ２６１、
ｒｔｅｃｈｋ）をタスクＳｉｇ−２６１に送り返し、タ
スクＳｉｇ−２６１は、鎖錠された進路の線路設備の作
動トラブルを容易に検知することができるように、パラ
メータｒｔｅｃｈｋに基づいて、線路設備の現在の状態
を監視する。このプロセスは、かなりの頻度で定期的に
実施される。
ｌ（Ｒ２６１、ｒｔｅｃｈｋ）を受け取ると、線路設備
の状態の定期的監視プロセスを開始する。このプロセス
は、監視ループと呼ばれるループに沿って、タスクから
タスクへメッセージＣｈｋ（Ｒ２６１、ｒｔｅｃｈｋ）
を伝達することからなり、この監視ループの最中に、各
タスクは、それぞれが結びついている線路設備の現在の
状態に関する情報を採取して、パラメータｒｔｅｃｈｋ
の中で、メッセージＣｈｋ（Ｒ２６１、ｒｔｅｃｈｋ）
を経由して、この情報を進路入力タスクまで溯らせる。
タスクＳｉｇ−２６５はメッセージＣｈｋ（Ｒ２６１、
ｒｔｅｃｈｋ）をタスクＳｉｇ−２６１に送り返し、タ
スクＳｉｇ−２６１は、鎖錠された進路の線路設備の作
動トラブルを容易に検知することができるように、パラ
メータｒｔｅｃｈｋに基づいて、線路設備の現在の状態
を監視する。このプロセスは、かなりの頻度で定期的に
実施される。
【００２４】確立された進路の自動解除 確立された進路Ｒ２６１上を列車が走行し始めると、こ
の進路上の列車の通過は、メッセージＣｈｋのパラメー
タｒｔｅｃｈｋの中の情報の変更となって表れる。通常
は、進路が確立された瞬間から進路が解除された瞬間ま
で、次々に赤、オレンジ、緑に変わることによって、進
路Ｒ２６１の入力多面型信号のみが時間とともに変わる
ことができる。タスクＳｉｇ−２６１は、各制御ループ
におけるパラメータｒｔｅｃｈｋの中の変更の識別によ
って、列車が進路の一定数の軌道回路を通過したことを
検知した瞬間から、進路Ｒ２６１の解除プロセスを開始
する。このプロセスもまた、メッセージの伝達からな
り、ここでは解除ループと呼ばれるループに沿ってタス
クからタスクへメッセージＦｒｅｅ（Ｒ２６１）が伝達
される。この解除ループの最中に、各タスクはメッセー
ジＦｒｅｅの受信に基づいて、この進路への割当てを解
除される。図４の例においては、タスクＳｉｇ−２６１
がタスクＳｉｇ−２６５からメッセージＦｒｅｅ（Ｒ２
６１）を受け取ると、進路Ｒ２６１のタスクの集合が割
当てを解除され、タスクＳｉｇ−２６１はこのメッセー
ジを情報として監視室に送る。この瞬間から、進路Ｒ２
６１上の走行は、この進路が再び確立されるまでは許可
されなくなる。
の進路上の列車の通過は、メッセージＣｈｋのパラメー
タｒｔｅｃｈｋの中の情報の変更となって表れる。通常
は、進路が確立された瞬間から進路が解除された瞬間ま
で、次々に赤、オレンジ、緑に変わることによって、進
路Ｒ２６１の入力多面型信号のみが時間とともに変わる
ことができる。タスクＳｉｇ−２６１は、各制御ループ
におけるパラメータｒｔｅｃｈｋの中の変更の識別によ
って、列車が進路の一定数の軌道回路を通過したことを
検知した瞬間から、進路Ｒ２６１の解除プロセスを開始
する。このプロセスもまた、メッセージの伝達からな
り、ここでは解除ループと呼ばれるループに沿ってタス
クからタスクへメッセージＦｒｅｅ（Ｒ２６１）が伝達
される。この解除ループの最中に、各タスクはメッセー
ジＦｒｅｅの受信に基づいて、この進路への割当てを解
除される。図４の例においては、タスクＳｉｇ−２６１
がタスクＳｉｇ−２６５からメッセージＦｒｅｅ（Ｒ２
６１）を受け取ると、進路Ｒ２６１のタスクの集合が割
当てを解除され、タスクＳｉｇ−２６１はこのメッセー
ジを情報として監視室に送る。この瞬間から、進路Ｒ２
６１上の走行は、この進路が再び確立されるまでは許可
されなくなる。
【００２５】オペレータの要求に基づく進路の解除や確
立された進路の恒常的な維持等々・・・のような他の機
能性を実施するために、上記の原理にしたがって、この
メッセージ伝達論理をより洗練されたものにすることが
できるのは言うまでもない。
立された進路の恒常的な維持等々・・・のような他の機
能性を実施するために、上記の原理にしたがって、この
メッセージ伝達論理をより洗練されたものにすることが
できるのは言うまでもない。
【００２６】本発明によれば、メッセージの伝達論理
は、都合よく、タスクの中に実施された有限オートマト
ンによって構成されている。あるタスクの各オートマト
ンは待っていたメッセージを受け取ると始動し、特定の
処理を行いながらその時の状態から他の状態へ移行さ
せ、出力にメッセージを送り返す。各オートマトンの連
続する状態は、さまざまなメッセージの連続する伝達プ
ロセスに対応している。この解決策によれば、鉄道鎖錠
システム１の実施は、監視される鉄道網のハイレベル抽
象化記述ファイル５と、各々が一つのタイプの線路設備
に対応する有限オートマトンを実施する包括的ソフトウ
エアモジュールのライブラリ６の情報処理に基づいて、
半自動的に行うことができる。
は、都合よく、タスクの中に実施された有限オートマト
ンによって構成されている。あるタスクの各オートマト
ンは待っていたメッセージを受け取ると始動し、特定の
処理を行いながらその時の状態から他の状態へ移行さ
せ、出力にメッセージを送り返す。各オートマトンの連
続する状態は、さまざまなメッセージの連続する伝達プ
ロセスに対応している。この解決策によれば、鉄道鎖錠
システム１の実施は、監視される鉄道網のハイレベル抽
象化記述ファイル５と、各々が一つのタイプの線路設備
に対応する有限オートマトンを実施する包括的ソフトウ
エアモジュールのライブラリ６の情報処理に基づいて、
半自動的に行うことができる。
【００２７】特に、図５においては、監視される鉄道網
の概略図によって、技術者がその鉄道網の特徴をハイレ
ベルの抽象化言語によって表現している。これらのデー
タは記述ファイル５の中に記録される。図６に示されて
いる鉄道網についてのハイレベル抽象化記述ファイルの
内容の一例が付録（Annexe）１に示されている（この鉄
道網は図２に示されている鉄道網と同類である点に注意
されたい）。この記述ファイルの内容は、技術資料とし
て指定されている欧州特許第０５８１２８１号で知られ
ている鉄道鎖錠システムを実施するために使用されるフ
ァイルの内容と同類である。このファイルの中には、鉄
道網の特徴を定め、線路設備の集合をリストアップし、
進路を識別するさまざまなセクション（“レベル０、レ
ベル１、・・・”によって指定されている）がある。た
とえば、基準セクション“レベル２Ａ”には、メッセー
ジ伝達の分散型論理の作動の記述のための例として役立
つ進路Ｒ２６１の説明がある。
の概略図によって、技術者がその鉄道網の特徴をハイレ
ベルの抽象化言語によって表現している。これらのデー
タは記述ファイル５の中に記録される。図６に示されて
いる鉄道網についてのハイレベル抽象化記述ファイルの
内容の一例が付録（Annexe）１に示されている（この鉄
道網は図２に示されている鉄道網と同類である点に注意
されたい）。この記述ファイルの内容は、技術資料とし
て指定されている欧州特許第０５８１２８１号で知られ
ている鉄道鎖錠システムを実施するために使用されるフ
ァイルの内容と同類である。このファイルの中には、鉄
道網の特徴を定め、線路設備の集合をリストアップし、
進路を識別するさまざまなセクション（“レベル０、レ
ベル１、・・・”によって指定されている）がある。た
とえば、基準セクション“レベル２Ａ”には、メッセー
ジ伝達の分散型論理の作動の記述のための例として役立
つ進路Ｒ２６１の説明がある。
【００２８】多面型信号に対応する有限オートマトンを
実施する包括的ソフトウエアモジュールのソースコード
の一例が付録２に示されている。また軌道回路に対応す
る包括的モジュールのソースコードのもう一つの例が付
録３に示されている。ここでは、各モジュールのソース
コードは、ハイレベルの意味言語の中に示されている。
このソースコードにはいくつかのセクションがあり、特
に、入力メッセージの宣言セクションである“インプッ
トメッセージ”、出力メッセージの宣言セクションであ
る“アウトプットメッセージ”、移行状態の宣言セクシ
ョンである“ステーツ”がある。入力または出力メッセ
ージの宣言セクションにおいては、メッセージの送信者
または受信者は、“Ｓｉｇ”、“Ｔｉｍ”、“Ｓｙ
ｓ”、“Ｕｐ”、“Ｄｎ”、“Ｂａｃｋ”のような包括
的識別子によって表される。付録４は、付録２と３で示
された包括的モジュールのソースコードの中で使用され
るメッセージの用語を引き継いで、大量のメッセージＲ
ｅｑ、Ｃｔｒｌ、Ｃｈｋ等々・・・を示している。
実施する包括的ソフトウエアモジュールのソースコード
の一例が付録２に示されている。また軌道回路に対応す
る包括的モジュールのソースコードのもう一つの例が付
録３に示されている。ここでは、各モジュールのソース
コードは、ハイレベルの意味言語の中に示されている。
このソースコードにはいくつかのセクションがあり、特
に、入力メッセージの宣言セクションである“インプッ
トメッセージ”、出力メッセージの宣言セクションであ
る“アウトプットメッセージ”、移行状態の宣言セクシ
ョンである“ステーツ”がある。入力または出力メッセ
ージの宣言セクションにおいては、メッセージの送信者
または受信者は、“Ｓｉｇ”、“Ｔｉｍ”、“Ｓｙ
ｓ”、“Ｕｐ”、“Ｄｎ”、“Ｂａｃｋ”のような包括
的識別子によって表される。付録４は、付録２と３で示
された包括的モジュールのソースコードの中で使用され
るメッセージの用語を引き継いで、大量のメッセージＲ
ｅｑ、Ｃｔｒｌ、Ｃｈｋ等々・・・を示している。
【００２９】図５を参照して上述した情報処理が行われ
る時には、各タスクに結びついていなければならない線
路設備に対応する包括的モジュールのソースコードに基
づいて各タスクのソースコードが発生し、メッセージの
送信者及び受信者の包括的な識別子は、通信用論理チャ
ネルを確立するために鉄道網の記述ファイルから採取さ
れた適切なタスクの識別子に“取って代わられる”。各
通信用論理チャネルは、先入れ先出し方式（ＦＩＦＯ）
の２地点間通信プロトコルの送信または受信のプリミテ
ィブによって各タスクのソースコードの中で確立される
一つの接続であることは容易に理解できるであろう。次
にタスクのソースコードは、本発明による鎖錠システム
のメッセージによって通信する実行可能なタスクを得る
ためにコンパイルされる。タスクをサポートする処理装
置は、上記に定められたような通信プロトコルをサポー
トする地上ネットワークの類の通信用の物理的ネットワ
ークを介して互いに接続されなければならないことはい
うまでもない。
る時には、各タスクに結びついていなければならない線
路設備に対応する包括的モジュールのソースコードに基
づいて各タスクのソースコードが発生し、メッセージの
送信者及び受信者の包括的な識別子は、通信用論理チャ
ネルを確立するために鉄道網の記述ファイルから採取さ
れた適切なタスクの識別子に“取って代わられる”。各
通信用論理チャネルは、先入れ先出し方式（ＦＩＦＯ）
の２地点間通信プロトコルの送信または受信のプリミテ
ィブによって各タスクのソースコードの中で確立される
一つの接続であることは容易に理解できるであろう。次
にタスクのソースコードは、本発明による鎖錠システム
のメッセージによって通信する実行可能なタスクを得る
ためにコンパイルされる。タスクをサポートする処理装
置は、上記に定められたような通信プロトコルをサポー
トする地上ネットワークの類の通信用の物理的ネットワ
ークを介して互いに接続されなければならないことはい
うまでもない。
【００３０】
【表１】
【００３１】
【表２】
【００３２】
【表３】
【００３３】
【表４】
【００３４】
【表５】
【００３５】
【表６】
【００３６】
【表７】
【００３７】
【表８】
【００３８】
【表９】
【００３９】
【表１０】
【００４０】
【表１１】
【００４１】
【表１２】
【００４２】
【表１３】
【００４３】
【表１４】
【００４４】
【表１５】
【００４５】
【表１６】
【００４６】
【表１７】
【００４７】
【表１８】
【００４８】
【表１９】
【００４９】
【表２０】
【００５０】
【表２１】
【００５１】
【表２２】
【００５２】
【表２３】
【００５３】
【表２４】
【００５４】
【表２５】
【００５５】
【表２６】
【００５６】
【表２７】
【００５７】
【表２８】
【００５８】
【表２９】
【００５９】
【表３０】
【００６０】
【表３１】
【００６１】
【表３２】
【００６２】
【表３３】
【００６３】
【表３４】
【００６４】
【表３５】
【００６５】
【表３６】
【００６６】
【表３７】
【００６７】
【表３８】
【００６８】
【表３９】
【００６９】
【表４０】
【００７０】
【表４１】
【００７１】
【表４２】
【００７２】
【表４３】
【００７３】
【表４４】
【００７４】
【表４５】
【００７５】
【表４６】
【００７６】
【表４７】
【００７７】
【表４８】
【００７８】
【表４９】
【００７９】
【表５０】
【００８０】
【表５１】
【図１】本発明によるシステムを含む統合型電子式監視
センターを概略的に示す図である。
センターを概略的に示す図である。
【図２】鉄道網の例の概略図である。
【図３】図２に示されている鉄道網に適した本発明によ
るシステムのソフトウエアアーキテクチャを示す図であ
る。
るシステムのソフトウエアアーキテクチャを示す図であ
る。
【図４】対応する線路設備の連続に関連したタスクを介
した大量のメッセージの伝達を表す図である。
した大量のメッセージの伝達を表す図である。
【図５】本発明によるシステムを実施するための方法を
表す図である。
表す図である。
【図６】図５の線路設備に特徴を示す記号を付した例で
ある。
ある。
１ 鉄道鎖錠システム ２ 監視室 ３ 鉄道網 ４ 線路設備 ５ ハイレベル抽象化記述ファイル ６ ソフトウェアライブラリ
───────────────────────────────────────────────────── フロントページの続き (72)発明者 ギヨーム・ブレ フランス国、92120・モンルージユ、アブ ニユ・マルクス・ドルモワ、98
Claims (4)
- 【請求項１】 複数の線路設備で構成されている鉄道網
上を列車が安全に走行するのに役立つソフトウエアアー
キテクチャに基づく鉄道鎖錠システムであって、それぞ
れが、鉄道網を構成している対応する線路設備（ＡＥ
Ａ、ＡＥＢ、・・・）に関連付けられたタスク（Ｔｒｃ
−ＡＥＡ、Ｔｒｃ−ＡＥＢ、・・・）の集合を有してお
り、前記タスクは、各々が、あるタスクのメッセージの
出力と他のタスクのメッセージの入力を相互接続する通
信用論理チャネル（６）の連続を介したメッセージ（Ｒ
ｅｑ、Ｃｔｒｌ、Ｃｈｑ、Ｆｒｅｅ）の伝達によって、
進路の確立と解除のための分散型論理を実施し、さら
に、前記通信用論理チャネルは、鉄道網の特定の地理学
的トポロジーに対応した配置にしたがって前記タスク間
で実施されることを特徴とするシステム。 - 【請求項２】 前記メッセージ伝達の分散型論理が、前
記タスクの中で実施された有限オートマトンによって構
成されている請求項１に記載のシステム。 - 【請求項３】 タスクの連続の中の第一のタスクから始
まって、次々に他のタスクを通り、第一のタスクに戻っ
てくるといったループに沿ってタスクを相互接続する通
信用論理チャネルに沿ってメッセージが伝達されるよう
に、関連付けられている線路設備が一つの進路を定める
ようなタスクの連続を介したメッセージの伝達によっ
て、前記分散型論理が配置されている請求項１に記載の
システム。 - 【請求項４】 情報処理において、鉄道網のハイレベル
の抽象化記述ファイルと、各々が線路設備の一つのタイ
プに対応する有限オートマトンを実施する包括的ソフト
ウエアモジュールのライブラリの情報処理からなる請求
項２に記載の鉄道鎖錠システムを実施するための方法。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| FR9512026 | 1995-10-13 | ||
| FR9512026A FR2739824B1 (fr) | 1995-10-13 | 1995-10-13 | Systeme d'enclenchement ferroviaire a architecture logicielle et son procede d'implementation |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH09123912A true JPH09123912A (ja) | 1997-05-13 |
Family
ID=9483497
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8271214A Pending JPH09123912A (ja) | 1995-10-13 | 1996-10-14 | ソフトウエアアーキテクチャ方式鉄道鎖錠システムとその実施方法 |
Country Status (12)
| Country | Link |
|---|---|
| EP (1) | EP0773155A1 (ja) |
| JP (1) | JPH09123912A (ja) |
| KR (1) | KR970020825A (ja) |
| CN (1) | CN1158803A (ja) |
| AU (1) | AU6815596A (ja) |
| BR (1) | BR9605136A (ja) |
| CA (1) | CA2187817A1 (ja) |
| FR (1) | FR2739824B1 (ja) |
| MX (1) | MX9604771A (ja) |
| NO (1) | NO964327L (ja) |
| TW (1) | TW381198B (ja) |
| ZA (1) | ZA968654B (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2023093415A (ja) * | 2021-12-22 | 2023-07-04 | 北京交通大学 | ランタイム検証に基づく列車スケジューリング操作の危険予測方法及びシステム |
Families Citing this family (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| DE19725320A1 (de) * | 1997-06-10 | 1998-12-17 | Siemens Ag | Einrichtung zur Steuerung von Bahnübergängen |
| DE59903573D1 (de) * | 1998-08-19 | 2003-01-09 | Siemens Schweiz Ag Zuerich | Verfahren für die steuerung und überwachung einer verkehrstechnischen anlage |
| FR2826921B1 (fr) | 2001-07-05 | 2004-07-09 | Cit Alcatel | Procede de formation et de gestion d'itineraires et reseau mettant en oeuvre un tel procede |
| ITSV20020056A1 (it) * | 2002-11-14 | 2004-05-15 | Alstom Transp Spa | Dispositivo e metodo di verifica di motori software logici di comando di impianti ferroviari, in particolare di impianti di stazione |
| US9003039B2 (en) * | 2012-11-29 | 2015-04-07 | Thales Canada Inc. | Method and apparatus of resource allocation or resource release |
| CA2972298C (fr) * | 2013-12-30 | 2022-08-30 | Ineo Urban Transportation Solutions | Procede et dispositif informatise pour l'enclenchement d'un itineraire ferroviaire |
| EP3258400A1 (en) | 2016-06-14 | 2017-12-20 | ALSTOM Transport Technologies | Method and designing system for designing an interlocking control system |
Family Cites Families (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| FR1350263A (fr) * | 1963-03-01 | 1964-01-24 | Ericsson Telefon Ab L M | Agencement de transmission de signaux |
| FR1408405A (fr) * | 1964-07-10 | 1965-08-13 | Ericsson Telefon Ab L M | Agencement pour la recherche d'un itinéraire sur une installation de voie ferrée |
| DE3232308C2 (de) * | 1982-08-31 | 1984-10-31 | Standard Elektrik Lorenz Ag, 7000 Stuttgart | Einrichtung zur dezentralen Auswahl von Fahrstraßen in einem Spurplanstellwerk |
| DE3922620C1 (ja) * | 1989-07-10 | 1991-02-28 | Ivv Ingenieurgesellschaft Fuer Verkehrsplanung Und Verkehrssicherung Gmbh, 3300 Braunschweig, De | |
| DE4406924A1 (de) * | 1994-02-28 | 1995-08-31 | Siemens Ag | Verfahren zum synchronisierten Betrieb eines aus mehreren Rechnern bestehenden verteilten Datenverarbeitungssystems und Einrichtung zur Anwendung des Verfahrens |
-
1995
- 1995-10-13 FR FR9512026A patent/FR2739824B1/fr not_active Expired - Fee Related
-
1996
- 1996-10-07 EP EP96402126A patent/EP0773155A1/fr not_active Withdrawn
- 1996-10-11 CA CA002187817A patent/CA2187817A1/fr not_active Abandoned
- 1996-10-11 MX MX9604771A patent/MX9604771A/es unknown
- 1996-10-11 NO NO964327A patent/NO964327L/no unknown
- 1996-10-11 CN CN96119279A patent/CN1158803A/zh active Pending
- 1996-10-14 KR KR1019960045645A patent/KR970020825A/ko not_active Application Discontinuation
- 1996-10-14 ZA ZA968654A patent/ZA968654B/xx unknown
- 1996-10-14 BR BR9605136A patent/BR9605136A/pt active Search and Examination
- 1996-10-14 AU AU68155/96A patent/AU6815596A/en not_active Abandoned
- 1996-10-14 JP JP8271214A patent/JPH09123912A/ja active Pending
- 1996-10-29 TW TW085113171A patent/TW381198B/zh active
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2023093415A (ja) * | 2021-12-22 | 2023-07-04 | 北京交通大学 | ランタイム検証に基づく列車スケジューリング操作の危険予測方法及びシステム |
Also Published As
| Publication number | Publication date |
|---|---|
| ZA968654B (en) | 1997-05-13 |
| FR2739824A1 (fr) | 1997-04-18 |
| FR2739824B1 (fr) | 1997-11-14 |
| CN1158803A (zh) | 1997-09-10 |
| NO964327D0 (no) | 1996-10-11 |
| AU6815596A (en) | 1997-04-17 |
| MX9604771A (es) | 1997-08-30 |
| EP0773155A1 (fr) | 1997-05-14 |
| BR9605136A (pt) | 1998-07-07 |
| TW381198B (en) | 2000-02-01 |
| CA2187817A1 (fr) | 1997-04-14 |
| KR970020825A (ko) | 1997-05-28 |
| NO964327L (no) | 1997-04-14 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0083632B1 (en) | Idle time slot seizure and transmission facilities for loop communication system | |
| CA1094672A (en) | Wayside oriented moving block | |
| US5182747A (en) | Method for controlling the insertion of stations into fddi network | |
| RU2748765C1 (ru) | Бортовая сетевая система и способ осуществления связи в ней | |
| CN109952545A (zh) | 车辆控制系统 | |
| JPH09123912A (ja) | ソフトウエアアーキテクチャ方式鉄道鎖錠システムとその実施方法 | |
| CN109246059A (zh) | 列车自动监控系统 | |
| EP0110314B1 (en) | Time division mutiplex data transmission method and system | |
| US5784404A (en) | Intelligent repeater functionality | |
| CA1223376A (en) | Communication system bypass architecture | |
| JP2001151114A (ja) | 鉄道運行管理システム | |
| US4670873A (en) | System for setting up data transmission circuits between a plurality of stations | |
| Brosio et al. | A reconfigurable high-speed optical system for integrated local communications | |
| CN114124689B (zh) | 用于实现tsn流配置的系统和方法 | |
| MXPA96004771A (en) | Locking system or rail clutch with logical architecture and its implementation procedure | |
| Matsumoto et al. | Assurance technologies for autonomous train on-board computer system | |
| EP0668204A1 (en) | Multi-processor module | |
| JPH07228252A (ja) | 列車運行管理システム | |
| RU2771392C1 (ru) | Система для управления движением поездов на станциях и перегонах | |
| JP3621952B2 (ja) | 通信システム | |
| RU2158691C1 (ru) | Способ диспетчерского управления на железнодорожном транспорте | |
| KR100879216B1 (ko) | 고밀도 열차운행을 위한 열차진로제어설비 및 진로구성방법 | |
| Saito et al. | On-board optical data communications network for train control | |
| JPH0619820A (ja) | データ処理ネットワーク | |
| Blauman | Labeled slot multiplexing: a technique for a high speed, fiber optic based, loop network |