WEKO3
インデックスリンク
アイテム
ハイブリッドモジュールの詳細化自動検証手法
http://hdl.handle.net/2297/23622
http://hdl.handle.net/2297/23622b80ed688-c80c-444a-b366-a3790a440248
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-92.pdf (41.0 kB)
|
|
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | ハイブリッドモジュールの詳細化自動検証手法 | |||||
| タイトル | ||||||
| タイトル | Proposal of Automatic Verification Methods of Refinement for Hybrid Modules | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者 |
館, 宜伸
× 館, 宜伸× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
Transactions of Information Processing Society of Japan = 情報処理学会論文誌 巻 43, 号 3, p. 92, 発行日 2002-03-15 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 出版者 | ||||||
| 出版者 | Information Processing Society of Japan (IPSJ) = 情報処理学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 本発表では,ハイブリッドシステムの仕様の一般的なモデルである,Alurらのハイブリッドモジュール上において,詳細化自動検証手法を提案する.ハイブリッドモジュールは,時間モジュールの拡張であり,温度や圧力といったより一般的な連続変数を扱うことが可能なモジュールである.なお,提案する詳細化検証手法では,状態空間の組合せ爆発を抑制するために,Assume-Guarantee形式による検証を実現する.この実現のためにハイブリッドモジュールのreceptivenessの自動検証を行う.さらに,事例を用いて,本提案手法の有効性を示す. In this presentation, we propose automatic verification methods of refinement based on Alur's Hybrid Modules. We can specify general continuous variables such as temperature or pressure using hybrid modules. Especially, in order to avoid state explosion problems, our proposed method is realized by Assume-Guarantee Style. In order to realize it, we propose automatic verification of receptiveness on hybrid modules. Finally, we show our proposed method effective by some example. | |||||
| 権利 | ||||||
| 権利情報 | 本文データは情報処理学会の許諾に基づきCiNiiから複製したものである | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.ipsj.or.jp/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110002726335/en/ | |||||
