0
UPPAAL로 모델을 설정하고 검증자를 사용하여 교착 상태를 확인했습니다. 대답은 다음과 같습니다. 속성이 만족스럽지 않습니다. 따라서 교착 상태가 발생합니다.시스템에 교착 상태가 있습니다 - 어떻게 찾을 수 있습니까? (UPPAAL)
특정 상황에서 모든 변수의 상태 및 현재 값과 같은 교착 상태에 대한 자세한 정보를보고하는 방법이 UPPAAL입니까?
A
답변
1
예. UPPAAL i에서 교착 상태를 추적 할 수 있습니다. 교착 상태의 원인이되는 상태 나 경로를 찾을 수 있습니다. 옵션 -> 진단 추적 -> 가장 빠름으로 이동하십시오. 진단 추적에서 some/fastest/shortest 옵션 중 하나를 선택할 수 있습니다. 빠른 선택 후. 확인 프로그램으로 이동하여 교착 상태 잠금 속성을 확인하십시오. 시뮬레이터로 이동 한 후 "예"를 선택하여 시뮬레이션에 새 트레이스를 저장하면 새 스토어 트레이스가 표시되어 속성을 만족스럽지 않게합니다. 희망이 있으시면