文献

J-GLOBAL ID：202002224242756249   整理番号：20A0810946

緩和抽象変圧器によるループの階層的解析【JST・京大機械翻訳】

Hierarchical Analysis of Loops With Relaxed Abstract Transformers

著者 (4件)： Yin Banghu (School of Computer Science, National University of Defense Technology, Changsha, China) ,  Chen Liqian (School of Computer Science, National University of Defense Technology, Changsha, China) ,  Liu Jiangchao (School of Computer Science, National University of Defense Technology, Changsha, China) ,  Wang Ji (State Key Laboratory of High Performance Computing, National University of Defense Technology, Changsha, China)
資料名： IEEE Transactions on Reliability  (IEEE Transactions on Reliability)
巻： 69  号： 1  ページ： 203-215  発行年： 2020年 
JST資料番号： C0448A  ISSN： 0018-9529  CODEN： IERQAD  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 数値計算は,埋め込まれた制御システム,サイバー物理システム,人工ニューラルネットワークシステム,大規模データ処理システムなどのソフトウェアにしばしば含まれ,数値ループ不変量を自動的に発見することは,そのようなソフトウェアの安全性をチェックするための基本である。抽象的解釈により,音響不変量を自動的に発見するための枠組みを提供するが,過剰近似により十分正確ではない可能性がある。精度損失の一つの主要な原因は,最も広く使われている数値抽象領域と拡大操作の限られた線形表現性のためである。これは,すべての変数を,非線形挙動を含むプログラムに対して全体として同時に解析するとき,より重大になる。本論文では,ループ内の変数間の依存性が階層的であるという観察に基づいて,緩和抽象変圧器を利用することによりループを解析する階層的静的解析を提案した。主なアイデアは,最初にループに含まれるすべての変数を異なる階層的層に分割し,次にボトムアップ法で層により変数層上の不変量を計算することである。反復プロセスの間,より高い層変数を分析するとき,より低い層変数に関する計算不変量は,伝達関数を緩和するために使用した。この方法の一つの利点は,ループ内の非線形挙動を健全に囲むために線形不変量を生成できることにある。最後に,非線形挙動を含むベンチマークプログラムに関する有望な実験結果を示した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *変圧器 ,  近似法 ,  制御系 ,  データ処理システム ,  ベンチマーク ,  ソフトウェア ,  数値計算 ,  音響 ,  線形性 ,  伝達関数 ,  ニューラルネットワーク ,  *緩和現象 ,  不変量
準シソーラス用語： ボトムアップ ,  静的解析 , 【Automatic Indexing@JST】

分類 (2件)： システム設計・解析  (IA02030D) ,  電力変換器  (NB08030B)

タイトルに関連する用語 (5件)： 緩和 ,  抽象 ,  変圧器 ,  ループ ,  解析