기술보고서 · 2023.04.23
Runtime Assurance 구조를 갖는 사이버물리시스템의 복구 가능성 증명 자동화
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
자료 개요
이 기술 보고서는 Runtime Assurance의 판단 주기와 제한 시간 내 복구 가능성을 검증 문제로 정식화한다. Maude와 Z3를 결합하여 안전 모드 전환을 사용하는 시스템의 복구 증명 생성을 자동화한다.
판본: arXiv v1 — manuscript revision