산업 사이버-물리 시스템에서 컨텍스트를 전달하는 액션 인텐트의 실행 시간 검증

요약

본 논문은 산업 사이버-물리 시스템(CPS)에서 발생하는 '실행 간극(execution gap)' 문제를 다루며, 액션 인텐트 스키마(AIS)를 제안합니다. XAIR 런타임은 인텐트의 유효 기간과 가정을 명시하고, 버전 조건부 명령어를 통해 상태 변경에 대한 정확한 제어를 가능하게 합니다.

핵심 포인트

• 실행 간극: 명령어가 효력을 발생하기 전 플랜트가 변경될 수 있는 시간적 틈새.
• 액션 인텐트 스키마(AIS): 결정의 유효 기간과 가정을 명시하는 계약 메커니즘.
• XAIR 런타임: 버전 조건부 명령어를 통해 상태 변화에 대한 정확한 제어 및 간극 해소.
• 성능 검증: 임베디드 보드 코어에서 초당 148-168개의 인텐트 검증 성능을 입증함.