ATP閉そくシステムの仕様妥当性のモデルベース検証(交通関係を主として)
スポンサーリンク
概要
- 論文の詳細を見る
新しい鉄道信号システムであるATP閉そくシステムについて,安全性や信頼性が高いソフトウェアの開発のために,形式手法を用いてシステムの仕様書を分析した.まず,自然言語で書かれた仕様書を形式的仕様へ正しく記述するために,状態遷移図を作成した.そして状態遷移図をもとにシステムをUMLでモデル化し,オブジェクト指向分析を行った.さらに,形式手法であるVDM++によりシステムの仕様を記述し,システムの内部整合性や妥当性を検証した.
- 2012-05-17
著者
-
中村 英夫
日本大学
-
望月 寛
日本大学
-
高橋 聖
日本大学
-
高橋 聖
日本大学理工学部電子情報工学科
-
望月 寛
日本大学理工学部
-
中村 英夫
日本大学理工学部
-
高橋 聖
日本大
-
高橋 聖
日本大学大学院理工学研究科
-
謝 国
日本大学理工学部
-
黒田 智也
日本大学理工学部
-
高橋 聖
日本大学理工学部
-
望月 寛
日本大学大学院
関連論文
- 安全性について : 安全性と信頼性(信頼性基礎講座)
- 系再構成機能を有するインターフェースボードの設計
- デジアナ信号の検討
- 軌道回路伝送における変調方式の検討
- A-5-17 フィールド試験による鉄道信号用CDMA-QAM伝送装置の評価(A-5.ワイドバンドシステム,一般講演)
- 情報システムの信頼性・安全性 : モノレール事故が明らかにしたソフトウェアの安全性(情報システムの信頼性・安全性)
- 鉄道保安機器用次世代OSの開発 : 排他ダブル・スレッドOS
- 平均旅行時間分布の評価と推定
- A-17-8 平均旅行時間分布推定に関する一検討(A-17.ITS,一般講演)
- さらなる鉄道の発展を目指して
- 1-3 鉄道保安機器用次世代OS(セッション1「プロジェクト管理・ソフト」)
- 鉄道の保全業務を変革するプローブ車両 : 営業車両による状態監視(社会の安全を守る検査システム)
- プローブ車両技術の導入による軌道交通システムの状態診断
- プローブ車両--営業車両による状態監視(車両・軌道系オンボード・センシング・システムの試作) (特集 プローブ車両と状態監視)
- 1501 プローブ車両技術の導入による軌道交通システムの状態診断(SS7-1 プローブ車両技術の導入,SS7 安全と防災,J-Rail 2006)
- 4020 多重解像度解析を用いた軌道の異常検出(J24-2 交通機械の先端制御(2),J24 交通機械の先端制御,2005年度年次大会)
- プローブ車両技術の導入による軌道交通システムの再生に関する基礎的研究(鉄道・自動車・航空機の安全,故障診断,予知,メンテナンス,OS4 安全,故障診断,予知,メンテナンス)
- [6-3]LCCの観点から考察した鉄道信号機器の安全性(セッション6 ライフサイクルコスト,日本信頼性学会 第19回秋季信頼性シンポジウム 報告)
- GPSと汎用通信による鉄道用進路制御手法の検討
- GPSと加速度・傾斜角センサを用いた列車の連続的速度検知方法の一検討
- 総合交通シミュレータを用いた京都市内におけるLRTの有用性評価
- 鉄道信号装置のアベイラビリティ向上策の一検討
- A-18-3 安全フィールドバス用Fail-Safeゲートウェイの開発(A-18.安全性,一般セッション)
- A-18-5 セーフティーバスのインターフェース回路の安全要件に関する検討(A-18.安全性,一般講演)
- 画像センサとGPSを利用した鉄道の予防保全システムのための信号現示判別に関する研究
- B-6-29 組み込み Java を用いた分散オブジェクト環境の開発
- フェールセーフデバイスによる保安装置の開発 : 国際安全規格対応信号装置のディペンダビリティ評価検討委員会活動報告
- プローブ車両による軌道回路保全に関する一検討
- 鉄道保安機器用次世代OSの開発「排他ダブル・スレッドOS」
- A-3-12 マルチチャネル処理可能なCDMA用整合フィルタの実装(A-3. VLSI設計技術,一般セッション)
- 1-1 フェールセーフCPUの高信頼化に関する研究(セッション1「試験,故障解析,部品,要素技術の信頼性,ハードウェア面(1)」)
- 軌道回路を用いたスペクトラム拡散通信式多情報伝送システムの開発
- フェールセーフなリモートI/Oの構成方法
- 系再構成機能を適用した分散制御システムの実装(安全性及び一般)
- 系再構成機能を適用した分散制御システムの設計
- 系再構成機能を適用した分散制御システムに関する一検討
- A-17-7 GAを用いた折り返し駅選択による運転整理ダイヤの導出(A-17.ITS,一般講演)
- A-12-4 グリッドコンピューティングを用いた踏切遮断時間短縮のための最適列車ダイヤ算出の高速化(A-12.コンカレント工学,一般講演)
- 1408 物流機械用安全制御システムのプラットフォームに利用できるフィールドバスシステムの標準化
- 湘南モノレール--電磁ノイズによる事故とその教訓
- 鉄道信号の安全向上のアプローチ
- 鉄道信号の安全性技術の定量的評価方法に関する考察 : 信号技術者へのアンケート調査による定量化
- 安全性技術の定量的評価方法に関する考察
- 鉄道信号システムの安全性技術評価方法に関する考察
- A-18-6 ペトリネットを用いた超分散連動システムに対する一検討(A-18.安全性,一般講演)
- A-3-9 FPGAの動的再構成を用いた組込み機器の省電力化に向けた一検討(A-3.VLSI設計技術,一般セッション)
- 4-4 信頼性と安全性の一考察(安全性-1(システム安全性, 規格), 日本信頼性学会 第18回秋季信頼性シンポジウム報告)
- 車上インテリジェント型統合列車保安システムの開発
- A-17-1 折り返し駅の選択による運転整理手法の一検討(A-17.ITS,一般講演)
- 鉄道信号の安全性評価に対する新たな取り組み
- 鉄道信号の安全性評価に対する新たな取り組み
- 安全性解析の統一的手法 : フェールセーフCPUボードへの適用
- ネットワーク構造を持つ複合交通シミュレータによるLRT導入の定量的評価 : 第2報
- 2次元ネットワーク構造を持つ複合交通シミュレータによるLRT有用性の評価
- A-18-2 ADS縦方向位置予測誤差分布のモデル(A-18.安全性,一般セッション)
- 無人自動運転バスシステムの安全性評価について
- 鉄道信号システムの高機能化を実現する伝送方式の検討
- 1704 複合交通シミュレータによるLRT導入におけるエネルギー削減効果(SS6,SS6 交通計画・政策・評価,J-Rail 2006)
- 交通システムにおける安全性・信頼性技術
- 教育にとり入れるべき最新技術 : 信号・通信・旅客サービス
- 位相差同期式CPU用カーネルの開発
- D-11-63 SIFTアルゴリズムを応用した画像合成の検討(D-11.画像工学,一般セッション)
- 単一系フェールセーフ計算機の監視回路の開発
- 高速CPU対応フェイルセイフ照合回路の開発
- D-10-2 単一系フェールセーフ計算機の開発
- [4-2] 鉄道信号用の超分散型連動装置の実現可能性の検討(セッション4 安全性,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 1504 プローブ車両用信号設備計測技術の開発(SS7-1 プローブ車両技術の導入,SS7 安全と防災,J-Rail 2006)
- 系再構成機能を持つシステムの応用(安全性及び一般)
- [4-3] フレキシブルな系再構成機能を持つシステムに関する一検討(理論・安全性・システム信頼性, 第13回春季信頼性シンポジウム報告)
- 系再構成機能を持つマルチプロセッサシステムとその評価(システムの信頼性, 信頼性一般)
- 鉄道信号装置のアベイラビリティ向上策に関する一検討(安全性及び一般)
- フレキシブル信号システムの要件 : フレキシブル信号システムに関する協同研究委員会中間報告
- GPSによる位置検知の補正技術について(安全性及び一般)
- 無線が拓く21世紀の鉄道 : 鉄道における無線利用技術調査専門委員会活動報告
- 鉄道における無線利用技術の動向 : 鉄道における無線利用技術調査専門委員会活動報告
- 21世紀の信頼性に関するグランドデザイン : 信頼性が取り扱う領域(第13回信頼性シンポジウム)
- 21 世紀の信頼性に関するグランドデザイン : 信頼性が取り扱う領域
- ディペンダブル計算機システムと系再構成技術(「信頼性・保全性・安全性の事例:電気・電子装置(計算機装置)編」〜信頼性ハンドブック出版から10年を経て〜)
- 企業におけるネットワークシステムの信頼性の現状
- ホルマントを用いた音声伝送の明瞭度向上に関する一検討
- A-18-1 可変ブランキング機能を備えた光線式安全装置の開発
- 2509 物流機械を対象とした階層化安全制御システムの開発(OS.5 人間/機械/環境システム)
- 震災に強い列車制御を目指して (特集 震災と鉄道(2))
- 21世紀の鉄道技術の現状とセンサへの期待
- JR発足20年電気鉄道の到達点 : ここ10年の歩みを中心として
- 安全文化の確立と信頼できる社会を(「信頼性」Vol.30にあたり)
- 鉄道におけるサイバネティクスの今日的展望
- 動的シミュレータを利用した鉄道安全性の定量的評価法の検討 : 第2報
- 高木昇名誉会長のご逝去を悼む(「追悼 名誉会長 高木 昇先生を偲んで」)
- AT-3-1 列車制御の安全安心のためのトータルプラン(AT-3.安全・安心追求のためのアプローチ : 理論と実践,基礎・境界)
- 動的シミュレータを利用した鉄道システム安全性の定量的評価法の検討
- デマンドバスシステムの最適化を支援するシミュレータの開発
- シミュレータを利用した鉄道システム安全性の定量的安全性評価法の検討
- 信頼性の意味の変遷 : 負の側面と積極的な面(種々の側面から見た信頼性の意味の変遷)
- 第1回国際信頼性フォーラムに参加して
- シミュレーションを利用した安全性評価の定量化手法について(安全性・一般)
- 守りたいもの
- 鉄道信号システムにおけるリモートモニタリングの現状(保全性から信頼性,安全性へ)
- TA-4-5 鉄道における RISK 評価の実践事例と課題
- 三位一体