並列動作する確率時間システムに対する拡張CEGAR

• Item type: SIG Technical Reports(1)
• 公開日: 2008-11-20
• タイトル: 並列動作する確率時間システムに対する拡張CEGAR
• タイトル / 言語: en
• タイトル: Extended CEGAR for Parallel Probabilistic Timed Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 金沢大学大学院自然科学研究科
• 著者所属: 金沢大学大学院自然科学研究科
• 著者所属: 金沢大学大学院自然科学研究科
• 著者所属(英): en
• 著者所属(英): Kanazawa University
• 著者所属(英): en
• 著者所属(英): Kanazawa University
• 著者所属(英): en
• 著者所属(英): Kanazawa University
• 著者名: 安井, 雅俊; 山根, 智; 山崎, 真一
• 著者名(英): Masatoshi, Yasui; Satoshi, Yamane; Shinichi, Yamazaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，無線センサネットワークがさまざまな分野において注目を集めているが，その検証法については幾つかの問題が存在し確立されていない．そこで，本論文では，無線センサネットワークを例に取った，並列動作を行う確率時間システムの特性を検証するための手法として，拡張 CEGAR を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Though wireless sensor networks attract attention in various fields in recent years,the verification method have not been established because there are some problems. Then, in this paper, we propose extended CEGAR to verify probabilistic real-time properties of parallel behaviers of wireless sensor networks.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 情報処理学会研究報告組込みシステム（EMB）; 巻 2008, 号 116(2008-EMB-010), p. 83-90, 発行日 2008-11-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会