講演抄録/キーワード |
講演名 |
2020-03-06 13:30
安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案 鈴木悠介・○小形真平・大池勇太郎(信州大)・青木善貴(日本ユニシス)・中川博之(阪大)・小林一樹・岡野浩三(信州大) KBSE2019-47 |
抄録 |
(和) |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis)では,アクシデントが生じうる危険なシステムの状態をハザードとして扱い,その要因を手動で分析する.しかし,手動による分析では,ハザードとなるシステムの状態に定義漏れが生じやすい.そのため,定義漏れを回避すべく,システム開発者は,ハザードのみならず,ハザードに近接する正常な状態をも分析すべきである.しかしながら,これまでにハザードに近接する正常な状態(近接状態)を容易に分析できるよう支援する方法は未確立である.そこで,本研究では,ハザードに近接する正常な状態を分析しやすいように,近接状態の分析を支援する方法を提案する.
本稿では,提案手法の有効性評価のため,情報処理推進機構がSTAMP/STPAの演習教材として公開している「アクセス・コントロール・ゲート」の例題に応用した結果を報告する. |
(英) |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developers in manually analyzing the factors of hazards causing accidents.In general, manual analysis is easy to cause oversights.System developers should preferentially check not only hazards but also the proximate states to the hazards so that they can reduce the oversights.However, no method to support developers in easily analyzing the proximate states to hazards has been established.Therefore, in this study, we propose a method to analyze the proximate states to hazards.We evaluated the effectiveness of the proposed method by applying it to an "access control gate" system. |
キーワード |
(和) |
STAMP/STPA / 安全性解析 / ハザード / 状態遷移系 / モデル検査 / / / |
(英) |
STAMP/STPA / Safety Analysis / Hazards / State Transition System / Model Checking / / / |
文献情報 |
信学技報, vol. 119, no. 467, KBSE2019-47, pp. 7-12, 2020年3月. |
資料番号 |
KBSE2019-47 |
発行日 |
2020-02-28 (KBSE) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2019-47 |