講演抄録/キーワード |
講演名 |
2023-01-20 11:15
機能共鳴分析のための保証ケースの試み ○山本修一郎(名古屋国際工科専門職大) KBSE2022-50 |
抄録 |
(和) |
複雑な社会技術的システムを分析する手法として,アスペクト関係による機能共鳴関係分析手法FRAMが知られている.また,システムの安全性を保証する保証ケースが提案されている.
本論文では,保証ケースを用いて共鳴関係を持つ機能の変動性を保証する手法を提案する.また,既知の不正事件に提案手法を適用することにより,再発防止策への適用法を明らかにする |
(英) |
Functional Resonance Analysis (FRAM) is known as a technique for analyzing complex socio-technical systems, which graphically expresses the resonance relationships between functional elements with six aspects. Assurance case has widely been used to assure system safety.
In this paper, we propose a method to assure function resonance analysis by using the assurance case. In addition, we will confirm the effectiveness of the proposed method by applying it to known fraud cases. Moreover, we will clarify a method to extract recurrence prevention measures. |
キーワード |
(和) |
FRAM / 保証ケース / / / / / / |
(英) |
FRAM / Assurance Case / / / / / / |
文献情報 |
信学技報, vol. 122, no. 345, KBSE2022-50, pp. 40-45, 2023年1月. |
資料番号 |
KBSE2022-50 |
発行日 |
2023-01-12 (KBSE) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2022-50 |