네트워크의 정량적 속성을 위한 빠른 분석기 (A Fast Quantitative Analyzer for NetKAT)

요약

본 논문은 네트워크의 정량적 속성(예: 집계 대역폭, 지연 시간)에 대한 트레이드오프를 탐색하기 위한 빠른 분석기 wNetKAT를 제안합니다. 이 분석기는 가중치 심볼릭 패킷 프로그램(wSPPs)이라는 새로운 데이터 구조와 맞춤형 알고리즘을 통해 정량적 추론의 의미론적 기초를 제공합니다.

핵심 포인트

• 가중치 NetKAT (wNetKAT) 기반의 빠른 네트워크 분석기 제시
• 새로운 심볼릭 데이터 구조 wSPP 설계 및 구현
• 맞춤형 클린 스타 알고리즘과 트레이스 캐링 파레토 반환체 개발
• Boolean-reachability verifier KATch와 경쟁력 입증