| 講演名 | 2021-11-30 フォールト発見数モデルに基づいた安全関連系ソフトウェアの安全度解析 井上 真二(関西大), 藤原 隆次(SRATECH Lab.), 山田 茂(鳥取大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 電気・電子・プログラマブル電子（E/E/PE）安全関連系は，機能的側面からシステム全体の安全性を確保するような機能安全を担うシステムとして，近年，様々な産業界で利用されている．その中で，国際基本機能安全規格として知られているIEC 61508では，安全度水準（SIL）に基づいたE/E/PE安全関連系に対する安全性評価が求められている．特に，E/E/PE安全関連系のハードウェアについては，いわゆるランダムハードウェア故障を前提に，SILに基づいた定量的な安全性評価に関する基本的枠組みが与えられている．一方，ソフトウェアについては，安全性を阻害するソフトウェア故障を決定論的原因故障として捉え，定性的な枠組みのみが与えられている．本稿では，E/E/PE安全関連系のソフトウェアに関してSILに基づいたより客観的な安全性評価の実現を目的として，フォールト発見数モデルによるソフトウェア信頼性評価技術を活用しながら，SILを割り当てるための目標機能失敗尺度を近似的に算出するための数理的アプローチについて考察を与える．また，数値例を示し，議論したアプローチの適用方法についても議論する． |
| 抄録(英) | IEC 61508 is widely known as the international standard for the functional safety of electrical/electronic/programmable electronic (E/E/PE) safety-related systems. Especially for the hardware of E/E/PE safety-related systems, IEC 61508 requires to assess their safety based on the safety integrity level (SIL) measured by the target failure measures. However, IEC 61508 does not give us the methodologies on quantitative safety assessment for the E/E/PE safety-related system software because the software failure is treated as a systematic failure. We discuss approximated methods for estimating target failure measures, which are basic measures for allocating SIL, for SIL-based software safety assessment by applying the technical notions of software fault detection count model in software reliability assessment technologies. |
| キーワード(和) | 機能安全 / E/E/PE安全関連系 / IEC 61508 / 安全度水準 / ソフトウェア信頼性モデル / フォールト発見数モデル |
| キーワード(英) | Functional safety / E/E/PE safety-related systems / IEC 61508 / safety integrity level / software reliability model / fault detection model |
| 資料番号 | R2021-38 |
| 発行日 | 2021-11-23 (R) |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2021/11/30(から1日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | 半導体と電子デバイスの信頼性、信頼性一般 |
| テーマ（英） | Reliability of semiconductor and electronic devices, Reliability ge |
| 委員長氏名（和） | 土肥 正(広島大) |
| 委員長氏名（英） | Tadashi Dohi(Hiroshima Univ.) |
| 副委員長氏名（和） | 門田 靖(リコー) |
| 副委員長氏名（英） | Yasushi Kadota(Ricoh) |
| 幹事氏名（和） | 岡村 寛之(広島大) / 井上 真二(関西大) |
| 幹事氏名（英） | Hiroyuki Okamura(Hiroshima Univ.) / Shinji Inoue(Kansai Univ.) |
| 幹事補佐氏名（和） | 横川 慎二(電通大) / 吉川 隆英(富士通研) / 作村 建紀(法政大) |
| 幹事補佐氏名（英） | Shinji Yokogawa(Univ. of Electro-Comm.) / Takahide Yoshikawa(Fujitsu Lab.) / Takenori Sakumura(Housei Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Reliability |
|---|---|
| 本文の言語 | ENG-JTITLE |
| タイトル（和） | フォールト発見数モデルに基づいた安全関連系ソフトウェアの安全度解析 |
| サブタイトル（和） | |
| タイトル（英） | Safety Analysis for Safety-Related Software Based on a Fault Detection Count Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 機能安全 / Functional safety |
| キーワード(2)（和/英） | E/E/PE安全関連系 / E/E/PE safety-related systems |
| キーワード(3)（和/英） | IEC 61508 / IEC 61508 |
| キーワード(4)（和/英） | 安全度水準 / safety integrity level |
| キーワード(5)（和/英） | ソフトウェア信頼性モデル / software reliability model |
| キーワード(6)（和/英） | フォールト発見数モデル / fault detection model |
| 第 1 著者 氏名（和/英） | 井上 真二 / Shinji Inoue |
| 第 1 著者 所属（和/英） | 関西大学(略称：関西大) Kansai University(略称：Kansai Univ.) |
| 第 2 著者 氏名（和/英） | 藤原 隆次 / Takaji Fujiwara |
| 第 2 著者 所属（和/英） | SRATECH Lab株式会社(略称：SRATECH Lab.) SRATECH Lab. Inc.(略称：SRATECH Lab.) |
| 第 3 著者 氏名（和/英） | 山田 茂 / Shigeru Yamada |
| 第 3 著者 所属（和/英） | 鳥取大学(略称：鳥取大) Tottori University(略称：Tottori Univ.) |
| 発表年月日 | 2021-11-30 |
| 資料番号 | R2021-38 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | R-276 |
| ページ範囲 | pp.24-29(R), |
| ページ数 | 6 |
| 発行日 | 2021-11-23 (R) |