Verum Dezyne


Was wäre, wenn Sie Ihr System verifizieren könnten, bevor Sie es erstellen?


Verum Dezyne ist eine neue Generation von modellgetriebenem Software-Entwicklungs-Tool, das es Software-Ingenieuren ermöglicht, Designs für zustandsbasierte, ereignisgesteuerte oder gleichzeitige Softwaresysteme zu erstellen, zu erforschen und formal zu überprüfen.

 

TimeOut

„Wenn ein verzögerter Timeout zum Absturz führen kann, kann Ihr System abstürzen“

Es führt zu generiertem Code, der robust, zuverlässig und vertrauenswürdig ist. Zu den Ergebnissen gehören eine Senkung der Entwicklungskosten um 50%, eine Verkürzung der Markteinführungszeit um 20% und eine Senkung der Kosten für Feldfehler um 25%.

Basierend auf einer leistungsstarken, offenen Modellierungssprache gibt Dezyne Softwareingenieuren die Möglichkeit, ihre Entwürfe mit Hilfe fortschrittlicher Simulationstechniken vollständig zu erforschen. Die automatisierte formale Überprüfung entdeckt versteckte Mängel, die sonst praktisch nicht zu finden sind. Eine effiziente Codegenerierung verwandelt verifizierte Modelle sofort in ausführbare Ergebnisse.

Dezyne ist in die Eclipse- und Microsoft Visual Studio-IDEs integriert und mit leistungsstarken Cloud-basierten Simulations-, Verifikations- und Codegenerierungs-Triebwerken verknüpft. Innerhalb der IDE bietet Dezyne eine Reihe von grafischen Ansichten von Modellen, (Sub-)Systemen und Ablaufverfolgungen, die das „mentale Modell“ des Softwareentwicklers unterstützen und es anderen Beteiligten ermöglichen, die Arbeit des Ingenieurs zu verstehen.  

Kurz gesagt, Dezyne bietet Lösungen für:

  • Aufbau von nachweislich korrekten, robusten und zuverlässigen zustandsbasierten, ereignisgesteuerten oder gleichzeitigen Systemen. 
  • Verständnis und einfache Visualisierung der Architektur und des Designs anspruchsvoller eingebetteter Systeme 
  • Kommunikation, Überprüfung und Dokumentation des Verhaltens von Softwarekomponenten und (Unter-)Systemen 
  • Sicherstellung der dauerhaften, langfristigen Integrität, Wiederverwendbarkeit und Wartbarkeit von Softwarearchitekturen und -designs. 

 


Frei von den Einschränkungen herkömmlicher Entwicklungsmethoden können sich Softwareentwickler auf die schnelle Entwicklung innovativer eingebetteter Systeme konzentrieren. Das Ergebnis ist eine Software, der Sie vertrauen können, basierend auf Beweisen.


VerumSystems


Für weitere Informationen können Sie die Seite des Produkteigentümer besuchen, indem Sie hier klicken



Get in touch about our products

Full Name (required)

Title

Work Email (required)

Company

Contact number

Product
KlocworkUnderstandPerforceLattixSecurity InnovationFlexNet Code InsightSemiosVerum Dezyne

Priority
High

Other information