| 講演名 | 2010/5/20 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション) 畠中 克也, 鎌澤 浩司, 山根 智, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 近年,無線センサネットワークがさまざまな分野において注目を集めている.また,組込みシステムの高機能化に伴い,それらのシステムに対する検証手法の需要が高まっている.本研究では,空間の概念を持つコスト付き確率時間オートマトン(SP^2TA)を用いて,無線センサネットワークをモデル化し,SP^2TAにおける到達可能性解析手法を開発する. |
| 抄録(英) | Recently, wireless sensor networks attracts attention in various fields. Moreover, with the making of the embedded system high performance, the demand for the verification method for those systems has risen. Then, we model the wireless sensor network with priced probabilistic timed automaton with spaces (SP^2TA), and develop the reachability analysis technique in SP^2TA. |
| キーワード(和) | 無線センサネットワーク / 空間の概念を持つコスト付き確率時間オートマトン / トポロジー制御 |
| キーワード(英) | Wireless Sensor Networks / Priced Probabilistic Timed Automaton with Spaces / Topology Control |
| 資料番号 | KBSE2010-13,SS2010-13 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2010/5/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション) |
| サブタイトル（和） | |
| タイトル（英） | Symbolic Verification Method of Priced Probabilistic Timed Automaton with Spaces |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 無線センサネットワーク / Wireless Sensor Networks |
| キーワード(2)（和/英） | 空間の概念を持つコスト付き確率時間オートマトン / Priced Probabilistic Timed Automaton with Spaces |
| キーワード(3)（和/英） | トポロジー制御 / Topology Control |
| 第 1 著者 氏名（和/英） | 畠中 克也 / Katsuya HATANAKA |
| 第 1 著者 所属（和/英） | 金沢大学大学院自然科学研究科 Kanazawa University Graduate School of Natural Science & Technology |
| 第 2 著者 氏名（和/英） | 鎌澤 浩司 / Hiroshi KAMAZAWA |
| 第 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-13,SS2010-13 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 61 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |