arXiv論文メモ
新着一覧
cs.CR / cs.AI · 査読状況未確認

推論の振る舞いを監視する軽量FPGA回路TERMon

TERMon: Detecting Persistent Behavioral Threats in Edge AI via Hardware-Native Ternary Runtime Monitor

Arish Sateesan and Edlira Dushku

この論文をやさしく読む

ひとことで言うと

AIの出力がもっともらしく見えても、内部の推論の振る舞いが通常と違うかを小さな回路で監視する方法です。モデル全体をもう一度動かす必要はありません。

何に役立つ?

エッジAIで、重みの破損によって振る舞いが変わった兆候を検出する補助機構として使うことが考えられます。FPGA実装で必要資源と判定遅延を評価しています。

この研究の面白いところ

三値のパターン照合に置き換えても、元の量子化していない範囲判定を正確に再現します。ブロックRAMやDSPを使わない回路構成も特徴です。

どこまで分かった?

偽陽性を厳しく抑える設定では、分布外入力や敵対的入力は監視特徴から大部分で区別できません。2サイクルは監視器の判定遅延であり、AI全体の推論時間ではありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

エッジAIアクセラレーターは、安全性が重要な環境への導入が増えており、モデルの出力が物理的なアクチュエーターを制御したり、アクセス制御を判断したり、警報を発したりする場合がある。こうした環境では、モデルの破損、分布の変化、敵対的入力があっても、形式の整った確信度の高い予測が生成されうるため、実行時の不具合が見逃されることが多い。 本論文は、モデルを再実行したり形式検証したりする代わりに、推論の振る舞いを観察して異常を検出する、軽量なハードウェア実行時監視器TERMonを提案する。TERMonはクラス条件付きの信頼できる振る舞いを、ハードウェア上で効率的な三値パターンとして表現し、サーモメーター符号化されたフィンガープリントと並列照合する。この三値符号化は、対応する非量子化の範囲判定を厳密に再現する。 TERMonは有害な重み破損を、その振る舞いへの影響に応じて検出する。一方、偽陽性を厳しく抑える動作点では、監視する特徴量によって分布外入力と敵対的入力を区別することは大部分でできない。TERMonをPYNQ-Z2 FPGA上に実装した。パイプライン化された設計はチップ内ブロックRAMもDSPも必要とせず、判定遅延は2サイクルである。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-18(UTC)
最新改訂
2026-09-18 · v1
査読・掲載
査読状況未確認
arXivで読むPDFDOI

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Edge AI accelerators are increasingly deployed in safety-critical environments, where model outputs may control physical actuators, make access-control decisions, or trigger alarms. In these settings, runtime failures often remain undetected because model corruption, distribution shift, and adversarial inputs can still produce well-formed, confident predictions. This paper presents TERMon, a lightweight hardware runtime monitor that detects such anomalies by observing inference behavior rather than re-executing or formally verifying the model. TERMon represents class-conditional trusted behavior as hardware-efficient ternary patterns that are matched in parallel against a thermometer-encoded fingerprint. The ternary encoding reproduces the corresponding unquantized range decision exactly. TERMon detects harmful weight corruptions in proportion to their behavioral impact, while out-of-distribution and adversarial inputs are largely not separable using the monitored features at a strict false-positive operating point. We implemented TERMon on a PYNQ-Z2 FPGA, and the pipelined design requires no on-chip block RAM or DSPs and has a two-cycle decision latency.

arXiv ID: 2609.21713 / 要約の誤りについて