文献

J-GLOBAL ID：202102252577512293   整理番号：21A0673658

行動トレースからの超特性のマイニング【JST・京大機械翻訳】

Mining Hyperproperties from Behavioral Traces

著者 (3件)： Rawat Mayank (Indian Institute of Technology,Kanpur) ,  Muduli Sujit Kumar (Indian Institute of Technology,Kanpur) ,  Subramanyan Pramod (Indian Institute of Technology,Kanpur)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： VLSI-SOC  ページ： 88-93  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハードウェアとソフトウェアシステムの多くの重要な仕様(例えば安全な情報フローと決定論)は,超特性としてのみ表現可能である。システムの有効な実行(akaトレース)のセットを指定する,よく研究されたトレース特性のクラスとは対照的に,ハイパープロパティは,システムのトレース間を保持しなければならない関係を指定できる。ハイパープロパティは,主にセキュリティ検証において,多くのアプリケーションを持つが,SoC検証のための超特性によって来るのは,挑戦的である。本論文では,SoC設計の実行トレースからハイパープロッパをマイニングするためのフレームワークを導入することによって,この課題に取り組むための研究を行った。著者らは,超特性マイナのための良好な入力トレースの生成を可能にするカバレージ誘導ファジィ化に基づく新しいアルゴリズムを導入した。また,超線形時間論理(HyperLTL)のための新しい楽観的および p観的意味論を提示し,有限トレース上のHyperLTL公式の原則評価を可能にした。最後に,著者らは,トレースのセットに関して,候補超特性の非自明な満足を評価するアルゴリズムを提案した。小型ではあるが現実的なSoC設計に関する実験は,フレームワークが有用な超特性を同定するのに有効であることを示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *アルゴリズム ,  意味論 ,  マイナ ,  応用プログラム ,  ハードウェア ,  セキュリティ
準シソーラス用語： システムオンチップ ,  情報フロー ,  決定論 ,  線形時間論理 ,  プロパティ ,  ソフトウェアシステム , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： 行動 ,  トレース