鉄道車両制御の分散処理のための車上アプリケーション再構築とワークフロー管理方式の提案(ソフトウェアシステム,<特集>システム開発論文)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,鉄道車上監視制御システムの分散処理の実現について述べる.実時間システムである鉄道車上監視制御システムの処理を複数の車両で分散実行することができれば,負荷分散により実時間性を満たしながら新たな処理を追加する余裕が生まれ,機能拡張性が向上する.また,協調制御という複数の車両間の機器を連携させる制御を行う場合,集中制御方式に比べて実行時間が短縮できるため,現在の車上コンピュータの性能でも実時間制約を満たして実現することが可能となる.しかしながら,歴史的な経緯から現状の鉄道車両制御ソフトウェアは集中実行される一つの逐次プログラムとして実現されており,そのままでは分散実行することは不可能である.そこで本研究では,既存のソフトウェアをもとにシステムの分散処理化を実現する.具体的には,まず,既存のソフトウェアを機能ごとに分割することで,単体で実行可能な複数のモジュールを生成する.次に,これらのモジュールを必要なタイミング,周期で実行するための機構であるワークフロー管理方式を提案,実現する.このようにして開発したプロトタイプシステムを用いて,各処理に必要な実行時間を計測する.この結果をもとに性能評価を行い,提案手法により機能拡張性が向上することを示す.
- 2013-10-01
著者
関連論文
- ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出(ネットワーク環境でのディペンダビリティ)
- 3状態相互排他アルゴリズムの安定時間の下限について
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ペアワイズテスト : ソフトウェアテストの効率化を求めて
- 10-150MHz超広帯域線スペクトル超音波探触子の試作
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- ホームネットワークシステムにおける連携サービスのモデル検査による検証
- モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案(安全性及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案
- ペトリネットに対する充足可能性判定を利用した検証手法の提案(コンカレント工学一般)
- ペトリネットに対するSATを利用したモデル検査の効率化
- 充足可能性判定を用いたモデル検査ツールの実装
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ウインターワークショップ2010・イン・倉敷開催報告
- ウインターワークショップ2010・イン・倉敷開催報告
- GPUを用いた状態可到達性解析の高速化(ネットワーク環境でのディペンダビリティ,及び一般)
- Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- ウインターワークショップ2010・イン・倉敷開催報告
- ゴシップ型ブロードキャストの高信頼化のための適応的再送手法の提案(ネットワーク,SWoPP2006)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- AT-3-3 モデル検査のためのコンカレントシステムの仕様記述(AT-3.コンカレントシステム理論の新しい流れ,チュートリアルセッション,ソサイエティ企画)
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- C-010 アドホックネットワークに対するゴシップ型ブロードキャストプロトコルの信頼性の分析(C.アーキテクチャ・ハードウェア)
- システム特性を考慮したペアワイズテストの改良
- サーベイ論文「ペアワイズテスト-ソフトウェアテストの効率化を求めて-」に関する訂正と補足
- 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価 (ソフトウェアサイエンス)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- マルチプロセッサスケジューリングのGA解法に対する精度向上
- C-009 ゴシップ型マルチキャストにおけるメンバーシップビューの構造化が信頼性に及ぼす影響に関する研究(C.アーキテクチャ・ハードウェア)
- ウィンターワークショップ2011・イン・修善寺開催報告
- リンク故障を考慮したkコテリーの信頼性評価手法
- アドホックネットワークにおける可変送信出力を用いた省電力ブロードキャスト手法の提案(解析・省電力,SWoPP2006)
- 無線モバイルマイクロセンサーネットワークにおける自己組織的センサー配置手法の提案
- Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 4-6 高解像度 MOS形 カラーセンサ用 駆動回路
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価
- IRISソフトリアルタイムタスクの複数サーバ上への効果的なスケジューリング法の提案
- [3-2] ハードウェアRAMフォールトに対するソフトウェアによる監視方法(セッション3 試験,解析,一般,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3)
- A-042 p-median問題に対するアントアルゴリズムの適用(A.モデル・アルゴリズム・プログラミング)
- 記号モデル検査を用いたステートチャートの検証
- マルチプロセッサシステムのためのプログラム構造を考慮したフォールトトレラントスケジューリング
- あるマルチプロセッサ上でのフォールトトレラントスケジューリングアルゴリズムの提案
- 充足可能性判定を用いたモデル検査ツールの実装
- メタヒューリスティックを用いた組合せテスト用テストセットの生成法(安全性及び一般)
- 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
- 分散システムにおける信頼性最大の資源配置について
- ペトリネットに対する充足可能性判定を用いた検証法の提案
- ワークステーションクラスタを用いた耐故障並列分枝限定法の実装
- ネットワークコーディングに基づくゴシップの提案
- 充足可能性判定を利用したモデル検査
- ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成
- 制御システム分野におけるモデル検査の応用
- パラメータ値に関する制約を考慮したランダムテストのためのテストケース生成手法(ネットワーク環境でのディペンダビリティー)
- 鉄道車両制御の分散処理のための車上アプリケーション再構築とワークフロー管理方式の提案(ソフトウェアシステム,システム開発論文)
- パラメータ値に関する制約を考慮したランダムテストの不具合検出率について(テスト)
- 多数決投票を用いた分散システムの可用性の最大化
- スマートシティ向け情報管理基盤におけるデータアクセス制御方式の提案
- パラメータ値に対する重み付けを考慮したテストケース集合の拡張(ディペンダブルコンピューティングシステム及び一般)
- パラメータ値に対する重み付けを考慮したテストケース集合の拡張(ディペンダブルコンピューティングシステム及び一般)