DREAM Tool är ett generiskt ramverk som syftar till att ge en gemensam semantisk domän som kan uttrycka ett flertal (i realtid, energiförbrukning, resurs) begränsningar.
Den semantiska domän har en körbar C ++ modell som har semantiskt förankrat i hybrid automater formalism. Även om beräkningsmodell motsvarar hybrid automater, så långt vi har varit framgångsrika i att analysera modeller med konservativ approximation med hjälp av tidsinställda automater på måttlig storlek system.
För att hantera storskaliga exempel användaren har möjlighet att använda simulering / testning gränssnitt på den körbara C ++ modell innan genomförandet av systemet. Vi planerar att utvidga genetiska algoritmer för att lösa ett stort antal problem.
DREAM är ett ramverk simulering och verifiering som ger en formell modell och analys av ditt system på mindre än en dag. System i DREAM anges med XML på ett enkelt sätt. Jag hoppas att du finner det lämpligt.
Realtidsmiddleware erbjuder pålitliga och effektiva plattformar som stöder viktiga funktionella och Quality of Service (QoS) behov av distribuerade realtidsinbäddade (DRE) system.
Viktiga utmaningar i systemutveckling DRE inkluderar säker sammansättning av systemkomponenter och kartlägga de funktionella specifikationer på målplattform. Modellbaserad teknik bidra till att lösa dessa problem genom att möjliggöra designtidsanalys och ger möjlighet för snabb utvärdering av konstruktionsalternativ med avseende på end-to-end QoS egenskaper, förutsägbarhet och prestanda åtgärder innan de bestämmer sig till en specifik plattform.
Den distribuerade realtidssystem Embedded Analysis Method DREAM är ett open-source verktyg och en metod för att optimera flera tjänstekvalitet (QoS) egenskaper hos distribuerade realtidsinbäddade (DRE) system. Projektet fokuserar på den praktiska tillämpningen av formella analysmetoder som realtid middleware för att automatisera kontrollen, utveckling, konfiguration och integrering av middleware-baserade DRE system.
Vad är nytt i den här versionen:
· Denna version genomfört flera optimeringar för förbättrad modell kontroll prestanda, vilket resulterar i imponerande prestandavinster på minst 2-3 gånger.
· Det finns inga kända minnesläckor förekommer i den aktuella versionen.
· Balanserad AVL träd används nu, vilket resulterar i exponentiell uppsnabbningar i flera steg av modellen kontrollmetod.
· XML Schema validering genomfördes.
· Verifiering tidrapportering uppgraderades till att även omfatta uppgifter om simulerings hastigheter.
· Random simuleringsbaserad testning ger nu en avrättning spår när en deadline missas.
Kommentarer hittades inte