| 講演名 | 2024-01-17 STPAによる解析結果のレビューを目的とした議論構造明確化手法の提案 柿本 和希(奈良先端大), 高井 利憲(奈良先端大), 飯田 元(奈良先端大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | STPAの解析結果の妥当性をレビューすることを目的として，解析結果に含まれる導出の過程が明らかではない情報の解析過程を明確化する手法を提案する．STPAは従来のハザード解析手法に替わる優れた手法であるが，解析結果に大きな影響を与えるプロセスモデルの分析手段は示されておらず，その導出過程はSTPAの成果物からは明らかではない．そこで本論ではSTPAの成果物の一つであるUCAの構造に着目し，GSNを用いてその導出過程の議論構造の明確化を行う主婦を提案する．また提案手法の有効性確認のため，小規模な事例に対する評価を実施した． |
| 抄録(英) | We propose a method to clarify the process of analysis of information whose derivation process is not clear in the analysis results to review the validity of STPA analysis results. The method focusses on the structure of UCA and clarify the argument structure of its derivation process by using GSN. Furthermore, to confirm the effectiveness of the proposed method, an evaluation of a small-scale case study was conducted. |
| キーワード(和) | STAMP/STPA / GSN / ハザード解析 |
| キーワード(英) | STAMP/STPA / GSN / Hazard Analysis |
| 資料番号 | MSS2023-54,SS2023-33 |
| 発行日 | 2024-01-10 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2024/1/17(から2日開催) |
| 開催地（和） | 金沢商工会議所会館（石川県金沢市） |
| 開催地（英） | |
| テーマ（和） | システム数理と応用，ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 委員長氏名（和） | 岡野 浩三(信州大) / 山口 真悟(山口大) |
| 委員長氏名（英） | Kozo Okano(Shinshu Univ.) / Shingo Yamaguchi(Yamaguchi Univ.) |
| 副委員長氏名（和） | 肥後 芳樹(阪大) / 宮本 俊幸(阪工大) |
| 副委員長氏名（英） | Yoshiki Higo(Osaka Univ.) / Toshiyuki Miyamoto(Osaka Inst. of Tech.) |
| 幹事氏名（和） | 小形 真平(信州大) / 林 晋平(東工大) / 林 直樹(阪大) / 劉 健全(NEC) |
| 幹事氏名（英） | Shinpei Ogata(Shinshu Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) / Naoki Hayashi(Osaka Univ.) / Jianquan Liui(NEC) |
| 幹事補佐氏名（和） | ?本 真佑(阪大) / 白井 匡人(島根大) |
| 幹事補佐氏名（英） | Shinsuke Matsumoto(Osaka Univ.) / Masato Shirai(Shimane Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its Applications |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | STPAによる解析結果のレビューを目的とした議論構造明確化手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | A Proposal of Argument Structure Clarification Method for Reviewing Analysis Results of STPA |
| サブタイトル（和） | |
| キーワード(1)（和/英） | STAMP/STPA / STAMP/STPA |
| キーワード(2)（和/英） | GSN / GSN |
| キーワード(3)（和/英） | ハザード解析 / Hazard Analysis |
| 第 1 著者 氏名（和/英） | 柿本 和希 / Kazuki Kakimoto |
| 第 1 著者 所属（和/英） | 奈良先端科学技術大学院大学(略称：奈良先端大) Nara Institute of Science and Technology(略称：NAIST) |
| 第 2 著者 氏名（和/英） | 高井 利憲 / Toshinori Takai |
| 第 2 著者 所属（和/英） | 奈良先端科学技術大学院大学(略称：奈良先端大) Nara Institute of Science and Technology(略称：NAIST) |
| 第 3 著者 氏名（和/英） | 飯田 元 / Hajimu Iida |
| 第 3 著者 所属（和/英） | 奈良先端科学技術大学院大学(略称：奈良先端大) Nara Institute of Science and Technology(略称：NAIST) |
| 発表年月日 | 2024-01-17 |
| 資料番号 | MSS2023-54,SS2023-33 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | MSS-334,SS-335 |
| ページ範囲 | pp.13-18(MSS), pp.13-18(SS), |
| ページ数 | 6 |
| 発行日 | 2024-01-10 (MSS, SS) |