| 講演名 | 2019-12-20 フェールオペレーショナルシステムのための近似投票機構IDMRの拡張 行廣 和倫(広島市大), 市原 英行(広島市大), 井上 智生(広島市大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 自動運転などの高い安全性が求められるシステムは，制御システムに故障が発生した場合でも安全に動作を継続できるフェールオペレーショナルシステムであることが求められる．本論文では，特定の誤差が許容できる環境下で使用可能な，近似投票機構IDMR (Inexact Double Modular Redundancy) に着目する．IDMRを用いたシステムは故障が発生しても動作を続けることが可能であるため，IDMRを利用したフェールオペレーショナルシステムの実現が可能となる．さらに，IDMRよりも高い誤差訂正能力を持つ拡張IDMR（Extended IDMR：E-IDMR）を提案する．シミュレーションに基づく実験では，自動車のABS (Anti-Lock Braking System) およびLKAS (Lane Keeping Assistant System) を対象に，提案したE-IDMRがIDMRよりもフェールオペレーショナルシステムの実現に適していることを示す． |
| 抄録(英) | In safety critical systems, e.g., automotive systems, the concept of fail-operational is very important. In this paperwe focus on an approximate voting scheme called IDMR (Inexact Double Modular Redundancy), which can detect anerror of the output of the duplicated system and correct the error approximately if the significance of the error is within acertain limit; The systems with IDMR can operate continuously even if a fault occurs in the system, i.e., the systems are failoperational. To enhance the ability of IDMR scheme, we propose an extended architecture for IDMR scheme, which is called EIDMR(Extended IDMR). The proposed E-IDMR can correct large errors that cannot be corrected by IDMR, so that thesystems with E-IDMR achieves higher fail-operational ability than those with IDMR. Application to automotive ABS and LKAS shows that the proposed E-IDMR is more effective forimplementation of these fail-operational systems. |
| キーワード(和) | フェールオペレーショナル / 近似投票機構 / 2重モジュール冗長機構 / 許容誤差 |
| キーワード(英) | Fail-operational / approximate voting scheme / double modular redundancy / acceptable error |
| 資料番号 | DC2019-84 |
| 発行日 | 2019-12-13 (DC) |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2019/12/20(から1日開催) |
| 開催地（和） | 南紀くろしお商工会 |
| 開催地（英） | |
| テーマ（和） | (第4回） Winter Workshop on Safety（安全性に関する冬のワークショップ） - （共催：日本信頼性学会） |
| テーマ（英） | |
| 委員長氏名（和） | 福本 聡(首都大東京) |
| 委員長氏名（英） | Satoshi Fukumoto(Tokyo Metropolitan Univ.) |
| 副委員長氏名（和） | 高橋 寛(愛媛大) |
| 副委員長氏名（英） | Hiroshi Takahashi(Ehime Univ.) |
| 幹事氏名（和） | 新井 雅之(日大) / 難波 一輝(千葉大) |
| 幹事氏名（英） | Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Dependable Computing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | フェールオペレーショナルシステムのための近似投票機構IDMRの拡張 |
| サブタイトル（和） | |
| タイトル（英） | Extension of an Approximate Voting Scheme IDMR for Fail-Operational Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | フェールオペレーショナル / Fail-operational |
| キーワード(2)（和/英） | 近似投票機構 / approximate voting scheme |
| キーワード(3)（和/英） | 2重モジュール冗長機構 / double modular redundancy |
| キーワード(4)（和/英） | 許容誤差 / acceptable error |
| 第 1 著者 氏名（和/英） | 行廣 和倫 / Kazunori Yukihiro |
| 第 1 著者 所属（和/英） | 広島市立大学(略称：広島市大) Hiroshima City University(略称：Hiroshima City Univ.) |
| 第 2 著者 氏名（和/英） | 市原 英行 / Hideyuki Ichihara |
| 第 2 著者 所属（和/英） | 広島市立大学(略称：広島市大) Hiroshima City University(略称：Hiroshima City Univ.) |
| 第 3 著者 氏名（和/英） | 井上 智生 / Tomoo Inoue |
| 第 3 著者 所属（和/英） | 広島市立大学(略称：広島市大) Hiroshima City University(略称：Hiroshima City Univ.) |
| 発表年月日 | 2019-12-20 |
| 資料番号 | DC2019-84 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | DC-351 |
| ページ範囲 | pp.31-36(DC), |
| ページ数 | 6 |
| 発行日 | 2019-12-13 (DC) |