UPPAAL

Screenshot Λογισμικό:
UPPAAL
Στοιχεία Λογισμικού:
Εκδοχή: 4.0.6
Ανεβάστε ημερομηνία: 2 Jun 15
Προγραμματιστής: Alexandre David
Άδεια: Δωρεάν
Δημοτικότητα: 133

Rating: 3.0/5 (Total Votes: 2)

UPPAAL είναι ένα ολοκληρωμένο περιβάλλον εργαλείο για τη μοντελοποίηση, την επικύρωση και την επαλήθευση των συστημάτων πραγματικού χρόνου μοντελοποιηθεί ως δίκτυα χρονικά αυτόματα, επεκτείνεται με τύπους δεδομένων (που οριοθετείται ακέραιοι, πίνακες, κ.λπ.).
UPPAAL CORA είναι ένας κλάδος της UPPAAL για βέλτιστου κόστους Προσβασιμότητα Anslysis αναπτύχθηκε από την UPPAAL ομάδα ως μέρος των VHS και Ametist έργα. Εκτιμώντας UPPAAL υποστηρίζει τον έλεγχο μοντέλο της χρονικά αυτόματα, UPPAAL CORA χρησιμοποιεί μια επέκταση της ώρας αυτόματα ονομάζεται LPTA. LPTA σας επιτρέπει να σχολιάζω το μοντέλο με την έννοια του κόστους.
Αυτό μπορεί να είναι το κόστος της καθυστέρησης σε ορισμένες καταστάσεις ή το κόστος συγκεκριμένων δράσεων. UPPAAL CORA τότε βρίσκει τη βέλτιστη μονοπάτια που ταιριάζουν συνθήκες γκολ.
UPPAAL CORA έχει χρησιμοποιηθεί σε μια σειρά από μελέτες περιπτώσεων. Μερικές από αυτές περιγράφονται στη σελίδα περιπτωσιολογική μελέτη αυτού του site. Αν έρχεστε με ενδιαφέρουσες χρήσεις, παρακαλούμε επικοινωνήστε μαζί μας. Μας ενδιαφέρει να ακούσω τι μπορείτε να κάνετε!
Λόγω των διαφορετικών εσωτερικών δομών δεδομένων, UPPAAL CORA αποτελείται σήμερα από δύο διαφορετικές εκδόσεις:
Μια έκδοση για την απλοποιημένη περίπτωση του χρόνου βέλτιστη ανάλυση προσβασιμότητας.
Μια έκδοση για την πλήρη γλώσσα LPTA.
Όπως UPPAAL, UPPAAL CORA είναι δωρεάν για μη κερδοσκοπική χρήση, π.χ. για την αξιολόγηση, την έρευνα, και διδακτικούς σκοπούς.
Εδώ είναι μερικά βασικά χαρακτηριστικά του "UPPAAL":
Εύρωστος
 
· Η γλώσσα μοντελοποίησης της UPPAAL CORA είναι ισχυρή έναντι αλλαγών στο πρόβλημα πρότυπο. Αυτό σημαίνει ότι η επένδυσή σας στην μοντελοποίηση δεν χάνεται όταν το πρόβλημα αλλάζει, δεδομένου ότι είναι εύκολο να προσαρμοστεί το υφιστάμενο μοντέλο.
 
Γρήγορα
 
· Παρά το γεγονός ότι η τεχνολογία είναι μάλλον νέα, πειραματική και πολύ διαφορετική από τις τεχνικές που χρησιμοποιούνται στην παραδοσιακή επιχειρησιακή έρευνα, UPPAAL CORA είναι ανταγωνιστική σε μια σειρά από μελέτες περιπτώσεων.
 
Συμβατό
 
· Η γλώσσα του UPPAAL CORA είναι ένα υπερσύνολο του UPPAAL. Οποιαδήποτε έγκυρη UPPAAL μοντέλο είναι επίσης ένα έγκυρο μοντέλο UPPAAL CORA. Αυτό το καθιστά εύκολο και βολικό να επαναχρησιμοποιούν και να προσαρμόσουν τα υπάρχοντα μοντέλα σας σε UPPAAL CORA.
 
Ρεύμα
 
· UPPAAL CORA βασίζεται στην τελευταία εσωτερική έκδοση ανάπτυξης του UPPAAL, που περιέχει τις πιο πρόσφατες βελτιώσεις στην απόδοση και τη γλώσσα. Είναι, ωστόσο, ένα πειραματικό εργαλείο και στερείται πολλά από τα χαρακτηριστικά επαλήθευσης UPPAAL.
Περιορισμοί:
UPPAAL CORA με την πλήρη υποστήριξη LPTA έχει μια σειρά από περιορισμούς. Οι περιορισμοί αυτοί δεν είναι θεμελιώδη, αλλά είναι ένα αποτέλεσμα της χρήσης νέων εσωτερικών δομών δεδομένων με το παρόν περιορίζεται σύνολο χαρακτηριστικών γνωρισμάτων. Την πάροδο του χρόνου, αυτοί οι περιορισμοί θα πρέπει να επιλυθούν.
- Όχι παρέκταση, ως εκ τούτου, τον τερματισμό δεν είναι εγγυημένη αν δεν εγγυάται ότι είτε:
· Το σύστημα είναι ακυκλικές.
· Όλα τα ρολόγια που οριοθετείται από σταθερές.
- Απλή προσβασιμότητας μόνο:
· Δεν ζωντάνια έλεγχος
· Κανένας έλεγχος αδιέξοδο
- Περιορισμένη χρήση των κατευθυντήριων:
· Υποστήριξη (κόστος + λοιπά) διαλογή υλοποιείται (καλύτερη πρώτη αναζήτησης)
· Υποστήριξη για την ευρετική μεταβλητή εφαρμοστεί, αλλά η έκφραση δεν μπορεί να αφορά το μεταβλητό κόστος.
Τι νέο υπάρχει σε αυτήν την έκδοση:
· Αυτή η έκδοση διορθώνει συντριβή σφάλματα και μια διαρροή μνήμης.

Παρόμοια λογισμικά

TestLink
TestLink

20 Feb 15

Acovea
Acovea

3 Jun 15

lava-test
lava-test

20 Feb 15

ESC/Java2
ESC/Java2

3 Jun 15

Άλλο λογισμικό του προγραμματιστή Alexandre David

xmmsctrl
xmmsctrl

3 Jun 15

UPPAAL TIGA
UPPAAL TIGA

2 Jun 15

Σχόλια για UPPAAL

Τα σχόλια δεν βρέθηκε
προσθήκη σχολίου
Ενεργοποιήστε τις εικόνες!
Αναζήτηση ανά κατηγορία