WEKO3
インデックスリンク
アイテム
Development of model checker of dynamic linear hybrid automata
http://hdl.handle.net/2297/36977
http://hdl.handle.net/2297/369771a7b4df5-c802-45e8-bf6f-1499b12c67d0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YANASE-R-607.pdf (140.9 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | Development of model checker of dynamic linear hybrid automata | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
Yanase, Ryo
× Yanase, Ryo× Sakai, Tatsunori× Sakai, Makoto× Yamane, Satoshi |
|||||
| 書誌情報 |
Proceedings - International Computer Software and Applications Conference 号 6649888, p. 607-608, 発行日 2013-05-24 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0730-3157 | |||||
| DOI | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | 10.1109/COMPSAC.2013.98 | |||||
| 出版者 | ||||||
| 出版者 | IEEE | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Dynamically reconfigurable systems have attracted public attention from the point of view of miniaturization and saving power consumption for embedded systems in recent years. In this study, we propose dynamic linear hybrid automata as specification language of dynamically reconfigurable systems and the verification technique of reachability analysis. A dynamic linear hybrid automaton(DLHA) is a linear hybrid automaton extended with actions of creation and destruction. This paper presents the model checker and applies it to the model of an embedded system consisting CPU and DRP. © 2013 IEEE. | |||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
