文献

J-GLOBAL ID：202002247901454543   整理番号：20A0777629

順序外ストリーム上の実行検証【JST・京大機械翻訳】

Runtime Verification over Out-of-order Streams

著者 (3件)： Basin David (ETH Zuerich, Switzerland) ,  Klaedtke Felix (NEC Laboratories Europe GmbH, Heidelberg, Germany) ,  Zalinescu Eugen (Technische Universitaet Muenchen, Garching, Germany)
資料名： ACM Transactions on Computational Logic  (ACM Transactions on Computational Logic)
巻： 21  号： 1  ページ： 1-43  発行年： 2019年 
JST資料番号： A1264A  ISSN： 1529-3785  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 実行時のシステムを検証するためのアプローチを示した。著者らのアプローチは,構成要素が信頼できないチャネル上で監視装置と通信する分散システムをターゲットとし,そこではメッセージを遅延,再順序付け,または失うことができる。さらに,著者らのアプローチは,データ値に関する推論のために,凍結量子化器を用いてリアルタイム論理MTLを拡張する表現仕様言語を扱う。論理の主要な新規性は,システムの挙動についての部分的知識を説明するので,実行時間検証に適した新しい三値意味論である。この意味論に基づいて,著者らは,イベントが次数から発生することができる流れについて,健全で完全に理由のあるオンラインアルゴリズムを提示した。また,このアルゴリズムを実験的に評価した。仕様に依存して,著者らのプロトタイプの実装は,2秒当たり数百から数千のイベントをもつアウトオーダストリームにスケールする。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 監視装置 ,  プロトタイプ ,  時間論理 ,  量子化器 ,  凍結 ,  チャネル ,  意味論 ,  *アルゴリズム ,  仕様記述言語
準シソーラス用語： オンラインアルゴリズム ,  実行時間 ,  実時間 ,  分散システム , 【Automatic Indexing@JST】

著者キーワード (5件)： kleene論理 ,  検証 ,  分散システム ,  ストリーム処理 ,  時間論理

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

タイトルに関連する用語 (3件)： 順序 ,  ストリーム ,  検証