Uppaal Eine integrierte Werkzeugumgebung zur Modellierung, Validierung und Überprüfung von Echtzeitsystemen
Jetzt downloaden

Uppaal Ranking & Zusammenfassung

Uppaal Stichworte

Modell bestätigen verifizieren Prozessmodellierungsumgebung. Prüfinstrument Software-Verifizierungstool Echtzeit-System-Modellierer Echtzeit-Systemüberprüfung Echtzeit-Systemvalidierung Informationssysteme Validierung. Modellierungsumgebung.

Uppaal Beschreibung

UPPAAL ist eine umfassende Softwareanwendung, mit der Sie Echtzeitsysteme, die als Netzwerke von zeitgesteuerten Automaten modelliert werden, entwerfen, validieren und überprüfen können. Es wird in Java entwickelt und in einem benutzerfreundlichen Arbeitsbereich eingewickelt. Keine Installation notwendig, abgesehen von Java Es gibt kein Setup-Pack, das das Uppaal fast tragbar macht. Sofern Sie Java auf Ihrem Computer installiert haben, können Sie die Programmdateien an einem beliebigen Teil der Festplatte speichern und einfach auf die JAR-Datei klicken, um das Tool zu starten. Eine andere Möglichkeit besteht darin, ihn auf einem PEN-Laufwerk zu speichern, um ihn direkt auf jedem PC mit installierter Java auszuführen. Ein wichtiger Aspekt, der sich berücksichtigt, ist, dass die Windows-Registrierungseinstellungen nicht geändert werden oder zusätzliche Dateien auf der Festplatte ohne Erlaubnis erstellen. Bearbeiten, Simulation und Überprüfungs-ToolSthe-GUI wird aus einem einzigen Fenster hergestellt, das in drei Registerkarten aufgeteilt ist, um das Projekt zu bearbeiten, zu simulieren und zu überprüfen. Der Editor ist in zwei Frames aufgeteilt, um Projektteile (z. B. Deklarationen, Vorlagen) und Schreibcode zu navigieren, der Simulator untersucht und validiert mögliche dynamische Ausführungen eines Systems während der Modellierung, während das Überprüfungswerkzeug einen Überblick über das Projekt erleichtert, wodurch es Ihnen ermöglicht wird. Schreibe Abfragen und Kommentare. Programmeinstellungen konfigurieren, um ein- und auszugebenden, Etiketten ausblenden, den Simulator neu laden, auf Raster einrasten, zu überprüfen, die Syntax zu ändern, die Suchreihenfolge (Erste, Tiefe zuerst, zufällige Tiefe zuerst) zu ändern. Darstellung, wählen Sie die Diagnosespur, die Extrapolation und die Hash-Tabellengröße und mehr. Bewertung und SchlussfolgerungWe haben in unseren Tests keine Stabilitätsprobleme aufgetreten, da UPPAAL nicht aufgetreten ist, Absturz- oder Pop-Up-Fehlermeldungen. Es hat eine gute Antwortzeit und minimale Auswirkungen auf die Systemleistung, sodass die CPU und der RAM nicht hackt. Alles in allem kommt Uppaal an Studenten, die in einer integrierten Umgebung zum Modellieren, Validieren und Überprüfen von Echtzeitsystemen arbeiten möchten. Bewertet von Elena Opris, letzte Aktualisierung am 4. Januar 2015

Uppaal Zugehörige Software