UPPAAL TIGA on laajennus UPPAAL [BDL04] ja se toteuttaa ensin tehokasta on-the-fly algoritmi ratkaisemiseksi pelien perusteella ajoitettu peli automaatti suhteen tavoitettavuuden ja turvallisuusominaisuuksia.
Vaikka ajoitettu pelejä pitkään on tiedetty olevan ratkeava siellä on tähän asti ollut tehokkuuden puute ja todella on-the-fly algoritmit niiden analysointia.
UPPAAL TIGA tarjoaa helppokäyttöinen graafinen käyttöliittymä sekä vastaava palvelimeen, ja komentoriviltä vahvistamia.
Algoritmi ehdotamme [CDFLL05] on symbolinen laajentaminen on-the-fly algoritmin ehdotti Liu & Smolka [LS98] lineaarisessa-aikainen malli tarkkailun of äärellistilaisia järjestelmiin. Oleminen-the-fly, symbolinen algoritmi voi irtisanoa kauan ennen kuin hän tutkinut koko tilaesityksen.
Myös yksittäiset vaiheet algoritmin toteutetaan tehokkaasti käyttämällä ns vyöhykkeiden kuin taustalla tietorakenne. Meidän työkalu toteuttaa erilaisia optimointeja perus symbolinen algoritmi, sekä menetelmiä saamiseksi aikaa optimaalinen voittavan strategioita (tavoitettavuusanalyysissä pelit).
Mitä uutta tässä julkaisussa:
Kommentteja ei löytynyt