列車保安制御用ソフトウェアの検証法の検討 : COMBATを対象とした解析(安全性及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
近年の列車保安制御システムは、多数の装置がネットワークで連携された大規模かつソフトウェア高依存の処理に移行しつつある。また、構成要素数の増大に伴いシステム構成が複雑化し、ソフトウェア論理検証、故障時の影響解析には、装置間の処理順序、入出力タイミングも考慮した解析が必要になっている。 本稿では、バリス式列車検知形閉そく装置(COMBAT)を対象に、ソフトウェアの新しい検証法を検討した結果について述べる。新たに提案するフェールセーフCPUボード搭載用アプリケーションプログラムのソフトウェア論理検証法では、ネットワークシステム全体としての動的解析、詳細レベルでの動作検証が可能である。
- 社団法人電子情報通信学会の論文
- 2003-12-12
著者
-
岩田 浩司
鉄道総合技術研究所
-
平尾 裕司
(財)鉄道総合技術研究所 輸送システム開発推進部
-
西堀 典幸
(財)鉄道総合技術研究所 信号通信技術研究部
-
岩田 浩司
(財)鉄道総合技術研究所 信号通信技術研究部
-
平尾 裕司
(財)鉄道総合技術研究所
-
岩田 浩司
鉄道総合技術研
-
岩田 浩司
(財)鉄道総合技術研究所
関連論文
- 日本信頼性学会第17回春季信頼性シンポジウム報告
- 鉄道信号装置のアベイラビリティ向上策の一検討
- アベイラビリティを観点とした鉄道信号設備の評価法
- 列車制御の発展と課題 - 過去・現在・未来 -
- 無線を利用した列車検知 : バリス式列車検知装置(COMBAT)
- 点検知式列車制御システムの装置故障時の動作パターン分類による安全性評価手法
- 鉄道信号システムの開発における安全性評価 : 地方交通線向け列車制御システムCOMBATの事例
- 鉄道信号システムの開発における安全性評価 : 地方交通線向け列車制御システムCOMBATの事例(交通関連の安全性)
- 列車検知に無線を用いた閉そく装置(COMBAT)の開発 (特集 信号通信技術)
- バリス式列車検知装置(COMBAT)の開発 (特集 信号通信技術)
- 列車群予測情報に基づく運転制御
- アベイラビリティを観点とした鉄道信号設備の評価法 (特集 信号通信技術)
- 鉄道信号装置のアベイラビリティ向上のための評価法の検討(安全性及び一般)
- 鉄道信号設備のアベイラビリティ評価方法についての検討
- 鉄道信号の安全性
- AT-4-4 鉄道信号の安全性技術動向(AT-4. 電子安全システムの活用と安全規格, 基礎・境界)
- 国際規格にもとづくディペンダブルソフトウェアの開発手法について(安全性・一般)
- 列車制御システムにおける安全性技術の動向
- 鉄道信号の安全向上のアプローチ
- 鉄道信号の安全性技術の定量的評価方法に関する考察 : 信号技術者へのアンケート調査による定量化
- 信号システムの安全性の定量的評価方法の検討 (特集 信号通信技術)
- 安全性技術の定量的評価方法に関する考察
- 鉄道信号の国際安全性規格に関する考察
- 1314 鉄道信号システムへの形式的手法適用の検討(安全と防災)(OS26 安全と防災)(シンポジウム : 第7回鉄道技術連合シンポジウム(J-RAIL 2000))
- 鉄道信号の国際安全性規格の検討
- 鉄道信号システムの安全性技術評価方法に関する考察
- 鉄道信号の安全性技術規格の動向
- A-18-6 ペトリネットを用いた超分散連動システムに対する一検討(A-18.安全性,一般講演)
- 地方交通線向け列車制御システムCOMBATの開発における安全性解析(安全性及び一般)
- 地方交通線向け列車制御システムCOMBATの開発における安全性解析
- アシュアランス性を実現するためのインテリジェント列車制御
- 列車検知に無線を用いた閉そく装置(COMBAT)の安全性解析 (特集:信号通信技術)
- 鉄道信号の安全性評価に対する新たな取り組み
- 鉄道信号の安全性評価に対する新たな取り組み
- 安全性解析の統一的手法 : フェールセーフCPUボードへの適用
- 海外と日本の電子連動
- 地交線への無線利用列車制御システムの適用
- 閑散線区用の新しい列車制御システム
- 超分散連動システムのアルゴリズムに関する検討
- [4-2] 鉄道信号用の超分散型連動装置の実現可能性の検討(セッション4 安全性,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 4-2 鉄道信号用の超分散型連動装置の実現可能性の検討(安全性,セッション4)
- 鉄道信号装置のアベイラビリティ向上策に関する一検討(安全性及び一般)
- 鉄道に於ける安全性・信頼性の視点(交通関連の安全性)
- 列車保安制御用ソフトウェアの検証法の検討 : COMBATを対象とした解析(安全性及び一般)
- 列車保安制御用ソフトウェアの検証法の検討 : COMBATを対象とした解析
- 無線による列車制御システムCARATの事前安全性解析 (特集 信号通信技術)
- 無線による列車制御システムCARATの事前安全性解析
- 踏切保安設備(13)
- 最近の信号通信技術に関する研究開発 (特集 信号通信技術)
- 信号・制御
- 鉄道におけるIEC規格 : TC9/WG40(Urban Guided Transport Management and Control/Command Systems)会議報告とIEC規格化の状況(海外事情)
- 鉄道信号の安全性規格の動向 (特集 信号通信技術)
- 鉄道システムにおける安全性・信頼性技術
- 列車制御シミュレ-タUTRASの開発と信号方式の評価 (新幹線の高速化技術)
- 信号設備における日欧の技術比較 (高速鉄道における日欧の技術比較)
- イタリアの鉄道信号設備-1-
- ICEの信号システム (スピ-ドアップ)
- How safe is safe enough?
- スイスにおけるERTMS/ETCSレベル2の導入
- 鉄道信号の安全性・信頼性(2) : 鉄道信号の安全性・信頼性技術
- 鉄道信号の安全性・信頼性(1) : 安全性と信頼性に関する基本概念
- 技術力維持向上
- 信号システムの安全性規格
- ヨーロッパの列車制御システムの動向 : ERTMS/ETCS
- 鉄道に対するEMC国際規格と日本の対応
- 鉄道信号における安全性技術の展開
- 海外のスピードアップと鉄道信号
- ヨーロッパにおける鉄道信号の安全性規格と体制
- 海外と日本の信号システム
- 列車制御シミュレーション
- 鉄道分野での高信頼性データベースの設計に関する一考察
- 5-2 安全性解析の統一的手法とその適用
- A-18-1 安全性解析の統一的手法
- 自動運転を可能とする列車制御技術
- 列車保安制御システムの安全性技術指針