Art

J-GLOBAL ID：201702246385156833   Reference number：17A0517471

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

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

Author (4)： TOYAMA HIROMU (大阪大 基礎工) ,  NAKAGAWA HIROYUKI (大阪大 大学院情報科学研究科) ,  KOJIMA HIDEHARU (大阪大 大学院情報科学研究科) ,  TSUCHIYA TATSUHIRO (大阪大 大学院情報科学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 116  Issue： 493(KBSE2016 39-51)  Page： 7-12  Publication year： Feb. 24, 2017 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *adaptive system ,  *dynamic model ,  Markov chain ,  *discrete time system ,  Laplace equation ,  cache memory ,  *LU decomposition ,  determinant
Semi thesaurus term： *自己適応システム ,  *markov chain model

JST classification (2)： System design and analysis  (IA02030D) ,  Numerical computation  (JE02000J)

Reference (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 [e-mail] (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.

Terms in the title (4)： キャッシュ ,  自己適応 ,  動的モデル ,  検査