UPPAAL

Szoftver screenshot:
UPPAAL
Szoftver adatai:
Változat: 4.0.6
Feltöltés dátuma: 2 Jun 15
Fejlesztő: Alexandre David
Engedély: Ingyenes
Népszerűség: 133

Rating: 3.0/5 (Total Votes: 2)

UPPAAL egy integrált eszköz környezet modellezésére, a hitelesítésre és a valós idejű rendszerek modellezhetők hálózatok időzített automaták, kibővítve adattípusok (korlátos egész számok, tömbök, stb).
UPPAAL CORA egyik ága a UPPAAL a költséghatékony Optimális Elérhetőség Anslysis által kifejlesztett UPPAAL csapat részeként VHS és AMETIST projektek. Mivel UPPAAL támogatja modell ellenőrzése időzített automaták, UPPAAL CORA használ meghosszabbítását időzített automaták nevű LPTA. LPTA lehetővé teszi, hogy rávezeti a modellt azzal a gondolattal költség.
Ez lehet a költségek késedelem bizonyos helyzetekben, vagy a költség a különleges intézkedéseket. UPPAAL CORA ezután megkeresi az optimális útvonal illő gólt feltételeket.
UPPAAL CORA óta használják a számos esettanulmány. Néhány ezek leírása a esettanulmány oldal ezen az oldalon. Ha jön fel érdekes felhasználási, kérjük lépjen kapcsolatba velünk. Mi érdekli a tárgyaláson, amit csinálsz!
Mivel a különböző belső adatszerkezetek, UPPAAL CORA jelenleg két különböző változatban:
A verzió az egyszerűsített esetén időben optimális elérhetőségének elemzése.
A verzió a teljes nyelvén LPTA.
Mint UPPAAL, UPPAAL CORA ingyenes non-profit használatra, pl az értékelés, a kutatás és oktatás céljaira.
Íme néhány kulcsfontosságú jellemzőit "UPPAAL":
Erős
 
· A modellező nyelv a UPPAAL CORA robusztus a változásokat is problémát modellezni. Ez azt jelenti, hogy a beruházás a modellezés nem vész el, ha a probléma nem változik, mert könnyen alkalmazkodni a meglévő modellt.
 
Gyors
 
· Bár a technológia meglehetősen új, kísérleti és nagyon különbözik a használt technikák a hagyományos működési kutatási, UPPAAL CORA versenyképes számos esettanulmány.
 
Összeegyeztethető
 
· A nyelv UPPAAL CORA felülbírálja a UPPAAL. Az érvényes UPPAAL modell is érvényes UPPAAL CORA modell. Ez megkönnyíti és kényelmes, hogy újra és alkalmazkodni a meglévő modellek UPPAAL CORA.
 
Jelenlegi
 
· UPPAAL CORA alapul a legfrissebb belső fejlesztői változata UPPAAL, amely tartalmazza a legújabb teljesítmény és nyelvi fejlesztéseket. Ez azonban egy kísérleti eszköz, és nem sok olyan ellenőrzési funkciók UPPAAL.
Korlátozások:
UPPAAL CORA teljes LPTA támogatásával számos korlátja van. Ezek a korlátozások nem alapvető, de a használata miatt új belső adatszerkezeteket a jelenleg korlátozott funkcionalitással. Idővel ezek a korlátozások meg kell oldani.
- Nem extrapoláció, ezért megszűnése nem garantált, kivéve, ha garantálják, hogy:
· A rendszer aciklikus.
· Minden órákat által határolt invariánsokat.
- Egyszerű elérhetőség csak:
· Nem liveness ellenőrzés
· Nem patthelyzet ellenőrzés
- Korlátozott használata vezetéssel:
· Támogatása (költség + maradt) a rendezést végrehajtani (legjobb első keresés)
· Támogatás a heurisztikus változó végre, de a kifejezés nem utal a költség változó.
Újdonságok ebben a kiadásban:
· Ez a kiadás javít lezuhan a hibákat és memóriavesztést.

Hasonló program

nose-parameterized
nose-parameterized

14 Apr 15

nose-f7u12
nose-f7u12

11 May 15

EXQUIRES
EXQUIRES

20 Feb 15

Más szoftver fejlesztő Alexandre David

UPPAAL TIGA
UPPAAL TIGA

2 Jun 15

xmmsctrl
xmmsctrl

3 Jun 15

Hozzászólások a UPPAAL

Hozzászólás nem található
Megjegyzés hozzáadása
Kapcsolja be a képeket!