WEKO3
アイテム
モデル検査を用いたFRAMモデルの解析
https://ipsj.ixsq.nii.ac.jp/records/193865
https://ipsj.ixsq.nii.ac.jp/records/1938658ebd68c2-f3ca-45b9-9a6a-108a79d84047
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Symposium(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2019-01-17 | |||||||
タイトル | ||||||||
タイトル | モデル検査を用いたFRAMモデルの解析 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Analysis of FRAM Model using Model Checking | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 大規模・不確定システムの自動検証の新潮流 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
資源タイプ | conference paper | |||||||
著者所属 | ||||||||
日本ユニシス株式会社総合技術研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nihon Unisys ,Ltd. | ||||||||
著者名 |
青木, 善貴
× 青木, 善貴
|
|||||||
著者名(英) |
Yoshitaka, Aoki
× Yoshitaka, Aoki
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 本研究は,FRAM (Functional Resonance Analysis Method) モデルにおける機能共鳴の振る舞いを,確率を扱えるモデル検査ツール PRISM により数値化し,解析することにより,事故の要因分析を容易にすることを目的としている.FRAM モデルを PRISM モデルへ変換する手法,PRISM を使った機能共鳴の振る舞いを数値化する検証手法を示し,その提案手法を事例へ適用して有効性を確認する. | |||||||
書誌情報 |
ウィンターワークショップ2019・イン・福島飯坂 論文集 巻 2019, p. 11-12, 発行日 2019-01-17 |
|||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |