Pragmadev
Description de l'entreprise
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.
Offres publiées sur la place de marché
Outils de développement orienté modèle des applications temps réel et embarquéesdans la thématique Génie logicielLauré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. PragmaDev compte parmi ses références clients Airbus, Alcatel, Thomson, Nortel Networks, Renault, Toshiba, ESA, la DGA, Korean Telecom, LG, et Wipro. Technologie : 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. |
PragmaDev - Outils de développement orienté modèle des applications temps réel et embarquéesdans la thématique Logiciel embarqué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. PragmaDev compte parmi ses références clients Airbus, Alcatel, Thomson, Nortel Networks, Renault, Toshiba, ESA, la DGA, Korean Telecom, LG, et Wipro. Technologie : 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. |
