runtime monitor런타임 모니터

runtime monitor는 프로그램이 실행되는 동안 발생하는 사건을 관찰해 미리 명세한 성질과 비교하는 소프트웨어 구성 요소로, runtime verification(실행 시점 검증)의 핵심 수단이다. 실행 전에 코드 전체를 분석하는 정적 검증과 달리 실제 실행 과정을 대상으로 한다.

위반을 찾으면 기록이나 경고에 그치지 않고 시스템을 안전한 상태로 되돌리거나 대체 절차를 실행하도록 설계할 수 있다. AI 분야에서는 내부를 검증하기 어려운 AI agent의 행동을 정해진 범위 안에 두는 안전장치로 논의된다.

이 설명은 AIPOST 기사와 널리 알려진 사실을 바탕으로 정리했습니다. 잘못된 내용이 있으면 정정 요청으로 알려 주세요.