文献
J-GLOBAL ID:201502291263180414   整理番号:15A0585792

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

Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems
著者 (3件):
資料名:
巻: 114  号: 501(KBSE2014 52-64)  ページ: 65-70  発行年: 2015年02月26日 
JST資料番号: S0532B  ISSN: 0913-5685  資料種別: 会議録 (C)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
システム自身がその環境に対し適応する自己適応システムの実現が期待されている。自己適応システムは実行時に自身の振る舞いを変更するが,その正しさを保証するために動的な検証が必要となる。この検証には,離散時間マルコフ連鎖モデルを用いた効率化手法が知られているが,振る舞い変更の前後での状態の追加を扱えないなど制約も少なくない。本研究では,新しい状態・状態遷移の追加を伴う振る舞い変化に対しても効率的なモデル検査の手法を検討し,その実現可能性を考察する。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (2件):
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発  ,  人工知能 
引用文献 (13件):
もっと見る
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る