キャッシュの効率利用による自己適応システムの動的モデル検査法改善

外山大夢; 中川博之; 小島英春; 土屋達弘

文献

J-GLOBAL ID：201702246385156833 整理番号：17A0517471

キャッシュの効率利用による自己適応システムの動的モデル検査法改善

Improvement of Efficient Runtime Model Checking for Self-adaptive Systems Using Cashe

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A0517471&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0517471&from=J-GLOBAL&jstjournalNo=S0532B") }}

著者 (4件)： , , ,
資料名：
巻： 116 号： 493(KBSE2016 39-51) ページ： 7-12 発行年： 2017年02月24日
JST資料番号： S0532B ISSN： 0913-5685 資料種別：会議録 (C)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

近年,システム自身の振る舞いを変化させる自己適応システムに注目が集まっているが,振る舞い変更時に変更後の振る舞いの正しさを検証する必要があり,その効率的な検証に関して様々な研究がなされている。その一つに,設計時に検証の大部分を計算し,実行時に簡単な計算のみを行なうFilieriら手法や,キャッシュを利用し,Filieriらの手法の適用範囲を拡大を試みた小川らの手法がある。本研究では,既存手法を改善し,実行時の計算時間を削減を試みた。実験の結果,本手法は,設計時段階の計算時間とキャッシュサイズが増加するものの,実行時の計算時間を削減できることが確認できた。またこの手法は振る舞い変更の種類に依存しにくく,システムの状態数が大きいほど有用であることも確認できた。(著者抄録)

, , , , , , ,
,

システム設計・解析 , 数値計算

引用文献 (9件)：

小川賢人,中川博之,土屋達弘:大きな振る舞いにも適応可能な自己適応システムの動的モデル検査法,情報処理学会研究報告,Vol.2016 SE 191 No.19,March.2016.
Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya: Caching Strategies for Run-time Probabilistic Model Check-ing, in Proc. of the 11th International Workshop on Mod-els@run.time (MRT 2016), pp.1-8 2016. Oct
A. Filieri, C. Ghezzi and G. Tamburrelli: Run-Time Ef-ficient Probabilistic Model Checking, in Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 115-124, New York, NY, USA (2014), ACM.
A. Filieri, C. Ghezzi and G. Tamburrelli: Supporting Self-Adaptation via Quantitative Verification and Sensitiv-ity Analysis at Run Time, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,VOL. 42, NO. 1, pp.75-99 JANUARY 2016.
I. Epifani, C. Ghezzi, R. Mirandola, and G.Tamburrelli, Model evolution by run-time parameter adaptation, in Proc. IEEE 31st Int. Conf. Softw. Eng., 2009, pp.111-121.

, , ,

前のページに戻る