728.24 정적 WCET 분석