|
|
|
|
|
2001
| |
|
Création de PragmaDev lauréat du concours national sur les technologies innovantes.
|
|
Développer un outil de modélisation pour les développeurs de logiciel temps réel basé sur SDL-RT, une combinaison de LDS et de C.
|
|
2002
| |
|
Master 2002 de la création d'entreprise.
|
|
Récompense décernée par le Salon des entrepreneurs à Paris.
|
|
2002
| |
|
Première version de Real Time Developer Studio avec une unique intégration de RTOS.
|
|
Développeurs de logiciels embarqués basés sur VxWorks.
|
|
2003
| |
|
Support du diagramme de classe, de déploiement, et d'usage UML.
|
|
Les développeurs orientés objets retrouvent leurs concepts.
|
|
2004
| |
|
2004 Sélection parmi les sociétés Best-IT.
|
|
Récompense de la session de printemps de Capital-IT.
|
|
2004
| |
|
Nouvelle version majeure RTDS G3 introduit le support du LDS y compris un simulateur.
|
|
Les utilisateurs de LDS peuvent utiliser la notation originale et importer d'outils existants.
|
|
2005
| |
|
Master 2005 de la création d'entreprise.
|
|
Récomense du parlement Français.
|
|
2007
| |
|
Projet du pôle de compétitivité Systematic exoTICus avec Alcatel.
|
|
Expérimentation de l'export du modèle pour la vérification de propriétés.
|
|
2007
| |
|
SDL Forum à Paris.
|
|
PragmaDev accueille la principale conférence sur la technologie LDS implémentée dans l'outil.
|
|
2008
| |
|
Etablissement d'un partenariat avec Verimag.
|
|
Première tentative de vérification de modèle.
|
|
2009
| |
|
Introduction du TTCN-3 dans la V4.
|
|
Permet d'automatiser le test des modèles.
|
|
2010
| |
|
Intégration dans le chaine d'outil TASTE de l'ESA.
|
|
Intégration des modèles avec AADL, Matlab, Ada à travers des connecteurs ASN.1.
|
|
2011
| |
|
Projet européen Presto.
|
|
Projet collaboratif avec Thales ciblant la vérification de propriétés sur des traces d'exécution.
|
|
2012
| |
|
UIT-T standardise le support du C dans le LDS.
|
|
Standardisation du SDL-RT.
|
|
2013
| |
|
PragmaList, laboratoire de recherche commun avec le CEA List.
|
|
Analyse symbolique du modèle afin de vérifier des propriétés ou générer des cas de test.
|
|
2015
| |
|
PragmaDev Studio est la V5.
|
|
Nouvelle organisation, nouveau prix, nouvelle ergonomie.
|
|
2018
| |
|
Projet collaboratif VeriMoB avec la DGA, Eurocontrol, et Airbus DS.
|
|
Objectif de vérification des processus métier décrits avec BPMN.
|
|
2019
| |
|
Première version de PragmaDev Process.
|
|
Un nouvel outil pour vérifier les processus métier.
|
|
2021
| |
|
J'ose le changement.
|
|
Je télécharge et j'expérimente.
|
|
| |
|
|
|
|
