AADL 活用による安全分析STAMP/STPA の支援

摘要

本研究ではSTAMP/STPA の手順にかかる作業量の削減を目的としてAADL を利用した自動分析を援用することを提案した．また，提案手法の有用性検証のため，話題沸騰ポットに対し提案手法を適用した．AADL を用いた自動分析では，3 章で示した複雑な要因に起因するハザードシナリオ以外のハザードシナリオは識別できた．そのため，AADLを用いて分析が可能な単純な条件で発生するハザードは自動分析を援用し，分析者の知識や発想などが必要な複雑なものは人間が行うことで，分析にかかる作業量を減らすことができ，ひいては分析者が複雑なハザードシナリオの識別に注力できるようになると考える．