Quatre modules indépendants mais intégrés:

Téléchargement gratuit ici.

En quelques mots

PragmaDev Studio aide à gérer la complexité inhérente aux systèmes communicants modernes. Il intègre quatre outils différents s'appuyant sur des standards technologiques internationaux. Chaque outil s'adresse à un profil utilisateur particulier: architectes/ingénieurs système, développeurs, et testeurs.

PragmaDev Specifier aide les ingénieurs système à spécifier et vérifier les fonctionnalités du système, et à définir la meilleure architecture pour la performance ou l'efficacité énergétique. PragmaDev Developer permet aux concepteurs logiciel d'écrire un code maintenable et auto-documenté. PragmaDev Tester permet au testeur d'écrire des tests d'intégration et de validation avec un langage dédié, synthétique et exécutable. PragmaDev Tracer permet de décrire des scénarios attendus, des propriétés, ou de tracer une exécution.

La version complète de l'outillage propose des passerelles entre les différents outils comme par exemple la génération automatique de tests à partir d'un modèle fonctionnel (model based testing).

PragmaDev compte parmi ses utilisateurs les plus grandes références industrielles telles que: Renault, Airbus, Nokia, ST, ABB, la DGA, Wipro, Korean Telecom, et LG Electronics.

En savoir plus...

Fil d'actualités RSS

Dec 7, 2018 - Paris - France - PragmaDev parlera de Techniques de vérification de systèmes événementiels, et de l'impact sur la sécurisation des logiciels à la conférence Embedded-SEC18.


23-24 Oct, 2018 - Paris - France - PragmaDev présentera sa nouvelle version de PragmaDev Studio au salon Enova.


22 Oct 2018 - Paris - France - Nouvelle version 5.4 de PragmaDev Studio introduit la Raspberry Pi comme... station hote.


16-18 Oct, 2018 - Paris - France - PragmaDev a présenté "Faciliter le test de systèmes synchrones" lors de la conférence UCAAT.


15-16 Oct, 2018 - Copenhague - Danemark - Appel à participation à la conférence System Analysis and Modelling (SAM 2018), satellite de Models.


11-12 Sep, 2018 - Noordwijk - Pays Bas - PragmaDev participera aux journées des industries de l'espace Industry Space Days.


Mai 31, 2018 - Regardez et téléchargez notre intégration avec la Raspberry Pi et sa carte d'extension Sense Hat.