| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2009-03-02 17:00 ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大）  SS2008-53 |
|
| 抄録 | （和） | 実時間システムの検証技術の一分野である時間オートマトンのモデル検査技術について，到達可能性解析に焦点を絞り概説する．まず，時間オートマトンの構文と意味の定義を述べ，時間オートマトンの到達可能性解析技術について，特にそのキーアイデアであるクロックリージョンおよびクロックゾーンの概念に重点をおいて解説する．最後に，時間オートマトンのモデル検査技術に関する近年の研究動向について簡単に紹介する． |
| （英） | In this paper, we briefly describe model checking of timed automata, one of the verification techniques of real-time systems, where we especially focus on reachability analysis. Firstly, we describe the definition of syntax and semantics of timed automata. Secondly, we describe the reachablity analysis technique of timed automata, where we especially emphasize the key idea of the technique, clock regions and clock zones. Finally, we briefly survey a part of recent advances in model checking of timed automata. | |
| キーワード | （和） | 実時間システム / 検証技術 / 時間オートマトン / モデル検査 / 到達可能性解析 / / / |
| （英） | real-time systems / verification techniques / timed automata / model checking / reachability analysis / / / | |
| 文献情報 | 信学技報, vol. 108, no. 444, SS2008-53, pp. 29-34, 2009年3月. | |
| 資料番号 | SS2008-53 | |
| 発行日 | 2009-02-23 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2008-53 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2009-03-02 - 2009-03-03 |
| 開催地（和） | 佐賀大学本庄キャンパス |
| 開催地（英） | Saga University |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2009-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 時間オートマトンのモデル検査 |
| サブタイトル（和） | |
| タイトル（英） | Model Checking of Timed Automata |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 実時間システム / real-time systems |
| キーワード(2)（和/英） | 検証技術 / verification techniques |
| キーワード(3)（和/英） | 時間オートマトン / timed automata |
| キーワード(4)（和/英） | モデル検査 / model checking |
| キーワード(5)（和/英） | 到達可能性解析 / reachability analysis |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 中田 明夫 / Akio Nakata / ナカタ アキオ |
| 第1著者 所属（和/英） | 広島市立大学 (略称： 広島市大) Hiroshima City University (略称： Hiroshima City Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2009-03-02 17:00:00 |
| 発表時間 | 60分 |
| 申込先研究会 | SS |
| 資料番号 | SS2008-53 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | no.444 |
| ページ範囲 | pp.29-34 |
| ページ数 | 6 |
| 発行日 | 2009-02-23 (SS) |
[研究会発表申込システムのトップページに戻る]