1278.186 시뮬레이션을 통한 상태-전이 설계 검증