列車制御システムソフトウェア要求仕様の安全確認項目の設定による誤り低減の検討(安全性及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアに関わる誤りとしては、仕様誤り、論理ミス、コーディング誤り、等があげられる。その防止のため、各種対策や検証方法の研究がなされ、実用化されたものもある。近年の列車制御システムは大規模化し、複雑になっており、ソフトウェアライフサイクルの最上流に位置づけられるソフトウェア要求仕様における誤り対策が重要になっている。そのため、ソフトウェア要求仕様を定める際には、システム全体の仕様を定義し、システム全体を対象とした安全性解析が行われている。本報告では、列車制御システムのソフトウェア要求仕様の誤りをより一層低減するため、鉄道信号の国際規格ならびに鉄道信号システムの安全性解析の結果を参考にした、新たに提案するソフトウェア要求仕様の安全確認項目について述べる。
- 2010-12-03
著者
関連論文
- リスクに基づく鉄道信号システムの改善効果の評価法 (特集 信号通信技術)
- 分散型列車制御システムによる障害発生時の停止時間低減の検討(安全性及び一般)
- 鉄道の安全性・信頼性向上のための研究開発
- 新幹線信号設備のEMC
- 要求分析と統合的ライフサイクルコスト評価に基づいた鉄道信号システム構築手法の検討
- 鉄道信号システムの自然災害時における影響評価の考察 : 実際の障害データを用いた定量的分析(安全性・一般)
- 鉄道踏切設備の雷過電圧抑制対策に関する実験的検討
- 列車群予測情報に基づく運転制御
- アベイラビリティを観点とした鉄道信号設備の評価法 (特集 信号通信技術)
- 鉄道信号装置のリスク評価法の検討(安全性及び一般)
- 鉄道信号装置のアベイラビリティ向上のための評価法の検討(安全性及び一般)
- 鉄道信号設備のアベイラビリティ評価方法についての検討
- 鉄道信号の安全性
- AT-4-4 鉄道信号の安全性技術動向(AT-4. 電子安全システムの活用と安全規格, 基礎・境界)
- 国際規格にもとづくディペンダブルソフトウェアの開発手法について(安全性・一般)
- 列車制御システムにおける安全性技術の動向
- 鉄道信号の安全向上のアプローチ
- 鉄道信号の安全性技術の定量的評価方法に関する考察 : 信号技術者へのアンケート調査による定量化
- 信号システムの安全性の定量的評価方法の検討 (特集 信号通信技術)
- 安全性技術の定量的評価方法に関する考察
- 鉄道信号の国際安全性規格に関する考察
- 1314 鉄道信号システムへの形式的手法適用の検討(安全と防災)(OS26 安全と防災)(シンポジウム : 第7回鉄道技術連合シンポジウム(J-RAIL 2000))
- 鉄道信号の国際安全性規格の検討
- 鉄道信号システムの安全性技術評価方法に関する考察
- 鉄道信号の安全性技術規格の動向
- 低周波ディジタルコード式軌道回路の開発
- アシュアランス性を実現するためのインテリジェント列車制御
- 鉄道信号における電子連動装置のリスク評価法の検討
- 鉄道信号の安全性評価に対する新たな取り組み
- 鉄道信号の安全性評価に対する新たな取り組み
- 安全性解析の統一的手法 : フェールセーフCPUボードへの適用
- 新幹線用無絶縁ATC軌道回路の開発
- 要求分析とアベイラビリティ評価に基づく鉄道信号システム構築の検討(安全性及び一般)
- 北陸新幹線異周波電源突合せ区間の誘導障害試験 (特集:信号通信)
- VVVF制御車の高調波が信号設備へ与える影響
- 6-2 鉄道におけるレールと車輪間の接触抵抗測定実験の効率化に対する検討(セッション6 安全性,理論)(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 6-2 鉄道におけるレールと車輪間の接触抵抗測定実験の効率化に対する検討(セッション6 安全性、理論,第17回秋季信頼性シンポジウム)
- 踏切設備の雷害対策と効果の定量化に関する実験的検討 (特集 信号通信技術)
- 鉄道信号装置のアベイラビリティ向上策に関する一検討(安全性及び一般)
- ディジタルATCの性能評価
- 整備新幹線に適合するディジタルATCの開発 (特集:信号通信)
- 鉄道総研 研究開発の近況と主な成果 (特集 技術開発の現状--鉄道事業のさらなる発展に資する)
- 無線による列車制御システムCARATの事前安全性解析
- ATC (7) : ATCの概要(7)
- 講座 ATC(6)ATCの概要(6)
- 鉄道信号の安全性・信頼性(5) : ソフトウェアの高信頼化
- 鉄道信号の安全性・信頼性 : ハードウェアの安全性・信頼性の考え方
- 軌道回路 (14)
- 軌道回路 (13)
- 軌道回路 (12)
- 軌道回路 (11)
- 軌道回路 (7)
- 列車保安制御システムの安全性技術指針
- ディジタルATCの情報伝送
- 信号通信の研究開発に関する課題と取り組み (特集 信号通信技術)
- アベイラビリティ評価指標による鉄道信号システム開発手法 (特集 信号通信技術)
- 軌道回路の列車検知性能向上に関する研究
- 鉄道信号における安全性技術の展開
- あとはプラス思考で
- 列車制御システムソフトウェア要求仕様の安全確認項目の設定による誤り低減の検討(安全性及び一般)
- 中国高速鉄道用ディジタルATCの開発 (特集 信号通信技術)
- 鉄道分野での高信頼性データベースの設計に関する一考察
- A-18-1 安全性解析の統一的手法
- 列車制御システムの階層化設計における概念設計段階の安全性確認項目の検討(安全性及び一般)
- 列車制御システムの階層化設計における概念設計段階の安全性確認項目の検討
- 列車制御システムの設計仕様書の安全性確認手法(交通関係を主として)
- 鉄道信号における安全性技術
- 自動運転を可能とする列車制御技術
- 列車制御のフォールトトレランス
- 列車保安制御システムの安全性技術指針
- 鉄道における安全性評価