UPPAAL TIGA είναι μια επέκταση της UPPAAL [BDL04] και υλοποιεί το πρώτο αποτελεσματικό on-the-fly αλγόριθμο για την επίλυση παιχνίδια που βασίζονται σε χρονικά αυτόματα το παιχνίδι σε σχέση με την προσβασιμότητα και την ασφάλεια ιδιότητες.
Αν και έχουν χρονομετρημένα παιχνίδια εδώ και καιρό είναι γνωστό ότι είναι δυνατό να αποφασισθεί έχει υπάρξει μέχρι τώρα η έλλειψη αποτελεσματικού και πραγματικά on-the-fly αλγορίθμων για την ανάλυση τους.
UPPAAL TIGA παρέχει ένα φιλικό προς το χρήστη γραφική διεπαφή με το αντίστοιχο του server, και μια γραμμή εντολών ελεγκτή.
Ο αλγόριθμος που προτείνουμε [CDFLL05] είναι μια συμβολική επέκταση του αλγορίθμου on-the-fly προτείνεται από τον Liu & Smolka [LS98] για γραμμικό χρόνο μοντέλο ελέγχου των πεπερασμένων καταστάσεων συστήματα. Όντας on-the-fly, το συμβολικό αλγόριθμο μπορεί να λύσει πολύ πριν αφού διερευνηθεί το σύνολο του χώρου κατάστασης.
Επίσης, οι επιμέρους βήματα του αλγορίθμου εκτελείται αποτελεσματικά με τη χρήση των λεγόμενων ζώνες ως υποκείμενη δομή δεδομένων. Εργαλείο μας υλοποιεί διάφορες βελτιστοποιήσεις του βασικού συμβολική αλγόριθμο, καθώς και τις μεθόδους για τη λήψη του χρόνου-βέλτιστων στρατηγικών νίκης (προσβασιμότητας παιχνίδια).
Τι νέο υπάρχει σε αυτήν την έκδοση:
Τα σχόλια δεν βρέθηκε