| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-01-17 13:50 STPAによる解析結果のレビューを目的とした議論構造明確化手法の提案 ○柿本和希・高井利憲・飯田 元（奈良先端大）  MSS2023-54 SS2023-33 |
|
| 抄録 | （和） | 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 / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 335, SS2023-33, pp. 13-18, 2024年1月. | |
| 資料番号 | SS2023-33 | |
| 発行日 | 2024-01-10 (MSS, SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2023-54 SS2023-33 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2024-01-17 - 2024-01-18 |
| 開催地（和） | 金沢商工会議所会館（石川県金沢市） |
| 開催地（英） | |
| テーマ（和） | システム数理と応用，ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2024-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 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 |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第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) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-01-17 13:50:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | MSS2023-54, SS2023-33 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.334(MSS), no.335(SS) |
| ページ範囲 | pp.13-18 |
| ページ数 | 6 |
| 発行日 | 2024-01-10 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]