PragmaDev
Gegründet im Jahr 2001 mit Sitz in Paris/Frankreich ist PragmaDev mit seinem PragmaDev Studio Tool Set der führende Anbieter von Software-Modellierungswerkzeugen für Systeme, die auf einem RTOS aufsetzen.
Hersteller
News
PragmaDev Process 2.1
PragmaDev Process V2.1 finds critical paths in business processes
PragmaDev Process 2.0 veröffentlicht
PragmaDev Process V2.0, a new generation of business process simulator
PragmaDev Studio 5.5 verfügbar
Jetzt mit einem ASN.1 Encoder. Hierdurch ist die target Integration nun erheblich leichter.
Weitere News
Ältere News
Beratung
Lassen Sie sich beraten, nutzen Sie unser Formular, wir melden uns umgehend bei Ihnen zurück. Oder rufen Sie an:
+49 251 98729-0
PragmaDev Studio
Handle complexitiy in system development
PragmaDev Studio ist ein Case Tool 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 Echtzeit-Systeme.
PragmaDev Studio hilft die Komplexität, die mit der Entwicklung heutiger Kommunikationssysteme verbunden ist zu beherrschen. Es integriert vier verschiedene Tools, die auf internationalen Standardtechnologien basieren. Jedes Tool ist einem Benutzerprofil zugeordnet: Architekten/Systemingenieure, Entwickler und Tester:
Features
- Modell getriebener Ansatz
- Automatische Überprüfung des Modells
- Erzeugung von vollständigem Programmcode
- UML SDL C/C++ basiert
- RTOS Integration
- Cross-Debugger Integration
- Erzeugung der vollständigen Dokumentation
Vorteile
- 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
| Anhang | Größe |
|---|---|
| PragmaDev Studio | 849.6 KB |
Weitere Modelling
PragmaDev Process
PragmaDev Process ist ein einfaches und leistungsfähiges Werkzeug, das den Modellierern von Geschäftsprozessen helfen soll, ihre Modelle zu verifizieren und zu optimieren.
PragmaDev
Modelling