| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2015-03-07 13:00 危険側故障割合の定量評価を用いたFPGA活用制御システムの低コスト化 ○広津鉄平・鳥羽忠信（日立）  CPSY2014-180 DC2014-106 |
|
| 抄録 | （和） | 近年，FPGAの高性能化，低価格化が進展し，コストパフォーマンスを追求する制御用組込みシステムを実現する上で有望なデバイスとなっている．しかしながら，信頼性を確保するために冗長構成を取る必要があり，コストが増大する問題がある．本報告では，制御システムの危険側故障割合を高精度に評価し，危険側故障割合が高い部位について必要十分な診断機能を導入するアプローチを提案する．本アプローチを実現する上で必須となる危険側故障割合の定量的評価手法に関して，確率的モデル検査を活用した評価手法を提案し，電流制御システムをビークルとした簡易モデルにより実現可能性を実証した． |
| （英） | FPGA is one of promising device to gain the performance of embedded systems with the progress of speed-up and cost reduction of FPGA. However, soft error rate of FPGS is larger than that of ASIC, redundant architecture is used to mitigate the soft error. For reduce the cost overhead of redundant architecture, we propose the optimized dependable architecture based on the quantitative evaluation of dangerous failure ratio. Model checking method is used for the evaluation and we show the preliminary results of the evaluation method in this paper. | |
| キーワード | （和） | FPGA / 高信頼システム / モデル検査 / / / / / |
| （英） | FPGA / Dependable system / Model checking / / / / / | |
| 文献情報 | 信学技報, vol. 114, no. 507, DC2014-106, pp. 119-124, 2015年3月. | |
| 資料番号 | DC2014-106 | |
| 発行日 | 2015-02-27 (CPSY, DC) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CPSY2014-180 DC2014-106 |
|
| 研究会情報 | |
| 研究会 | CPSY IPSJ-EMB IPSJ-SLDM DC |
| 開催期間 | 2015-03-06 - 2015-03-07 |
| 開催地（和） | 奄美市社会福祉協議会 会議室（2F・４F） |
| 開催地（英） | |
| テーマ（和） | 組込み技術とネットワークに関するワークショップ ETNET2015 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | DC |
| 会議コード | 2015-03-CPSY-EMB-SLDM-DC |
| 本文の言語 | 日本語 |
| タイトル（和） | 危険側故障割合の定量評価を用いたFPGA活用制御システムの低コスト化 |
| サブタイトル（和） | |
| タイトル（英） | Study of Cost Reduction Technique for FPGA-based Control Systems by Quantitative Evaluation of Dangerous Failure Ratio |
| サブタイトル（英） | |
| キーワード(1)（和/英） | FPGA / FPGA |
| キーワード(2)（和/英） | 高信頼システム / Dependable system |
| キーワード(3)（和/英） | モデル検査 / Model checking |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 広津 鉄平 / Teppei Hirotsu / ヒロツ テッペイ |
| 第1著者 所属（和/英） | 株式会社日立製作所 (略称： 日立) Hitachi Ltd. (略称： Hitachi) |
| 第2著者 氏名（和/英/ヨミ） | 鳥羽 忠信 / Tadanobu Toba / |
| 第2著者 所属（和/英） | 株式会社日立製作所 (略称： 日立) Hitachi Ltd. (略称： Hitachi) |
| 講演者 | 第1著者 |
| 発表日時 | 2015-03-07 13:00:00 |
| 発表時間 | 25分 |
| 申込先研究会 | DC |
| 資料番号 | CPSY2014-180, DC2014-106 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | no.506(CPSY), no.507(DC) |
| ページ範囲 | pp.119-124 |
| ページ数 | 6 |
| 発行日 | 2015-02-27 (CPSY, DC) |
[研究会発表申込システムのトップページに戻る]