Traumwerkzeug Dream Tool ist ein generischer Rahmen, der darauf abzielt, eine gemeinsame semantische Domäne bereitzustellen.
Jetzt downloaden

Traumwerkzeug Ranking & Zusammenfassung

Traumwerkzeug Stichworte

Rahmen generisch Generischer Rahmen. semantisch Analyse Framework. semantische Domäne

Traumwerkzeug Beschreibung

Das Traumwerkzeug ist ein generischer Rahmen, der darauf abzielt, eine gemeinsame semantische Domäne bereitzustellen. Das Traumwerkzeug ist ein generischer Rahmen, der darauf abzielt, eine gemeinsame semantische Domäne bereitzustellen, die mehrere (Echtzeit-, Stromverbrauchs-, Ressourcen-) Einschränkungen ausdrücken kann. Die semantische Domäne verfügt über ein ausführbares C ++ - Modell, das semantisch an den Hybridautomatenformalismus verankert ist. Obwohl das Berechnungsmodell Hybridautomaten entspricht, waren wir bislang erfolgreich, um die Modelle durch konservative Annäherung anhand von zeitgesteuerten Automaten auf mäßigen Größensystemen zu analysieren auf dem ausführbaren C ++ - Modell vor der Implementierung des Systems. Wir planen, die genetischen Algorithmen zu erweitern, um eine Vielzahl von Problemen zu lösen. Dream ist ein Simulations- und Überprüfungsrahmen, der ein formelles Modell und eine Analyse Ihres Systems in weniger als einem Tag bietet. Systeme in Traum werden mit XML einfach auf einfache Weise angegeben. Ich hoffe, Sie finden es nützlich.Frich-Time-Middleware bietet zuverlässige und effiziente Plattformen, die den Schlüssel funktionsfähig und die Servicequalität (QoS) angeboten werden und Abbildung der funktionalen Spezifikationen auf der Zielplattform. Modellbasierte Technologien helfen, diese Probleme zu beheben, indem die Design-Time-Analyse aktiviert wird und die Mittel zur schnellen Bewertung von Designalternativen in Bezug auf End-to-End-QoS-Eigenschaften, Vorhersehbarkeit und Leistungsmaßnahmen, bevor sie auf eine bestimmte Plattform begangen werden. Embedded-Analysis-Methode-Dream-Traum ist ein Open-Source-Tool und ein Verfahren zur Optimierung mehrerer Qualitätsqualität (QoS) -Vereigentum von verteilten Echtzeit-Systemsystemen (DRTE). Das Projekt konzentriert sich auf die praktische Anwendung formaler Analysemethoden auf Echtzeit-Middleware, um die Überprüfung, Entwicklung, Konfiguration und Integration von Middleware-basierten DRE-Systemen zu automatisieren. Was in dieser Version neu ist: · Diese Version hat mehrere Optimierungen für eine verbesserte Modellprüfung implementiert Leistung, was zu beeindruckenden Leistungsgewinnen von mindestens 2-3-fachen führt. · Es gibt keine bekannten Speicherlecks in der aktuellen Freigabe. · Ausgewogene AVL-Bäume werden nun verwendet, was zu exponentiellen Beschleunigungen in mehreren Schritten der Modellprüfung führt. · XML-Schemasvalidierung wurde implementiert. · Die Überprüfungszeitberichterstattung wurde aufgerüstet, um Daten auf die Simulationsgeschwindigkeiten einzuschließen. · Zufällige simulationsbasierte Tests liefert jetzt einen Ausführungsabschnitt, wenn eine Frist verpasst ist.

Traumwerkzeug Zugehörige Software