Modelling, Prozessorunabhängig

PragmaDev MSC Tracer ist ein graphisches Trace-Tool das auf dem ITU-T Message Sequence Chart und OMG UML2.0 Sequence Diagram Standards basiert.

Es liefert eine graphische Darstellung von: Tasks, States, Messages, Semaphores, Timer, Objects

Modellbasierte Softwareentwicklung

RTDS ist ein Werkzeug zur Spezifikation, zum Entwurf und Test speziell von Echtzeit- und eingebetteten Applikationen, kurzum es unterstützt eine vollständig Modell basierte Softwareentwicklung für Embedded Systeme.

Sparen Sie wertvolle Softwareentwicklungszeit in Ihrem Projekt und verbessern Sie die Qualität der Software.

• Erhöhung der Software-Qualität um Faktor 5
• Reduktion der Entwicklungszeit um 35%
• Automatisch erzeugte Dokumentation
• RTOS unabhängige, portable Anwendungen
• formal überprüfbare Modelle
• Traceability Information