情報制御システムのモデル検査に対する分割アプローチと課題

• Item type: Symposium(1)
• 公開日: 2014-01-16
• タイトル: 情報制御システムのモデル検査に対する分割アプローチと課題
• タイトル / 言語: en
• タイトル: Partitioning Approach to Model Checking of Information Control System and its Problems
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 茨城工業高等専門学校
• 著者所属: 茨城大学
• 著者所属: 茨城大学
• 著者所属: 茨城大学
• 著者所属(英): en
• 著者所属(英): Ibaraki National College of Technology
• 著者所属(英): en
• 著者所属(英): Ibaraki University
• 著者所属(英): en
• 著者所属(英): Ibaraki University
• 著者所属(英): en
• 著者所属(英): Ibaraki University
• 著者名: 小飼, 敬; 宮島, 卓巳; 小山, 恭平; 上田, 賀一
• 著者名(英): Kei, Kogai; Takumi, Miyajima; Kyohei, Oyamay; Yoshikazu, Ueday
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: モデル検査の状態爆発の対策として，情報制御システムを相互関係があるサブシステムごとに分割して検証モデル化を行い，部分モデル間の相互関係に関する情報を検証モデルの外部で管理し，検証を行う方法とその課題について述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: As a countermeasure of state explosion of model checking, our approach makes models to interrelated each subsystem, and manages the correlations between the models outside of model checking. This study describes the problems of our approach.
• 書誌情報: ウィンターワークショップ2014・イン・大洗 論文集; 巻 2014, p. 45-46, 発行日 2014-01-16
• 出版者 / 言語: ja
• 出版者: 情報処理学会