|
|
|
|
|
2001
| |
|
PragmaDev is created and wins a national competition on innovative technologies.
|
|
Develop a modeling tool for real time software developers based on SDL-RT, a combination of SDL and C.
|
|
2002
| |
|
Master 2002 de la création d'entreprise.
|
|
Award from the Salon des entrepreneurs in Paris.
|
|
2002
| |
|
First version of Real Time Developer Studio with a unique RTOS integration.
|
|
Embedded software developers working with VxWorks.
|
|
2003
| |
|
Adds support of UML Class diagram, Deployment diagram, and Use cases.
|
|
Object oriented developers find their way with familiar OO concepts.
|
|
2004
| |
|
2004 Best-IT company selection.
|
|
Award from the spring session of Capital-IT.
|
|
2004
| |
|
New major release RTDS G3 introduces the support of SDL including a model simulator.
|
|
Existing SDL users can use the original notation and import from existing tools.
|
|
2005
| |
|
Master 2005 de la création d'entreprise.
|
|
Award at the French parliament.
|
|
2007
| |
|
Systematic cluster collaborative project exoTicus with Alcatel.
|
|
Experiment to export the model to verify properties on it.
|
|
2007
| |
|
SDL Forum in Paris.
|
|
PragmaDev to host the main conference on its core technology SDL.
|
|
2008
| |
|
Setting up a partnership with Verimag.
|
|
First attempt to introduce model checking.
|
|
2009
| |
|
Introduction of TTCN-3 in V4.
|
|
Automate model testing.
|
|
2010
| |
|
Integration in ESA TASTE framework.
|
|
Model integration with AADL, Matlab, Ada through ASN.1 connectors.
|
|
2011
| |
|
Presto European project.
|
|
Collaborative project with Thales on how to verify properties on an execution trace.
|
|
2012
| |
|
ITU-T standardizes the support of C in SDL.
|
|
Standardization of SDL-RT.
|
|
2013
| |
|
PragmaList Common resarch lab with CEA List.
|
|
Symbolic analysis of the model in order to verify properties or generate test cases.
|
|
2015
| |
|
V5 is PragmaDev Studio.
|
|
New organisation, new price, new look & feel.
|
|
2018
| |
|
VeriMoB collaborative project with DGA, Eurocontrol, and Airbus DS.
|
|
Aiming at the verification of business process models described with BPMN.
|
|
2019
| |
|
First version of PragmaDev Process.
|
|
A new tool to verify business process.
|
|
2021
| |
|
I dare change.
|
|
Download and experiment modeling.
|
|
| |
|
|
|
|
