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
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 Opticsvalley A28 booth.
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.
Feb 16, 2015 - Paris - France - PragmaDev introduces a simulator of connected objects in its latest release V4.6.