In a few words
PragmaDev is a privately held company based in Paris France that provides a set of modeling tools for the prototyping, the development,
and the test of communicating systems called "Real Time Developer Studio" and "PragmaDev Tracer".
Would you have an issue to understand what your client is expecting from you, to define a proper software architecture,
to test without a target, to maintain your software, or to document your design, you should consider our solution.
Real Time Developer Studio targets all development teams working on communicating systems with a unique combination of standard languages.
It provides three levels of modeling: informal, semi-formal, and fully formal modeling. While informal modeling
is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation,
debug on target, and test of the model.
The PragmaDev Tracer is a free on-line or off-line tracing tool that can verify properties on the traces.
PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Alcatel-Lucent,
the French Army, the European Space Agency, Toshiba, Korean Telecom, and LG Electronics.
News and events
May 26, 2014 - Valencia - Spain - Call for papers for the 8th System Analysis and Modelling Conference (SAM 2014).
Feb 5-7, 2014 - Toulouse - France - PragmaDev present its Fiacre export at and exhibit at the ERTS2 show.
Jan 27, 2014 - Participate to PragmaDev on-line survey on modeling technologies and get a chance to win an iPad mini.
Dec 12, 2013 - Paris - PragmaDev sponsor of the ARM Technology Symposium.
Dec 10, 2013 - webinar on the benefits of modeling with a formal language.
Dec 4-6, 2013 - Paris - PragmaDev partner of the CSD&M conference.
Oct 22-24, 2013 - PragmaDev is Gold sponsor of the first ETSI User Conference on Advanced Automated Testing (UCAAT).
Oct 22, 2013 - PragmaList: a new common laboratory dedicated to the validation of communicating systems.
Aug 30, 2013 - New demo of model checking with FIACRE and TINA.