Droomgereedschap Dream Tool is een generiek raamwerk dat gericht is op het leveren van een gemeenschappelijk semantisch domein.
Download nu

Droomgereedschap Rangschikking & Samenvatting

Droomgereedschap Tags

kader algemeen Generiek raamwerk semantisch Analyse framework semantisch domein

Droomgereedschap Beschrijving

Dream Tool is een generiek raamwerk dat gericht is op het leveren van een gemeenschappelijk semantisch domein. Dream Tool is een generiek raamwerk dat gericht is op het leveren van een gemeenschappelijk semantisch domein dat verschillende (real-time, stroomverbruik, resource) beperkingen kan uitdrukken. Het semantische domein heeft een uitvoerbaar C ++ -model dat semantisch is verankerd aan het hybride automaat-formalisme. Hoewel het model van de berekening overeenkomt met Hybrid Automata, tot nu toe zijn we succesvol geweest in het analyseren van de modellen door conservatieve benadering met behulp van timed automata op matige grootte-systemen. Om met grootschalige voorbeelden te gaan, heeft de gebruiker de mogelijkheid om de simulatie / testinterface te gebruiken op het uitvoerbare C ++ -model voor het implementeren van het systeem. We zijn van plan de genetische algoritmen uit te breiden om een groot aantal problemen op te lossen .Dromen is een simulatie- en verificatiekader dat in minder dan een dag een formeel model en analyse van uw systeem biedt. Systemen in droom worden opgegeven met XML op een eenvoudige manier. Ik hoop dat je het nuttig vindt.Real-time middleware biedt betrouwbare en efficiënte platforms die sleutelfunctioneel en kwaliteit van service (QOS) -behoeften van gedistribueerde real-time ingesloten (DRE) -systemen. Toe-uitdagingen in Dre-systeemontwikkelingen omvatten een veilige samenstelling van systeemcomponenten en het in kaart brengen van de functionele specificaties op het doelplatform. Model gebaseerde technologieën helpen deze kwesties aan te pakken door het inschakelen van ontwerptijdanalyse en het verstrekken van de middelen voor de snelle evaluatie van ontwerpalternatieven met betrekking tot end-to-end QoS-eigenschappen, voorspelbaarheid en prestatiemaatregelen voordat ze zich aanleggen aan een specifiek platform. -Tijd Embedded Analysis Methode Dream is een open-source-tool en -methode voor het optimaliseren van meerdere kwaliteit van service (QOS) eigenschappen van gedistribueerde real-time ingebouwde (DRE) -systemen. Het project richt zich op de praktische toepassing van formele analysemethoden voor real-time middleware om de verificatie, ontwikkeling, configuratie en integratie van middleware-gebaseerde DRE-systemen te automatiseren. Wat is er nieuw in deze release: · Deze versie implementeerde verschillende optimalisaties voor verbeterde modelcontrole Prestaties, resulterend in indrukwekkende prestatieverwinningen van minstens 2-3 keer. · Er zijn geen bekende geheugenlekken die aanwezig zijn in de huidige release. · Evenwichtige AVL-bomen worden nu gebruikt, wat resulteert in exponentiële versnellingshulp in verschillende stappen van de Model Control-methode. · XML-schema-validatie is geïmplementeerd. · Verificatietijdrapportage is geüpgraded om gegevens over de simulatiesnelheden op te nemen. · Willekeurige simulatie-gebaseerde testen biedt nu een execution trace wanneer een deadline wordt gemist.

Droomgereedschap Gerelateerde software