| Item type |
Symposium(1) |
| 公開日 |
2020-01-17 |
| タイトル |
|
|
タイトル |
統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Risk Analysis of Scenarios based on STAMP/STPA Using Statistical Model Checking |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
形式手法 －産学連携で課題解決を目指す－ |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
奈良先端科学技術大学院大学 |
| 著者所属 |
|
|
|
奈良先端科学技術大学院大学 |
| 著者所属 |
|
|
|
奈良先端科学技術大学院大学 |
| 著者所属 |
|
|
|
宇宙航空研究開発機構 |
| 著者所属 |
|
|
|
宇宙航空研究開発機構 |
| 著者所属 |
|
|
|
奈良先端科学技術大学院大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Nara Institute of Science and Technology (NAIST) |
| 著者所属(英) |
|
|
|
en |
|
|
Nara Institute of Science and Technology (NAIST) |
| 著者所属(英) |
|
|
|
en |
|
|
Japan Aerospace Exploration Agency (JAXA) |
| 著者所属(英) |
|
|
|
en |
|
|
Japan Aerospace Exploration Agency (JAXA) |
| 著者所属(英) |
|
|
|
en |
|
|
Nara Institute of Science and Technology (NAIST) |
| 著者所属(英) |
|
|
|
en |
|
|
Nara Institute of Science and Technology (NAIST) |
| 著者名 |
辻, 光顕
高井, 利憲
柿本, 和希
石濱, 直樹
片平, 真史
飯田, 元
|
| 著者名(英) |
Mitsuaki, Tsuji
Toshinori, Takai
Kazuki, Kakimoto
Naoki, Ishihama
Masafumi, Katahira
Hajimu, Iida
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
近年，ソフトウェアを中心としたシステムに対する新たな安全分析手法として STAMP/STPA が注目されている．STAMP/STPA では，システムに対する安全コントロールストラクチャを作成し，そこからハザードに至るシナリオおよび安全対策を導出する．一方で，効率的にシステムの安全性を高めるためには，リスクに基づくシナリオの優先付けによる安全対策の検討が必要であると考えられる．そこで本稿では，統計的モデル検査法を利用してシナリオに対するリスクを評価する手法について述べる．特に，踏切制御システムを題材として，安全コントロールストラクチャやシナリオなどを系統的に形式化する方法について説明する． |
| 書誌情報 |
ウィンターワークショップ2020・イン・京都 論文集
巻 2020,
p. 1-2,
発行日 2020-01-17
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-WWS2020001.pdf (1.2 MB)
