| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-03-17 10:40 モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み ○青木善貴（BIPROGY）・久住憲嗣（芝浦工大）  KBSE2022-62 |
|
| 抄録 | （和） | FRAM(Functional Resonance Analysis Method：機能共鳴分析手法) は，システムの機能の構成と機能の相互作用を特徴的な六角形の表記を用いてモデル化し，機能間のパフォーマンスの予期せぬ変動（機能共鳴）を理解して，パフォーマンスの変動を減衰させる方法を検討する手法である．これによりシステムのレジリエンスを向上させる． しかしながら，FRAM モデルの分析は，分析者のドメイン知識に頼る傾向があり，だれもが複雑な相互作用を評価することは難しい．本研究の目的は，分析者がFRAM モデルの相互作用の振る舞いの理解を支援することである．確率的モデル検査器であるPRISM を用いてFRAM モデルの相互作用の振る舞いを定量的に表す手法を提案する．本稿では，特に問題が生じやすい相互作用を表すモデルへ適用して，相互作用の振る舞いを理解しやすくできることを示す． |
| （英） | Analysis of FRAM models tends to rely on the domain knowledge of analysts, and it is difficult for anyone to evaluate complex interactions. The purpose of this research is to help analysts understand the interaction behavior of FRAM models. We propose a method to quantitatively express the interaction behavior of FRAM models using PRISM, which is a probabilistic model checker. In this paper, we show that the behavior of interactions can be easily understood by applying it to a model that expresses interactions that are particularly prone to problems. |
|
| キーワード | （和） | モデル検査 / FRAM / / / / / / |
| （英） | Model Checking / FRAM / / / / / / | |
| 文献情報 | 信学技報, vol. 122, no. 444, KBSE2022-62, pp. 49-54, 2023年3月. | |
| 資料番号 | KBSE2022-62 | |
| 発行日 | 2023-03-09 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2022-62 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2023-03-16 - 2023-03-17 |
| 開催地（和） | JMS アステールプラザ（広島） |
| 開催地（英） | JMS ASTERPLAZA |
| テーマ（和） | |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2023-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み |
| サブタイトル（和） | |
| タイトル（英） | Verification of Interaction between Functions in FRAM using Model Checking |
| サブタイトル（英） | |
| キーワード(1)（和/英） | モデル検査 / Model Checking |
| キーワード(2)（和/英） | FRAM / FRAM |
| キーワード(3)（和/英） | / |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 青木 善貴 / Yoshitaka Aoki / アオキ ヨシタカ |
| 第1著者 所属（和/英） | BIPROGY株式会社 (略称： BIPROGY) BIPROGY Inc. (略称： BIPROGY) |
| 第2著者 氏名（和/英/ヨミ） | 久住 憲嗣 / Kenji Hisazumi / ヒサズ ミケンジ |
| 第2著者 所属（和/英） | 芝浦工業大学 (略称： 芝浦工大) Shibaura Institute of Technology (略称： Shibaura Inst. of Tech.) |
| 講演者 | 第1著者 |
| 発表日時 | 2023-03-17 10:40:00 |
| 発表時間 | 35分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2022-62 |
| 巻番号（vol） | vol.122 |
| 号番号（no） | no.444 |
| ページ範囲 | pp.49-54 |
| ページ数 | 6 |
| 発行日 | 2023-03-09 (KBSE) |
[研究会発表申込システムのトップページに戻る]