WEKO3
アイテム
ハイブリッドシステムのモジュールの仕様記述と検証の手法
http://hdl.handle.net/2297/23626
http://hdl.handle.net/2297/2362603288727-d960-4d0e-a53e-9377a317b42c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-897.pdf (1.3 MB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | ハイブリッドシステムのモジュールの仕様記述と検証の手法 | |||||
| タイトル | ||||||
| タイトル | Modular Specification and Verification Method for Hybrid Systems | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
山根, 智
× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
Transactions of Information Processing Society of Japan = 情報処理学会論文誌 巻 44, 号 3, p. 897-914, 発行日 2003-03-15 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 出版者 | ||||||
| 出版者 | Information Processing Society of Japan (IPSJ) = 情報処理学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | ハイブリッドシステムはアナログ環境に組み込まれたデジタルな実時間システムであり,信頼性保証が重要である.信頼性保証を効率的に実現するために,以下のように,我々はハイブリッドシステムのモジュール単位の仕様記述と検証の手法を提案する:(1)ハイブリッドシステムのモジュール単位の仕様を表現するために,フェーズ遷移モジュールを開発する.(2)モジュール単位の計算の実現性を保証するために,フェーズ遷移モジュールのreceptivenessの検証手法を開発する.(3)安全性や活性といった検証性質に直接関係するモジュール部分のみを検証対象とするために,フェーズ遷移モジュールの検証ルールを開発する. Hybrid systems are digital real-time systems that are embedded in analog environments. It is important to guarantee their qualities. In order to gurantee them, we propose modular specifcation and verification method for hybrid systems as follows : (1) In order to represent a modular specification of hybrid systems, we develop phase transition modules. (2) In order to guarantee feasibilities of modular computations, we propose verification methods of receptiveness. (3) In order to deductively verify safety and liveness properties of only the part related to the properties, we develope verification rules of phase transition modules. | |||||
| 権利 | ||||||
| 権利情報 | 本文データは情報処理学会の許諾に基づき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/110002765070/en/ | |||||
