In a few words

PragmaDev is a privately held company based in Paris France that provides a set of tools for the modeling, 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.

Read more...

News and events RSS

Oct 20-22, 2015 - PragmaDev is Gold sponsor of the third ETSI User Conference on Advanced Automated Testing (UCAAT).


Oct 12-14, 2015 - Berlin - Germany - Call for participation for the 17th International Specification and Design Languages Forum.


Sep 22-24, 2015 - Paris - France - Meet us at the Enova exhibition Porte de Versailles on booth A39C.


Jun 15, 2015 - Paris - France - RTDS V4.6.1 is now available.


June 3, 2015 - Noisy le Grand - France - Meet us at the NAFEMS conference on system simulation.


May 18, 2015 - System modeling listed as the main upcoming topic in 2015 PragmaDev survey. The winner of the pool is Robert Hellebrand from pure-systems in Germany.


Apr 2, 2015 - Paris - PragmaDev talk on Simulation of a network of connected objects at the RTS conference.


Mar 11, 2015 - Webinar on RTDS V4.6 new features.


Mar 9, 2015 - Participate to PragmaDev on-line survey on modeling technologies and get a chance to win an iPad mini.