Now 4 independant but integrated modules:

In a few words

PragmaDev Studio helps managing complexity inherent to developing todays communicating systems. It integrates four different tools based on international standard technologies. Each tool is dedicated to a user profile: architects/system engineers, developers, and testers.

PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. PragmaDev Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a free stand alone tracing tool that is also integrated in the other modules.

The complete tool set includes bridges from one tool to the to other such as automatic test case generation out of a functional model (model based testing).

PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Alcatel-Lucent, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom, or LG Electronics.


News and events RSS

Oct 7, 2015 - Paris - France - PragmaDev Studio a new generation of modeling and testing tools.

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.