Uppaal. Un ambiente utensile integrato per la modellazione, la convalida e la verifica dei sistemi in tempo reale
Scarica ora

Uppaal. Classifica e riepilogo

Uppaal. Tag

modello convalidare verificare Ambiente di modellazione del processo Strumento di verifica Strumento di verifica del software Sistema modellatore in tempo reale verifica del sistema in tempo reale convalida del sistema in tempo reale validazione dei sistemi informativi Ambiente di modellazione

Uppaal. Descrizione

UPPAAL è un'applicazione software completa che consente di progettare, convalidare e verificare i sistemi in tempo reale modellati come reti di automi a tempo. È sviluppato in Java e avvolto in un spazio di lavoro user-friendly.Non installazione necessaria, a parte Java Non ci sono pacchi da installazione coinvolti, il che rende uppaal quasi portatile. A condizione che tu abbia Java installato sul computer, è possibile salvare i file di programma su qualsiasi parte del disco e semplicemente fare clic sul file JAR per avviare lo strumento. Un'altra possibilità è salvarlo su un'unità penna per eseguirla direttamente su qualsiasi PC con Java installato. Un aspetto importante che vale la pena tenere conto è che non modifica le impostazioni del registro di sistema di Windows o creano file extra sul disco senza il permesso. Modifica, simulazione e strumenti di verifica La GUI è realizzata con una singola finestra divisa in tre schede per la modifica, simulando e verificando il progetto. L'editor è diviso in due fotogrammi per la navigazione delle parti del progetto (ad es. Dichiarazioni, modelli) e codice di scrittura, il simulatore indaga e convalida le possibili esecuzioni dinamiche di un sistema durante la modellazione, mentre lo strumento di verifica facilita una panoramica sul progetto, consentendo così Scrivi query e commenti. La configurazione dei programmi è possibile ingrandire e ridurre, nascondere le etichette, ricaricare il simulatore, snap to grid, controllare e convertire la sintassi, modificare l'ordine di ricerca (prima, la profondità prima, prima profondità casuale), scegliere la riduzione dello spazio dello stato e Rappresentazione, scegli la traccia diagnostica, l'estrapolazione e la dimensione della tabella hash e altro ancora. VALUTAZIONE E CONCLUSIONE Non abbiamo incontrato alcun problema di stabilità nei nostri test, poiché UPPAAL non è stato bloccato, messaggi di errore schiantati o pop-up. Ha un buon tempo di risposta e un minimo impatto sulla performance del sistema, quindi non è hog CPU e RAM. Tutto sommato, UPPAAL è utile per gli studenti che vogliono lavorare in un ambiente integrato per la modellazione, convalida e verificare i sistemi in tempo reale. Recensito da Elena Opris, ultimo aggiornamento il 4 gennaio 2015

Uppaal. Software correlato