| 講演名 | 2024-03-22 確率モデルによるCOTSベースクラウド型鉄道信号システムの信頼性・安全性評価 高松 純貴(都立大), 遠山 喬(都立大), 大原 衛(都立大), 新井 雅之(日大), 福本 聡(都立大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 鉄道信号システムとは，中央装置と現場機器（信号機や転てつ機など）に近接して接続される現場端末が，メッセージ授受をおこなうことによって現場機器を制御するシステムである．著者らの研究グループは，高アベイラビリティ（可用性）・低コストなクラウド型鉄道信号システムを実現するため，COTS（Commercial-Off-The-Shelf）ハードウェアで中央装置を多重化し，さらに，制御処理に時間的冗長性を導入した手法を提案している．本研究では，上記システムの課題である非人為的故障および，人為的故障への対策手法を提案する．非人為的故障に関しては，メッセージ授受をおこなう伝送路での数秒間の伝送断に着目する．また，人為的故障に関しては，多重化する中央装置の過半数未満の危殆化に着目する．そして，通常時，伝送断発生時，危殆化発生時，伝送断・危殆化同時発生時の各シナリオにおいて，提案手法を適用した場合のシステム挙動を表すマルコフモデルを構築する．さらに，それらを基に解析的に提案手法の信頼性・安全性を評価する． |
| 抄録(英) | |
| キーワード(和) | 鉄道信号システム / クラウドコンピューティング / COTS / マルコフモデル |
| キーワード(英) | |
| 資料番号 | CPSY2023-46,DC2023-112 |
| 発行日 | 2024-03-14 (CPSY, DC) |
| 研究会情報 | |
| 研究会 | DC / CPSY / IPSJ-SLDM / IPSJ-EMB / IPSJ-ARC |
|---|---|
| 開催期間 | 2024/3/21(から3日開催) |
| 開催地（和） | 壱岐の島ホール |
| 開催地（英） | Ikinoshima Hall |
| テーマ（和） | 組込み技術とネットワークに関するワークショップ ETNET2024 |
| テーマ（英） | ETNET2024 |
| 委員長氏名（和） | 土屋 達弘(阪大) / 中島 耕太(富士通研) / 越智 裕之(立命館大) / / 津邑 公暁(名工大) |
| 委員長氏名（英） | Tatsuhiro Tsuchiya(Osaka Univ.) / Kota Nakajima(Fujitsu Lab.) / Hiroyuki Ochi(Ritsumeikan Univ.) / / Tomoaki Tsumura(Nagoya Inst. of Tech.) |
| 副委員長氏名（和） | 細川 利典(日大) / 井口 寧(北陸先端大) / 津邑 公暁(名工大) |
| 副委員長氏名（英） | Toshinori Hosokawa(Nihon Univ.) / Yasushi Inoguchi(JAIST) / Tomoaki Tsumura(Nagoya Inst. of Tech.) |
| 幹事氏名（和） | 新井 雅之(日大) / 難波 一輝(千葉大) / 小林 諒平(筑波大) / 小川 周吾(日立) / 今川 隆司(明大) / 岸田 亮(富山県立大) / 田中 勇気(日立) / 五十嵐 友則(ルネサス) / / 栗原 康志(富士通) / 谷本 輝夫(九大) / 新田 高庸(会津大) / 八巻 隼人(電通大) |
| 幹事氏名（英） | Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) / Ryohei Kobayashi(Univ. of Tsukuba) / Shugo Ogawa(Hitachi) / Takashi Imagawa(Meiji Univ.) / Ryo Kishida(Toyama Prefectural Univ.) / Yuki Tanaka(HITACHI) / Tomonori Igarashi(Renesas) / / Yasushi Kurihara(Fujitsu) / Teruo Tanimoto(Kyushu Univ.) / Koyo Nitta(Univ. of Aizu) / Hayato Yamaki(UEC) |
| 幹事補佐氏名（和） | / 坂本 龍一(東工大) / 本田 巧(富士通) |
| 幹事補佐氏名（英） | / Ryuichi Sakamoto(Tokyo Inst. of Tech.) / Takumi Honda(Fujitsu) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Dependable Computing / Technical Committee on Computer Systems / Special Interest Group on System and LSI Design Methodology / Special Interest Group on Embedded Systems / Special Interest Group on System Architecture |
|---|---|
| 本文の言語 | JPN-ONLY |
| タイトル（和） | 確率モデルによるCOTSベースクラウド型鉄道信号システムの信頼性・安全性評価 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 鉄道信号システム |
| キーワード(2)（和/英） | クラウドコンピューティング |
| キーワード(3)（和/英） | COTS |
| キーワード(4)（和/英） | マルコフモデル |
| 第 1 著者 氏名（和/英） | 高松 純貴 / Takamatsu Junki |
| 第 1 著者 所属（和/英） | 東京都立大学(略称：都立大) Tokyo Metropolitan University(略称：Tokyo Metropolitan Univ.) |
| 第 2 著者 氏名（和/英） | 遠山 喬 / Takashi Toyama |
| 第 2 著者 所属（和/英） | 東京都立大学(略称：都立大) Tokyo Metropolitan University(略称：Tokyo Metropolitan Univ.) |
| 第 3 著者 氏名（和/英） | 大原 衛 / Mamoru Ohara |
| 第 3 著者 所属（和/英） | 東京都立大学(略称：都立大) Tokyo Metropolitan University(略称：Tokyo Metropolitan Univ.) |
| 第 4 著者 氏名（和/英） | 新井 雅之 / Masayuki Arai |
| 第 4 著者 所属（和/英） | 日本大学(略称：日大) Nihon University(略称：Nihon Univ.) |
| 第 5 著者 氏名（和/英） | 福本 聡 / Satoshi Fukumoto |
| 第 5 著者 所属（和/英） | 東京都立大学(略称：都立大) Tokyo Metropolitan University(略称：Tokyo Metropolitan Univ.) |
| 発表年月日 | 2024-03-22 |
| 資料番号 | CPSY2023-46,DC2023-112 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | CPSY-450,DC-451 |
| ページ範囲 | pp.47-52(CPSY), pp.47-52(DC), |
| ページ数 | 6 |
| 発行日 | 2024-03-14 (CPSY, DC) |