文献

J-GLOBAL ID：201702231455819553   整理番号：17A1259983

自己適応システムの実行時モニタリングと検証のためのLotus@Runtime:ツール【Powered by NICT】

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems

著者 (4件)： Barbosa Davi Monteiro ,  Lima Romulo Gadelha De Moura ,  Maia Paulo Henrique Mendes ,  Costa Evilasio
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： SEAMS  ページ： 24-30  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,自己適応システムのモニタリングおよび検証にmodels@runtimeを用いた拡張可能なツールをLotus@Runtime,を提示した。ツールは,自己適応型システムにより生成された実行トレースをモニターし,システムモデル,ラベル付き遷移システム(LTS)として工具の設計時に生成するへのそれぞれの遷移に及ぼす各系作用の発生確率に注釈を付ける。,到達可能性性質の集合の実行時間チェックを更新確率モデルに対して行った。特性が破れると,自己適応型システムはLotus@Runtimeによって提供された告知機構により知らされることができる。提案したツールの適用性を文献から採取し,適合させた二種のサービスベース自己適応システムにより実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *適応系 ,  システムモデル ,  確率モデル ,  遷移システム ,  *ミヤコグサ属 ,  適応性
準シソーラス用語： 実行時間 ,  発生確率 ,  *自己適応 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (4件)： 自己適応 ,  モニタリング ,  検証 ,  ツール