DREAM Tool

Software screenshot:
DREAM Tool
Software informatie:
Versie: 0.7 Beta
Upload datum: 3 Jun 15
Ontwikkelaar: DREAM Tool Team
Licentie: Gratis
Populariteit: 29

Rating: 3.0/5 (Total Votes: 1)

DREAM Tool is een generiek framework dat is gericht op het verstrekken van een gemeenschappelijke semantische domein waarin verschillende (real-time, stroomverbruik, resource) beperkingen kan uitdrukken.
De semantische domein heeft een executable C ++ model dat is semantisch verankerd aan de hybride automaten formalisme. Hoewel het model van berekening komt overeen met hybride automaten, tot nu toe hebben we succesvol zijn in het analyseren van de modellen door conservatieve benadering met behulp van getimede automaten van de grootte systemen matig geweest.
Bijgevolg grote schaal voorbeelden de gebruiker in staat om de simulatie / testinterface door aan de executable C ++ model alvorens aan het systeem. We zijn van plan om de genetische algoritmen uit te breiden tot een groot aantal van de problemen op te lossen.
DREAM is een simulatie en verificatie kader dat een formeel model en analyse van uw systeem biedt in minder dan een dag. Systems in DREAM worden gespecificeerd met behulp van XML op een eenvoudige manier. Ik hoop dat u het nuttig vinden.
Real-time middleware biedt betrouwbare en efficiënte platforms ondersteunen van belangrijke functionele en quality of service (QoS) behoeften van gedistribueerde real-time embedded (DRE) systemen.
De belangrijkste uitdagingen in DRE systeem ontwikkelingen zijn veilige samenstelling van systeemcomponenten en in kaart brengen van de functionele specificaties op het doel platform. Model-gebaseerde technologieën te helpen aanpakken van deze problemen doordat het ontwerp-time analyse en het verstrekken van de middelen voor de snelle evaluatie van het ontwerp alternatieven met betrekking tot de end-to-end QoS eigenschappen, voorspelbaarheid en prestatie-indicatoren voor het plegen van een specifiek platform.
De Distributed Real-time embedded analysemethode DREAM is een open-source tool en de methode voor het optimaliseren van meerdere quality of service (QoS) eigenschappen van gedistribueerde real-time embedded (DRE) systemen. Het project richt zich op de praktische toepassing van formele analyse methoden om real-time middleware om de controle, ontwikkeling, configuratie en integratie van middleware gebaseerde DRE systemen automatiseren.
Wat is er nieuw in deze release:
· Deze versie geïmplementeerd verschillende optimalisaties voor betere prestaties model checking, wat resulteert in indrukwekkende prestaties winsten van ten minste 2-3 keer.
· Er zijn geen bekende geheugen aanwezig is in de huidige release lekken.
· Gebalanceerde AVL bomen worden nu gebruikt, resulterend in exponentiële snelheidswinst in verschillende stappen van het model zoekmethode.
· XML Schema validatie werd uitgevoerd.
· Verificatie time rapportage werd opgewaardeerd naar gegevens over de simulatie snelheden bevatten.
· Random simulatie-gebaseerde testen biedt nu een executie trace wanneer een deadline wordt gemist.

Vergelijkbare software

Flyspray
Flyspray

3 Jun 15

GAJET
GAJET

2 Jun 15

pycdep
pycdep

11 May 15

Reacties op DREAM Tool

Reacties niet gevonden
Commentaar toe te voegen
Zet op de beelden!