@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00202548,
 author = {辻, 光顕 and 高井, 利憲 and 柿本, 和希 and 石濱, 直樹 and 片平, 真史 and 飯田, 元 and Mitsuaki, Tsuji and Toshinori, Takai and Kazuki, Kakimoto and Naoki, Ishihama and Masafumi, Katahira and Hajimu, Iida},
 book = {ウィンターワークショップ2020・イン・京都 論文集},
 month = {Jan},
 note = {近年，ソフトウェアを中心としたシステムに対する新たな安全分析手法として STAMP/STPA が注目されている．STAMP/STPA では，システムに対する安全コントロールストラクチャを作成し，そこからハザードに至るシナリオおよび安全対策を導出する．一方で，効率的にシステムの安全性を高めるためには，リスクに基づくシナリオの優先付けによる安全対策の検討が必要であると考えられる．そこで本稿では，統計的モデル検査法を利用してシナリオに対するリスクを評価する手法について述べる．特に，踏切制御システムを題材として，安全コントロールストラクチャやシナリオなどを系統的に形式化する方法について説明する．},
 pages = {1--2},
 publisher = {情報処理学会},
 title = {統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析},
 volume = {2020},
 year = {2020}
}