この記事では、現代の計算システムにおける信頼性の確保が難しくなっている状況を背景に、ソフトウェアモニターを用いて制御フローの異常を検出する手法を提案しています。これは、実行時のソフトウェア動作をログに記録し、期待される制御フローからの逸脱を検知することによって実現されます。具体的には、大規模言語モデル（LLMs）と適合性確認を活用した方法論が示されており、設計段階のモデルと実装コードを結びつけることで、ソースコードの自動計測を行います。結果、欧州鉄道交通管理システムのケーススタディにおいて、84.775%の制御フローカバレッジが達成され、異常検出のパフォーマンスも大幅に向上しました。この研究により、LLMsと専門知識を組み合わせることで、信頼性の高いソフトウェアログと効果的な異常検出が可能であることが証明されました。