DREAM Tool

DREAM eszköz egy általános keretet kíván biztosítani a közös szemantikai tartomány, amely képes kifejezni több (real-time, fogyasztás, erőforrás) korlátok.
A szemantikai domén egy futtatható C ++ modell, amely már szemantikailag rögzítve a hibrid automata formalizmus. Bár a számítási modell felel meg a hibrid automata, eddig már sikeresen elemzésében a modelleket konzervatív közelítés segítségével időzített automaták a közepes méretű rendszerek.
Foglalkozni nagyszabású példák a felhasználó képes használni a szimuláció / tesztelési felület a futtatható C ++ modell végrehajtása előtt a rendszer. Terveink között szerepel a genetikus algoritmusok megoldani számos problémát.
DREAM egy szimulációs és ellenőrzési keretrendszer, amely a formális modell és elemzése a rendszer kevesebb, mint egy nap. Rendszerek DREAM adatokkal kell XML egyszerű módon. Remélem, hasznosnak találja.
Valós idejű middleware biztosít megbízható és hatékony platformok támogatása legfontosabb funkcionális és a szolgáltatás minősége (QoS) igényeit elosztott valós idejű beágyazott (DRE) rendszerek.
A legfontosabb kihívások közé DRE rendszerre vonatkozó fejlesztések közé tartozik a biztonságos összetétele rendszer alkatrészek és feltérképezése a működési előírások ra a cél platform. Modell-alapú technológiák segítik ezeket a problémákat orvosolni, amely lehetővé teszi tervezési idejű elemzésére, és biztosítja az a gyors kivitelezés értékelése alternatívák tekintetében end-to-end QoS tulajdonságai, a kiszámíthatóság és a teljesítmény intézkedések, mielőtt elkötelezné magát egy adott platformon.
Az elosztott beágyazott, valós idejű elemzési módszer DREAM egy nyílt forrású eszköz és módszer optimalizálására több szolgáltatás minősége (QoS) tulajdonságai elosztott valós idejű beágyazott (DRE) rendszerek. A projekt középpontjában a gyakorlati alkalmazása a hivatalos vizsgálati módszerek valós idejű middleware, hogy automatizálják az ellenőrzés, a fejlesztés, a konfiguráció és integrációs middleware-alapú DRE rendszerek.
Újdonságok ebben a kiadásban:
· Ez a verzió végre számos optimalizációt a továbbfejlesztett modell, a teljesítmény ellenőrzését, ami lenyűgöző teljesítmény növekedés legalább 2-3 alkalommal.
· Nincs ismert memóriavesztés jelen a jelenlegi kiadás.
· Kiegyensúlyozott AVL fák már használják, ami exponenciális sebességnövekedést több lépésben a modell ellenőrzési módszer.
· XML-séma érvényesítési valósult meg.
· Ellenőrzési idő jelentési rendszerre történő frissítésekor adatokat tartalmaznak a szimuláció sebességét.
· Véletlen szimuláció-alapú tesztelés már előírja, Execution Trace, amikor a határidő elmulasztása.