文献

J-GLOBAL ID：201602272934834280   整理番号：16A0456203

大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法

著者 (3件)： 小川賢人 (大阪大 大学院情報科学研究科) ,  中川博之 (大阪大 大学院情報科学研究科) ,  土屋達弘 (大阪大 大学院情報科学研究科)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2016  号： SE-191  ページ： VOL.2016-SE-191,NO.19 (WEB ONLY)  発行年： 2016年03月07日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェアシステムをとりまく環境が変化すると,システムが最良のパフォーマンスを発揮できない場合や,正しく動作ができない場合がある。そこで,近年,システムが環境に合わせて振る舞いを変化させる自己適応システムに注目が集まっている。自己適応システムにおいては,振る舞い変更時に変更後の振る舞いの正しさを検証する必要があり,その効率的な検証に関して様々な研究がなされている。その一つに,設計時に不明な情報を変数化して検証式を生成し,実行時に監視結果より得られた値を変数に代入することで,簡単な計算だけで動的検証を実現するFilieriらの手法がある。しかし,Filieriらの手法ではモデル自体が変わるような大きな振る舞い変更に対しては事前に生成した式を適用することができず,実行時に時間のかかる式生成が必要になる。本研究では,この課題に対し,事前計算で発生する中間生成式を保存し,実行時に再利用する手法を提案する。実験的評価により,本手法を用いることで,従来手法より高速に動的検証が可能であることが確認できた。(著者抄録)

シソーラス用語： ソフトウェア工学 ,  *適応 ,  変化 ,  ダイナミックモデル ,  *モデル検査
準シソーラス用語： *自己適応 ,  *環境変化 ,  *ソフトウェアシステム

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (8件)：

• Baier, C. and Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series), The MIT Press (2008).
• Cortellessa, V. and Grassi, V.: A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-based Systems, Proceedings of the 10th International Conference on Component-based Software Engineering, CBSE’07, Springer-Verlag, pp. 140-156 (online), available from (http://dl.acm.org/citation.cfm?id=1770657.1770670)(2007).
• Courcoubetis, C. and Yannakakis, M.: The Complexity of Probabilistic Verification, J. ACM, Vol. 42, No. 4, pp. 857-907 (online), DOI: 10.1145/210332.210339 (1995).
• Filieri, A., Ghezzi, C. and Tamburrelli, G.: Run-time Efficient Probabilistic Model Checking, Proceedings of the 33rd International Conference on Software Engineering, ICSE ’11, New York, NY, USA, ACM, pp. 341-350 (online), DOI: 10.1145/1985793.1985840 (2011).
• Go?eva-Popstojanova, K. and Trivedi, K. S.: Architecture-based Approach to Reliability Assessment of Software Systems, Perform. Eval., Vol. 45, No. 2-3, pp. 179-204 (online), DOI: 10.1016/S0166-5316(01)00034-7 (2001).

タイトルに関連する用語 (3件)： 自己適応 ,  動的モデル ,  検査