| 講演名 | 2019-05-25 確率的モデル検査器を用いたFRAM支援手法の試案 青木 善貴(NUL), 小形 真平(信州大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | FRAM (Functional Resonance Analysis Method)は複雑な技術システムを分析しモデル化する分析手法である．FRAMモデルはシステムの異なる複数の機能間の相互作用を端的に表すことができる．この相互作用が生じる回数や確率は機能間ごとに異なり，その偏りが事故に結びつくことがある．そこで本研究ではFRAMモデルを，確率を扱えるモデル検査ツールPRISM により数値化し解析することにより，FRAMによる想定外の事象の要因分析を支援することを目的としている．FRAM モデルをPRISM モデルへ変換する方法及び，PRISMモデルを通じて定量的にFRAMモデルの振る舞いを検証する． |
| 抄録(英) | FRAM (Functional Resonance Analysis Method) is an analysis method to analyze and model a complex technical system. The FRAM model can express the interaction between different functions of the system. The number and probability of this interaction may differ from function to function, and the bias may lead to an accident. So, in this research, it aims at supporting factor analysis of unexpected events by FRAM by quantifying and analyzing FRAM model by model checking tool PRISM which can handle probability. The method of converting FRAM model to PRISM model and the behavior of FRAM model are verified quantitatively through PRISM model. |
| キーワード(和) | FRAM / PRISM / モデル検査「 |
| キーワード(英) | FRAM / PRISM / Model Checking |
| 資料番号 | KBSE2019-8,SWIM2019-8 |
| 発行日 | 2019-05-17 (KBSE, SWIM) |
| 研究会情報 | |
| 研究会 | SWIM / KBSE |
|---|---|
| 開催期間 | 2019/5/24(から2日開催) |
| 開催地（和） | 機械振興会館 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | デジタルエコノミーとインタプライズ，知能ソフトウェアエンジニアリング，他一般, 学生 |
| テーマ（英） | |
| 委員長氏名（和） | 荻野 正(明星大) / 粂野 文洋(日本工大) |
| 委員長氏名（英） | Tadashi Ogino(Meisei Univ.) / Fumihiro Kumeno(Nippon Inst. of Tech.) |
| 副委員長氏名（和） | 石野 正彦(文教大) / 中川 博之(阪大) |
| 副委員長氏名（英） | Masahiko Ishino(Bunkyo Univ.) / Hiroyuki Nakagawa(Osaka Univ.) |
| 幹事氏名（和） | 五月女 健治(法政大) / 林 章浩(静岡理工科大) / 猿渡 卓也(NTT) / 木村 功作(富士通研) |
| 幹事氏名（英） | Kenji Saotome(Hosei Univ.) / Akihiro Hayashi(Shizuoka Inst. of Science and Tech.) / Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) |
| 幹事補佐氏名（和） | 能上 慎也(東京理科大) / 山田 耕嗣(阪産大) / 高橋 竜一(茨城大) / 田辺 良則(鶴見大) |
| 幹事補佐氏名（英） | Shinya Nogami(Tokyo Univ. of Science) / Koji Yamada(Osaka Sangyo Univ.) / Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Interprise Modeling / Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 確率的モデル検査器を用いたFRAM支援手法の試案 |
| サブタイトル（和） | |
| タイトル（英） | A Proposal of FRAM Support Method using Probabilistic Model Checker |
| サブタイトル（和） | |
| キーワード(1)（和/英） | FRAM / FRAM |
| キーワード(2)（和/英） | PRISM / PRISM |
| キーワード(3)（和/英） | モデル検査「 / Model Checking |
| 第 1 著者 氏名（和/英） | 青木 善貴 / Yoshitaka Aoki |
| 第 1 著者 所属（和/英） | 日本ユニシス株式会社(略称：NUL) Nihon Unisys, Ltd.(略称：NUL) |
| 第 2 著者 氏名（和/英） | 小形 真平 / Shinpei Ogata |
| 第 2 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ) |
| 発表年月日 | 2019-05-25 |
| 資料番号 | KBSE2019-8,SWIM2019-8 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | KBSE-56,SWIM-57 |
| ページ範囲 | pp.49-56(KBSE), pp.49-56(SWIM), |
| ページ数 | 8 |
| 発行日 | 2019-05-17 (KBSE, SWIM) |