ランタイムモニターruntime monitor

ランタイムモニターは、プログラムの実行中に起きる事象を観察し、あらかじめ記述した性質と照らし合わせるソフトウェアの構成要素で、ランタイム検証の中心的な手段である。実行前にコード全体を解析する静的検証とは異なり、実際の実行を対象とする。

違反を検出したときに記録や警告にとどまらず、システムを安全な状態に戻したり代替手順を起動したりするよう設計できる。AI分野では、内部の検証が難しいAIエージェントの行動を決められた範囲に収める安全装置として論じられている。

この説明は、AIPOSTの記事と広く知られた事実をもとにまとめたものです。誤りがあれば訂正依頼でお知らせください。