| 講演名 | 2010/5/20 動的リアルタイムCEGAR(一般セッション) 酒井 誠, 田中 祐史, 山根 智, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究では,動的に構成が変化するリアルタイムシステムに対して有効なモデル検査手法の提案を行う.提案手法では,到達可能性解析において現在動作しているオートマトンのみを並列合成し,探索することで探索空間の削減を行う. |
| 抄録(英) | In the present study, it proposes an effective model checking technique to the real time system into which the composition dynamically changes. In the proposal technique, the search space is reduced by synthesizing in parallel, and searching only for the automaton that is working in the reachability analysis now. |
| キーワード(和) | モデル検査 / CEGAR / 動的CEGAR |
| キーワード(英) | Model Checking / CEGAR / Dynamic CEGAR |
| 資料番号 | KBSE2010-12,SS2010-12 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2010/5/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 動的リアルタイムCEGAR(一般セッション) |
| サブタイトル（和） | |
| タイトル（英） | Dynamic Real Time CEGAR |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデル検査 / Model Checking |
| キーワード(2)（和/英） | CEGAR / CEGAR |
| キーワード(3)（和/英） | 動的CEGAR / Dynamic CEGAR |
| 第 1 著者 氏名（和/英） | 酒井 誠 / Makoto SAKAI |
| 第 1 著者 所属（和/英） | 金沢大学大学院 自然科学研究科 Kanazawa University Graduate School of Natural Science & Technology |
| 第 2 著者 氏名（和/英） | 田中 祐史 / Yuji TANAKA |
| 第 2 著者 所属（和/英） | 金沢大学大学院 自然科学研究科 Kanazawa University Graduate School of Natural Science & Technology |
| 第 3 著者 氏名（和/英） | 山根 智 / Satoshi YAMANE |
| 第 3 著者 所属（和/英） | 金沢大学大学院 自然科学研究科 Kanazawa University Graduate School of Natural Science & Technology |
| 発表年月日 | 2010/5/20 |
| 資料番号 | KBSE2010-12,SS2010-12 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 61 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |