DREAM Tool

DREAM Tool je obecný rámec, který má za cíl poskytnout společné sémantickou doménu, která může vyjádřit několik (real-time, spotřeba energie, zdrojů) omezení.
Sémantická doména má spustitelný C ++ model, který byl významově ukotven na hybridní automatů formalismu. Ačkoli model výpočtu odpovídá hybridní automaty, zatím jsme byli úspěšní v analýze modely konzervativní aproximace pomocí časovaných automatů pro systémy střední velikosti.
Vypořádat se s příklady rozsáhlých uživatel má možnost použít simulace / testování rozhraní, na spustitelný C ++ modelu před implementací systému. Plánujeme rozšířit genetické algoritmy vyřešit velké množství problémů.
DREAM je simulace a verifikace rámec, který poskytuje formální model a analýzu vašeho systému za méně než jeden den. Systémy ve snu jsou specifikovány pomocí XML v přímočaře. Doufám, že vám to užitečné.
Real-time middleware poskytuje spolehlivé a výkonné platformy podporující klíčové funkční a Quality of Service (QoS) potřeby distribuované real-time vložený (DRE) systémy.
Klíčové výzvy v oblasti rozvoje systému DRE patří bezpečné složení systémových komponent a zmapování funkčních specifikací na cílové platformě. Technologie Model založený na pomoci tyto problémy řešit tím, že umožňuje návrhu časovou analýzu a zajištění prostředků pro rychlé vyhodnocení designových variant s ohledem na end-to-end QoS vlastnosti, předvídatelnost a výkonu opatření před spácháním na konkrétní platformě.
Distribuované Real-time Embedded Analýza Metoda DREAM je open-source nástroj a metoda pro optimalizaci více kvality služeb (QoS) vlastnosti distribuované real-time vložený (DRE) systémy. Projekt je zaměřen na praktické aplikace formálních metod analýzy v reálném čase middleware automatizovat ověřovací, vývoj, konfiguraci a integraci middlewaru na bázi DRE systémů.
Co je nového v této verzi:
· Tato verze provedla několik optimalizací pro zlepšený výkon model checking, což má za následek působivé představení zisky nejméně 2-3 krát.
· Nejsou známy žádné nevracení paměti přítomné v aktuální verzi.
· Balanced AVL stromy jsou nyní používány, což má za následek exponenciálních speedups v několika kroků způsobu kontroly modelu.
· Ověření schématu XML byl realizován.
· Reporting Ověření čas byl aktualizován, aby zahrnoval údaje o rychlosti simulace.
· Náhodné testování simulace založené nyní poskytuje provedení stopu, když je lhůta minul.