Item type |
Trans(1) |
公開日 |
2017-01-06 |
タイトル |
|
|
タイトル |
動的線形ハイブリッドオートマタ:動的再構成可能システムの仕様記述・検証 |
タイトル |
|
|
言語 |
en |
|
タイトル |
Dynamic Linear Hybrid Automata: Specification and Verification of Dynamically Reconfigurable Systems |
言語 |
|
|
言語 |
jpn |
キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[発表概要] |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
著者所属 |
|
|
|
金沢大学大学院自然科学研究科 |
著者所属 |
|
|
|
金沢大学大学院自然科学研究科 |
著者所属 |
|
|
|
金沢大学大学院自然科学研究科 |
著者所属 |
|
|
|
金沢大学理工研究域 |
著者所属(英) |
|
|
|
en |
|
|
Graduate School of Natural Science and Technology, Kanazawa University |
著者所属(英) |
|
|
|
en |
|
|
Graduate School of Natural Science and Technology, Kanazawa University |
著者所属(英) |
|
|
|
en |
|
|
Graduate School of Natural Science and Technology, Kanazawa University |
著者所属(英) |
|
|
|
en |
|
|
Institute of Science and Engineering, Kanazawa University |
著者名 |
柳瀬, 龍
酒井, 辰典
酒井, 誠
山根, 智
|
著者名(英) |
Ryo, Yanase
Tatsunori, Sakai
Makoto, Sakai
Satoshi, Yamane
|
論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
システムが動作中に自身の構成を変更するようなシステム(以下,動的再構成可能システム)は,様々な製品などに見受けられる.特に,医療や航空・宇宙関係などの人命が関わる分野においては,システムの安全性を保証することが非常に重要であり,そのための有効な手法としてモデル検査があげられる.本発表では,動的再構成可能システムの仕様記述言語として,動的線形ハイブリッドオートマトン(Dynamic Linear Hybrid Automaton; DLHA)を提案し,これにより仕様記述されたシステムに対する到達可能性解析の手法について述べる. |
論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
A dynamically reconfigurable system can dynamically change its configuration during operation, and such systems are active in many fields. In particular, medical technology and aerospace engineering must ensure high system safety because any defect will have serious consequences. Model checking is one of the effective methods for verifying system safety. In this presentation, we propose Dynamic Linear Hybrid Automaton (DLHA) as a specification language and show a method to analyze reachability for a system consisting of several DLHAs. |
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464814 |
書誌情報 |
情報処理学会論文誌プログラミング(PRO)
巻 10,
号 1,
p. 33-33,
発行日 2017-01-06
|
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7802 |
出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |