UPPAAL TIGA merupakan perpanjangan dari UPPAAL [BDL04] dan menerapkan pertama efisien algoritma on-the-fly untuk memecahkan game berbasis pada permainan waktunya automata sehubungan dengan reachability dan keamanan properti.
Meskipun game waktunya lama telah dikenal decidable ada sampai sekarang kurangnya efisien dan benar-benar on-the-fly algoritma untuk analisis mereka.
UPPAAL TIGA menyediakan antarmuka grafis yang user-friendly dengan server yang sesuai, dan verifier baris perintah.
Algoritma kami mengusulkan [CDFLL05] adalah ekstensi simbolis algoritma on-the-fly disarankan oleh Liu & Smolka [LS98] untuk linear-time model pengecekan sistem terbatas-negara. Menjadi on-the-fly, algoritma simbolik dapat mengakhiri jauh sebelum setelah menjelajahi seluruh negara-ruang.
Juga langkah-langkah individu algoritma dilakukan secara efisien dengan menggunakan zona yang disebut sebagai struktur data yang mendasari. Alat kami menerapkan berbagai optimasi dari algoritma simbolik dasar, serta metode untuk memperoleh strategi menang waktu optimal (untuk game reachability).
Apa yang Baru di Release ini:
Komentar tidak ditemukan