文献

J-GLOBAL ID：201602297003633987   整理番号：16A0584628

ランタイムでの定量的検証と感度解析による自己適応支援【Powered by NICT】

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time

著者 (3件)： Filieri Antonio (Reliable Software Syst. Group, Univ. of Stuttgart, Stuttgart, Germany) ,  Tamburrelli Giordano (Vrije Univ. of Amsterdam, Amsterdam, Netherlands) ,  Ghezzi Carlo (Dipt. di Elettron., Inf. e Bioingegneria, Politec. di Milano, Milan, Italy)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 42  号： 1  ページ： 75-99  発行年： 2016年 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 現代ソフトウェア集約システムはしばしばその挙動は時間と共に変化する環境と相互作用し,しばしば予測。変化の発生は,望まれる要求を満たす能力を危険にさらす可能性がある。は,限られた,あるいは無しで,人間の介入による変化の発生に自己適応できる方法でソフトウェアを設計することが望ましい。自己適応は実行時間,変化について永久自動推論を支援するためのソフトウェアモデルとモデル検査により達成することができる。変化が検出され,システム自身は,要求違反が発生する可能性があるかどうかを予測し,適切な対応を可能にする。しかし,既存の主流モデルチェックテクニックとツールは実行時使用に対して考えなかった;従ってそれらは実行時間とメモリ使用量の面でのオンザフライ解析により課せられた制約を満たすなかった。本論文では,この問題を扱い,非機能的要求の永続的満足度,信頼性やエネルギー消費などに焦点を当てた。その主な貢献は,実行時間効率的な確率的モデル検査のための数学的フレームワークの記述である。我々のアプローチは,変化が起こるとすぐに実行時に効率的に評価できることを検証条件の集合を生成する静的。提案した方法は,感度解析,変化の影響に関する推論を可能にするを支持し,効果的な適応戦略を駆動することができる。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 記憶装置 ,  確率モデル ,  ソフトウェア ,  信頼性 ,  集中化 ,  モデル検査 ,  *感度解析 ,  エネルギー消費 ,  相互作用
準シソーラス用語： Markovモデル ,  実行時間 ,  *自己適応 , 【Automatic Indexing@JST】

著者キーワード (9件)： 実行時でのモデル ,  自己適応システム ,  ソフトウェア進化 ,  非機能的要求 ,  離散時間Markovモデル ,  報酬 ,  ソフトウェア信頼性 ,  コスト ,  確率的モデル検査

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

タイトルに関連する用語 (6件)： タイム ,  定量 ,  検証 ,  感度解析 ,  自己適応 ,  支援