Domaines technologiques
Modélisation
Développement logiciel
Développement orienté modèle
Langage formel
Temps réel
Embarqué
Système d'exploitation temps réel
UML
SDL
SDL-RT
MSC
TTCN-3
TTCN
MDA
MDE
MDD
Prestations proposées
Lauréate du concours national du ministère de la recherche 2001, la société PragmaDev offre un outil pour la modélisation des applications temps réel et embarquées: Real Time Developer Studio.
L'outil couvre les phases de spécification, conception, vérification, prototypage, génération de code, débogue sur cible, et test. De nombreux outils partenaires sont intégrés tels que les RTOS du marché (VxWorks, ThreadX, Nucleus, posix...), les compilateurs / débogueurs (Tornado, Multi, Tasking, gdb...), les outils de traçabilité (Reqtify), des outils de vérification formelle (IF). De plus la documentation complète du modèle peut être générée au formats Word, OpenOffice, HTML, ou SGML.
Valeur ajoutée
Il a été mesuré par de grands industriels que ce type de technologie permet de réduire les temps de développement de 35% à 50% et améliore la qualité d'un facteur 5.