DREAM Tool

Narzędzie jest DREAM rodzajowa struktura, która ma na celu zapewnienie wspólnego domenę semantycznej, które mogą wyrazić kilka (w czasie rzeczywistym, zużycia energii, zasobów) ograniczeń.
Domena semantyczna ma model C ++ wykonywalnego, który został semantycznie zakotwiczone w hybrydowym automatów formalizmu. Chociaż model obliczeń odpowiada hybrydowego automatów, do tej pory udało się analizując modele konserwatywnego zbliżania za pomocą automatów czasowych w systemach wielkości umiarkowanych.
Aby poradzić sobie z przykładów dużych użytkownik ma możliwość korzystania z interfejsu symulacji / testowania na wykonywalnego C ++ przed wdrożeniem modelu systemu. Planuje się rozszerzenie algorytmów genetycznych rozwiązać wiele problemów.
DREAM to symulacja i weryfikacja ramy, które zapewnia formalnego modelu i analizy systemu w czasie krótszym niż jeden dzień. Systemy w DREAM są określane za pomocą XML w prosty sposób. Mam nadzieję, że okaże się przydatny.
Real-time middleware zapewnia niezawodne i wydajne platformy wspierające kluczowe funkcjonalności i jakości usług (QoS) wymagania w czasie rzeczywistym rozproszonej (DRE) wbudowanych systemów.
Kluczowe wyzwania w rozwoju systemu DRE to bezpieczny skład komponentów systemu i mapowania specyfikacji funkcjonalnych na platformie docelowej. Technologie oparte na modelu pomóc rozwiązać te problemy, umożliwiając analizę czas projektowania i zapewnienie środków do szybkiej oceny alternatywnych rozwiązań projektowych w odniesieniu do końca-do-końca właściwości QoS, przewidywalność i środki wydajności przed zobowiązując się do konkretnej platformy.
Ukazuje się w czasie rzeczywistym Wbudowany Metoda Analiza DREAM jest narzędziem open-source i sposób optymalizacji wielu Quality of Service (QoS), właściwości w czasie rzeczywistym rozproszonej (DRE) wbudowanych systemów. Projekt skupia się na praktycznym zastosowaniu formalnych metod analizy w czasie rzeczywistym middleware zautomatyzowania weryfikacji, rozwój, konfigurację i integrację systemów DRE oparte middleware.
Co nowego w tym wydaniu:
· Ta wersja wdrożyła kilka optymalizacji w celu zwiększenia wydajności modelu kontroli, w wyniku imponujących zysków wydajności co najmniej 2-3 razy.
· Nie są znane żadne wycieki pamięci znajdujące się w bieżącym wydaniu.
· Balanced drzewa AVL są obecnie stosowane, w wyniku wykładniczego speedups w kilku etapach sposobu modelem kontroli.
· Walidacji XML Schema został wdrożony.
· Raportowanie czasu Weryfikacja został zaktualizowany do obejmują dane na temat prędkości symulacji.
· Losowe Badanie symulacyjne oparte dostarcza teraz ślad wykonania, gdy termin jest przegapić.