Ich habe den Automaten ausgeführt und die EPS-Datei exportiert. Aber wie kann ich weiter Informationen aus der EPS-Datei analysieren und erhalten? Ist es möglich, Variablenwerte in eine externe Protokolldatei zu schreiben? Vielen Dank im VorausWie kann ich die Daten von UPPAAL simulator eps-Datei analysieren?
Antwort
Es hat keinen Sinn, eps zu analysieren (diese sollen in den Bericht aufgenommen werden). Für die Datenanalyse versuchen, die folgenden in dem Verifizierer simulate
(Uppaal 4.1) Abfragen wie folgt verwendet:
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
}
wo T(i)
ist ein Prozess und Ready
, Computing
, Release
und Error
sind seine Standorte. Dann Modell überprüfen Sie die Abfrage mit der rechten Maustaste darauf und die Handlung sehen, dann:
a) Rechtsklick auf dem Grundstück und wählen Export
->comma separated values
,
oder:
b) Analysieren Sie die Plotwerte von der Standardausgabe von Verifyta (Befehlszeilentool), wenn Sie die obige Abfrage überprüfen.
Ja. Vielen Dank. Ich kann das versuchen. Gibt es in UPPAAL eine Möglichkeit, ein Protokoll zu schreiben oder einen Variablenwert in eine externe Datei zu aktualisieren, während der Automat ausgeführt wird? – user3559706
nein, es gibt eine API dafür: http://people.cs.aau.dk/~marius/modeldoc/ – mariusm
Danke. Ich suche auch nach Matlab mit Uppaal für meine Forschung. – user3559706
1) Es gibt die Menüoption "Export -> Kommaseparierte Werte", wenn Sie mit der rechten Maustaste auf das Diagramm klicken, 2) die Trajektorien werden auf die Standardausgabe von verifyta (Befehlszeilentool) gedruckt. – mariusm