DREAM Tool

Screenshot der Software:
DREAM Tool
Softwarebeschreibung:
Version: 0.7 Beta
Upload-Datum: 3 Jun 15
Entwickler: DREAM Tool Team
Lizenz: Frei
Popularität: 29

Rating: 3.0/5 (Total Votes: 1)

DREAM-Tool ist ein allgemeiner Rahmen, der auf die Schaffung eines gemeinsamen semantischen Domäne, die mehrere (in Echtzeit, Energieverbrauch, Ressourcen) Einschränkungen ausdrücken können soll.
Die semantische Domain besitzt eine ausführbare C ++ Modell, das semantisch auf das Hybrid Automaten Formalismus wurde verankert hat. Obwohl das Berechnungsmodell entspricht Hybrid-Automaten, so weit waren wir bei der Analyse der Modelle durch konservative Näherung mit Zeitautomaten auf moderate Größe Systeme erfolgreich.
Mit großen Beispielen befassen hat der Anwender die Möglichkeit, die Simulation / Test-Schnittstelle auf der ausführbare C ++ Modell vor der Implementierung des Systems zu verwenden. Wir planen, die genetische Algorithmen erweitern, um eine große Anzahl von Problemen zu lösen.
DREAM ist eine Simulation und Verifikation Rahmen, der ein formales Modell und Analyse des Systems in weniger als einem Tag bietet. Systeme in DREAM angegeben unter Verwendung von XML auf einfache Weise. Ich hoffe, Sie finden es nützlich.
Echtzeit-Middleware bietet zuverlässige und effiziente Plattformen unterstützen wichtigsten Funktions und Quality of Service (QoS) Anforderungen von verteilten Echtzeit-Embedded (DRE) Systemen.
Zentrale Herausforderungen in DRE Systementwicklungen sind sicher Zusammensetzung der Systemkomponenten und die Abbildung der funktionalen Spezifikationen auf der Zielplattform. Modellbasierte Technologien dazu beitragen, diese Probleme, indem du Entwurfszeit-Analyse und die Bereitstellung der Mittel für die schnelle Auswertung von Entwurfsalternativen im Hinblick auf QoS-Eigenschaften, Berechenbarkeit und Performance-Maßnahmen Ende-zu-Ende vor der Festlegung auf eine bestimmte Plattform.
Die verteilte Echtzeit-Embedded Analysemethode DREAM ist ein Open-Source-Tool und Verfahren zur Optimierung mehrerer Dienstgüte (QoS) Eigenschaften von verteilten Echtzeit-Embedded (DRE) Systemen. Das Projekt konzentriert sich auf die praktische Anwendung der formalen Analyse Methoden, um Echtzeit-Middleware zur Überprüfung, Entwicklung, Konfiguration und Integration von Middleware-basierte DRE-Systemen zu automatisieren.
Was ist neu in dieser Version:
· Diese Version implementiert einige Optimierungen für verbesserte Modellprüfung Leistung, was zu einer beeindruckenden Leistungssteigerung von mindestens 2-3 Mal.
· Es gibt in der aktuellen Version vorhanden keine bekannten Speicherlecks.
· Balanced AVL-Bäume werden nun verwendet, was zu einer exponentiellen Beschleunigungen in mehreren Schritten des Model Checking Verfahren.
· XML-Schema-Validierung wurde implementiert.
· Überprüfung Zeit-Reporting wurde aktualisiert, um Daten über die Simulationsgeschwindigkeit umfassen.
· Zufall simulationsbasierte Tests bietet nun eine Ausführungs Spur, wenn eine Frist versäumt.

Ähnliche Software

teamcity-messages
teamcity-messages

15 Apr 15

pry
pry

14 Apr 15

pyfix
pyfix

20 Feb 15

dfuzz
dfuzz

12 May 15

Kommentare zu DREAM Tool

Kommentare nicht gefunden
Kommentar hinzufügen
Schalten Sie auf die Bilder!