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
Prestations proposées
Lauréate du concours national du ministère de la recherche 2001, la société PragmaDev offre un outil pour le développement orienté modèle des applications temps réel et embarquées basé sur des langages standards : Real Time Developer Studio.
L'outil couvre les phases de spécification, conception, génération de code et débogue sur cible. 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.