DREAM Tool

DROOM Tool is 'n generiese raamwerk wat daarop gemik is op die verskaffing van 'n gemeenskaplike semantiese domein waarin verskeie (real-time, energieverbruik, hulpbron) beperkings kan uitdruk.
Die semantiese domein het 'n uitvoerbare C ++ model wat reeds semanties geanker aan die hibriede outomate formalisme. Hoewel die model van berekening ooreenstem met hibriede outomate, so ver ons suksesvol in die ontleding van die modelle deur konserwatiewe benadering met behulp van snel outomate grootte stelsels matige was.
Om te gaan met 'n groot skaal voorbeelde van die gebruiker het die vermoë om die simulasie / toets koppelvlak te gebruik op die uitvoerbare C ++ model voor die implementering van die stelsel. Ons beplan om die genetiese algoritmes uit te brei na 'n groot aantal van die probleme op te los.
DROOM is 'n simulasie en verifikasie raamwerk wat 'n formele model en ontleding van jou stelsel bied in minder as 'n dag. Stelsels in DROOM gespesifiseer met behulp van XML in 'n eenvoudige manier. Ek hoop dat jy dit nuttig vind.
Real-time middleware bied betroubare en doeltreffende platforms ondersteun sleutel funksionele en kwaliteit van die diens (QoS) behoeftes van versprei real-time embedded (DRE) stelsels.
Belangrikste uitdagings in DRE stelsel ontwikkelings sluit veilige samestelling van komponente en kartering van die funksionele spesifikasies op die teiken platform. -Model-gebaseerde tegnologie help hierdie kwessies te stel deur ontwerp-time analise en die verskaffing van die middel vir die vinnige evaluasie van ontwerp alternatiewe met betrekking tot end-tot-end QoS eienskappe, voorspelbaarheid en prestasie maatreëls voor die pleeg van 'n spesifieke platform.
Die Distributed Real-time Embedded analise Metode droom is 'n oop-bron hulpmiddel en metode vir die optimalisering verskeie kwaliteit van die diens (QoS) eienskappe van versprei real-time embedded (DRE) stelsels. Die projek fokus op die praktiese toepassing van formele analise metodes om real-time middleware die verifikasie, ontwikkeling, opset, en integrasie van middleware gebaseer DRE stelsels te outomatiseer.
Wat is nuut in hierdie release:
· Hierdie weergawe geïmplementeer verskeie optimalisaties vir verbeterde prestasie model nagaan, wat in 'n indrukwekkende prestasie winste van minstens 2-3 keer.
· Daar is geen bekende geheue teenwoordig is in die huidige weergawe lekkasies.
· Gebalanseerde AVL bome word nou gebruik, wat in eksponensiële speedups in verskeie stappe van die model nagaan metode.
· XML Schema validering geïmplementeer is.
· Verifikasie tyd verslagdoening opgegradeer om data op die simulasie spoed te sluit.
· Random-simulasie gebaseer toets bied nou 'n uitvoering spoor wanneer 'n sperdatum gemis.