文献

J-GLOBAL ID：201502291263180414   整理番号：15A0585792

自己適応システムにおける動的検証法の適用範囲向上に向けて

Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems

著者 (3件)： 小川賢人 (大阪大 大学院情報科学研究科) ,  中川博之 (大阪大 大学院情報科学研究科) ,  土屋達弘 (大阪大 大学院情報科学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 114  号： 501(KBSE2014 52-64)  ページ： 65-70  発行年： 2015年02月26日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： システム自身がその環境に対し適応する自己適応システムの実現が期待されている。自己適応システムは実行時に自身の振る舞いを変更するが,その正しさを保証するために動的な検証が必要となる。この検証には,離散時間マルコフ連鎖モデルを用いた効率化手法が知られているが,振る舞い変更の前後での状態の追加を扱えないなど制約も少なくない。本研究では,新しい状態・状態遷移の追加を伴う振る舞い変化に対しても効率的なモデル検査の手法を検討し,その実現可能性を考察する。(著者抄録)

シソーラス用語： *モデル検査 ,  モデル ,  離散時間系 ,  Markov連鎖 ,  *適応系 ,  *適応 ,  範囲 ,  移動 ,  実現可能性 ,  挙動 ,  論理 ,  *自己適応システム
準シソーラス用語： Markov連鎖モデル ,  確率論理 ,  *自己適応 ,  状態遷移 ,  振舞い ,  *適応システム ,  適用範囲

分類 (2件)： 計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z)

引用文献 (13件)：

• B. Morin, O. Barasis, J. Jézéquel, F. Fle urey, and A. Solberg, "[e-mail] to support dynamic adaptation," Issue, vol.42, no.10, pp.44-51, Oct, 2009
• G. Blair, N. Bencomo, and R. France, "[e-mail]", Issue, vol.42, no.10, pp.22-27, Oct, 2009
• A. Filieri, C. Ghezzi, and G. Tamburrelli, "Run-time efficient probabilistic model checking," Proc. ICSE'11, pp. 341-350, ACM, Waikiki, Honolul, HI, USA, May, 2011
• R. C. Cheung. "A user-oriented software reliability model." IEEE Trans. Softw. Eng., 6(2):118-125, 1980.
• K. Goseva-Popstojanova and K. S. Trivedi. "Architecture-based approach to reliability assessment of software systems." Performance Evaluation, 45(2-3):179-204, 2001.

タイトルに関連する用語 (3件)： 自己適応システム ,  検証 ,  適用範囲