UPPAAL

Software screenshot:
UPPAAL
Dettagli del software:
Versione: 4.0.6
Data di caricamento: 2 Jun 15
Sviluppatore: Alexandre David
Licenza: Libero
Popolarità: 133

Rating: 3.0/5 (Total Votes: 2)

UPPAAL è un ambiente strumento integrato per la modellazione, la validazione e la verifica di sistemi real-time modellati come reti di automi temporizzati, esteso con tipi di dati (interi delimitate, array, ecc.)
UPPAAL CORA è una branca della UPPAAL per costo ottimale raggiungibilità Anslysis sviluppato dal team UPPAAL come parte dei progetti VHS e AMETIST. Mentre UPPAAL supporta model checking di automi temporizzati, UPPAAL CORA utilizza un'estensione di automi temporizzati chiamato LPTA. LPTA consente di annotare il modello con la nozione di costo.
Questo può essere il costo di ritardo in determinate situazioni o il costo di azioni particolari. UPPAAL CORA poi trova percorsi ottimali corrispondenti condizioni di obiettivo.
UPPAAL CORA è stato utilizzato in un certo numero di casi di studio. Alcuni di questi sono descritti nella pagina di case study di questo sito. Se si arriva con usi interessanti, non esitate a contattarci. Siamo interessati a sentire quello che fai!
A causa delle diverse strutture dati interne, UPPAAL CORA attualmente si compone di due differenti versioni:
Una versione per il caso semplificato di tempo di analisi ottimale raggiungibilità.
Una versione per il linguaggio pieno di LPTA.
Come UPPAAL, UPPAAL CORA è gratuito per uso non-profit, ad esempio, per la valutazione, la ricerca, e scopi didattici.
Qui sono alcune caratteristiche chiave di "UPPAAL":
Robusto
 
· Il linguaggio di modellazione di UPPAAL CORA è robusto verso cambiamenti del problema modellato. Ciò significa che il vostro investimento nella modellazione non è perso quando il problema cambia, dal momento che è facile adattare il modello esistente.
 
Veloce
 
· Anche se la tecnologia è piuttosto nuovo, sperimentale e molto diverso dalle tecniche utilizzate nella ricerca operativa tradizionale, UPPAAL CORA è competitivo in un certo numero di casi di studio.
 
Compatibile
 
· Il linguaggio di UPPAAL CORA è un superset di UPPAAL. Qualsiasi modello UPPAAL valida è anche un modello UPPAAL CORA valido. Ciò rende più semplice e conveniente per riutilizzare e adattare i vostri modelli esistenti per UPPAAL CORA.
 
Corrente
 
· UPPAAL CORA è basato sull'ultima versione di sviluppo interno di UPPAAL, contenente i più recenti miglioramenti delle prestazioni e della lingua. E 'comunque uno strumento sperimentale e manca di molte delle caratteristiche di verifica di UPPAAL.
Limitazioni:
UPPAAL CORA con supporto completo LPTA ha un certo numero di limitazioni. Queste limitazioni non sono fondamentali, ma sono il risultato dell'utilizzo di nuove strutture dati interne con una serie di funzioni attualmente limitato. Nel corso del tempo, si risolveranno queste limitazioni.
- No estrapolazione, quindi la risoluzione non è garantito a meno che non si garantisce che:
· Il sistema è aciclico.
· Tutti gli orologi sono delimitate da invarianti.
- Raggiungibilità Semplice solo:
· Nessun controllo vitalità
· Nessun controllo stallo
- Uso limitato di guida:
· Supporto per la selezione (costo rimanente +) è attuato (meglio prima di ricerca)
· Supporto per la variabile euristica è implementata, ma l'espressione non può fare riferimento alla variabile costo.
Cosa c'è di nuovo in questo rilascio:
· Questa release corregge bug di crash e di una perdita di memoria.

Programmi simili

PyModel
PyModel

11 May 15

NUnit
NUnit

19 Feb 15

AceUnit
AceUnit

2 Jun 15

Altri software di sviluppo Alexandre David

UPPAAL TIGA
UPPAAL TIGA

2 Jun 15

xmmsctrl
xmmsctrl

3 Jun 15

Commenti a UPPAAL

I commenti non trovato
Aggiungi commento
Accendere le immagini!