| 講演名 | 2008-11-07 PetriNetによるシステム非正常系可視化の検討(グラフ,ペトリネット,ニューラルネット,及び一般) 豊嶋 伊知郎, 西川 武一郎, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | システムの巨大化に伴う事故被害規模の増大や国際規格への対応の必要性から,リスクマネジメント技術の必要性が高まっている.リスク分析手法の代表的なものにFMEA(Failure Mode Effects Analysis)があるが,FMEAが暗黙に仮定している故障発生から危害到達までのシナリオには知識化されておらず,曖昧性を排除することができない.我々は故障発生から危害到達までのシナリオをPetriNetを用いて可視化し曖昧性を低減する方法を提案する.また故障から危害に至るシナリオの有無をモデル検査ツールを用いて確定的に検証する方法も示す.更にリスク分析時の活用形態についても論ずる. |
| 抄録(英) | The demand of risk management technologies has been increased by some reasons, e.g. accidents of large scale system and require of many international standards. FMEA(Failure Mode Effects Analysis) that is one of the most familiar risk management mathodologies uses implicit accident scenario. FMEA has ambiguousness of the scenario of accidents in own analysis results. In this paper, we propose an explicit accident scenario model by PetriNet, and apply model cheking tool "SPIN" for checking its reachability. |
| キーワード(和) | リスクマネジメント / リスク分析 / FMEA / ペトリネット / モデル検査 / SPIN |
| キーワード(英) | Risk management / Risk analysis / FMEA / PetriNet / Model checking / SPIN |
| 資料番号 | CAS2008-59,CST2008-37 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 2008/10/30(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | PetriNetによるシステム非正常系可視化の検討(グラフ,ペトリネット,ニューラルネット,及び一般) |
| サブタイトル（和） | |
| タイトル（英） | A visualization of unexpected obstacles in system by Petri Net |
| サブタイトル（和） | |
| キーワード(1)（和/英） | リスクマネジメント / Risk management |
| キーワード(2)（和/英） | リスク分析 / Risk analysis |
| キーワード(3)（和/英） | FMEA / FMEA |
| キーワード(4)（和/英） | ペトリネット / PetriNet |
| キーワード(5)（和/英） | モデル検査 / Model checking |
| キーワード(6)（和/英） | SPIN / SPIN |
| 第 1 著者 氏名（和/英） | 豊嶋 伊知郎 / Ichiro TOYOSHIMA |
| 第 1 著者 所属（和/英） | 東芝研究開発センターシステム技術ラボラトリー System Engineering Laboratory, TOSHIBA CORPORATION |
| 第 2 著者 氏名（和/英） | 西川 武一郎 / Takeichiro NISHIKAWA |
| 第 2 著者 所属（和/英） | 東芝研究開発センターシステム技術ラボラトリー System Engineering Laboratory, TOSHIBA CORPORATION |
| 発表年月日 | 2008-11-07 |
| 資料番号 | CAS2008-59,CST2008-37 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 277 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |