UPPAAL 시뮬레이터 eps 파일의 데이터를 어떻게 분석 할 수 있습니까?

Question

나는 automaton을 실행하고 eps 파일을 내 보냈다. 그러나 eps 파일에서 정보를 더 자세히 분석하고 얻는 방법은 무엇입니까? 변수 값을 외부 로그 파일에 쓸 수 있습니까? 미리 감사드립니다.

Answer 1

eps를 분석하는 요점은 없습니다 (보고서에 포함되어야 함). 데이터 분석은 같이 simulate (Uppaal 4.1) 쿼리를 사용하여 검증의 다음 시도 : T(i)는 프로세스 및 Ready, Computing, Release 및 Error가 위치되어있다

simulate 1 [<=300] { 
    (T(1).Ready+2*T(1).Computing+3*T(1).Release+4*T(1).Error)+8, 
    (T(2).Ready+2*T(2).Computing+3*T(2).Release+4*T(2).Error)+4, 
    (T(3).Ready+2*T(3).Computing+3*T(3).Release+4*T(3).Error)+0 
} 

.)

B : - : 그런 다음, 쿼리를 모델-확인 마우스 오른쪽 버튼으로 클릭 한 다음 그래프 참조>comma separated values,

또는

이

A) Export를 플롯을 마우스 오른쪽 버튼으로 클릭하고 선택을 위의 쿼리를 검증 할 때 verifyta (명령 행 도구)의 표준 출력에서 ​​플롯 값을 구문 분석하십시오.