| 講演名 | 2007/5/11 形式手法による仕様記述を支援するリスク分析手法の検討 市川 哲也, 大成 辰男, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 形式手法は、安全関連系を構成するような高い信頼性が要求されるソフトウェアの開発において、ソフトウェアの仕様記述と検証に用いられる。本研究では、形式手法によるIEC61508の安全関連ソフトウェアの仕様記述に必要な安全機能要求仕様の摘出を支援するために、主に化学プラントに対して用いられるリスク分析手法HAZOP(Hazard and Operability Study)の適用可能性を検討した。システムの状態変化に着目したHAZOPの拡張案を提示し、仕様記述のもとになるシステムの状態変化を可視化するために、事故シナリオをUML(Unified Modeling Language)の状態マシン図を用いて表現することを試み、サンプルシステムに対してそれらの例を作成した。 |
| 抄録(英) | Formal Method is used for the specification and verification of the development of the software where high reliability is required, for example the safety-related software in IEC61508. In this research, in order to support the extraction of safety functions requirements specification of the safety-related software, which is necessary for the specification of the software with Formal Method, application of risk analysis method "Hazard and Operability Study, HAZOP" was examined. HAZOP which is expanded in order to analyze state transition of the system was presented. In order to visualize the state transition, the scenario which reaches to dangerous event the method of using state machine diagram of "Unified Modeling Language, UML" was presented. As an example, these applied to a process system and examined. |
| キーワード(和) | IEC61508 / 安全関連ソフトウェア / 形式手法 / リスク分析 / HAZOP / 状態マシン図 |
| キーワード(英) | IEC61508 / safety-related software / Formal Method / Risk Analysis / HAZOP / state machine diagram |
| 資料番号 | SSS2007-1 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSS |
|---|---|
| 開催期間 | 2007/5/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Safety (SSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 形式手法による仕様記述を支援するリスク分析手法の検討 |
| サブタイトル（和） | |
| タイトル（英） | Investigation of Risk Analysis Method to Support Specification Based on Formal Method |
| サブタイトル（和） | |
| キーワード(1)（和/英） | IEC61508 / IEC61508 |
| キーワード(2)（和/英） | 安全関連ソフトウェア / safety-related software |
| キーワード(3)（和/英） | 形式手法 / Formal Method |
| キーワード(4)（和/英） | リスク分析 / Risk Analysis |
| キーワード(5)（和/英） | HAZOP / HAZOP |
| キーワード(6)（和/英） | 状態マシン図 / state machine diagram |
| 第 1 著者 氏名（和/英） | 市川 哲也 / Tetsuya ICHIKAWA |
| 第 1 著者 所属（和/英） | 東芝ソリューション株式会社 TOSHIBA SOLUTIONS CORPORATION |
| 第 2 著者 氏名（和/英） | 大成 辰男 / Tatsuo OHNARI |
| 第 2 著者 所属（和/英） | 東芝ソリューション株式会社 TOSHIBA SOLUTIONS CORPORATION |
| 発表年月日 | 2007/5/11 |
| 資料番号 | SSS2007-1 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 45 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |