文献

J-GLOBAL ID：201902232713190149   整理番号：19A1252183

環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム

Identifying Guaranteeable Safety Property in Changed Environment by Game Analysis

著者 (5件)： 相澤和也 (早稲田大) ,  鄭顕志 (早稲田大) ,  鄭顕志 (国立情報学研) ,  本位田真一 (早稲田大) ,  本位田真一 (国立情報学研)
資料名： 情報処理学会論文誌ジャーナル(Web)
巻： 60  号： 4  ページ： 1025-1039 (WEB ONLY)  発行年： 2019年04月15日 
JST資料番号： U0452A  ISSN： 1882-7764  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェアシステムの安全性は,通常,開発時に想定した実行環境の前提下において保証される.この前提が実行時の環境変化等によって崩れると,システムの安全性は保証されない.実行時に起こる環境変化に対して可能な限りの安全性を維持・保証するためには,変化した環境下でどのような安全性が保証可能かを実行時に分析する必要がある.実行時の情報を用いた分析手法は環境情報の分析にかかる計算時間オーバヘッドが課題となる.本論文では,(1)環境変化の差分情報から効率的に安全性保証の判定を行うアルゴリズムを提案し,(2)アルゴリズムの効率性に関する評価と(3)安全性保証に関する証明を行う.このアルゴリズムは安全性を構成する要素ごとの保証可否と,環境変化によって生じる差分の2つの観点に基づいて分析している.これら2つの観点を組み合わせることによって既存技術を用いた分析と比べて計算時間を最大0.2%程度にまで削減できることが実験結果によって確認できた.(著者抄録)

シソーラス用語： *ゲーム ,  *計算機アルゴリズム ,  *変化 ,  安全性 ,  保証 ,  システム ,  情報 ,  適応 ,  制御装置
準シソーラス用語： ソフトウェアシステム ,  *解析アルゴリズム ,  環境情報 ,  *環境変化 ,  自己適応 ,  制御器

分類 (2件)： ゲーム理論  (KA03060T) ,  数値計算  (JE02000J)

引用文献 (24件)：

• D’Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D. and Uchitel, S.: Hope for the best, prepare for the worst: Multi-tier control for adaptive systems, Proc. 36th International Conference on Software Engineering, ICSE 2014, pp.688-699, ACM (2014).
• Ghezzi, C., Pinto, L.S., Spoletini, P. and Tamburrelli, G.: Managing non-functional uncertainty via model-driven adaptivity, 2013 35th International Conference on Software Engineering (ICSE), pp.33-42 (May 2013).
• Salehie, M. and Tahvildari, L.: Self-adaptive software: Landscape and research challenges, TAAS, Vol.4, pp.14:1-14:42 (2009).
• Cailliau, A. and van Lamsweerde, A.: Runtime monitoring and resolution of probabilistic obstacles to system goals, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.1-11 (May 2017).
• Fredericks, E.M. and Cheng, B.H.C.: Automated generation of adaptive test plans for self-adaptive systems, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.157-167 (May 2015).

タイトルに関連する用語 (5件)： 環境変化 ,  保証 ,  安全性 ,  ゲーム分析 ,  アルゴリズム