Now 4 independent but integrated modules:

Free download here.

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 stand alone tracing tool that is also integrated in the other modules.

The complete tool set includes bridges from one tool to the 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.

Read more...

News and events RSS

Nov 8-9, 2017 - Paris - France - PragmaDev exhibits at the Transrail Connection.


Oct 11-13, 2017 - Berlin - Germany - PragmaDev is Bronze sponsor of the fifth ETSI User Conference on Advanced Automated Testing.


Oct 9-11, 2017 - Call for participation SDL Forum 2017.


Sep 15, 2017 - Paris - France - PragmaDev launches a student contest.


Jun 30, 2017 - Recording of our 30 minutes webinar presenting PragmaDev Studio V5.2 new features.


Jun 19, 2017 - Paris - France - New PragmaDev Studio release V5.2 introducing support of ETSI TTCN-3 conformance test suites.


May 21-25, 2017 - PragmaDev is a sponsor of the IEEE ICC 2017 conference.


Mar 22, 2017 - M2M & Embedded show - PragmaDev representative in the panel session on Les protocoles de communication dans un contexte d'explosion des volumes de données.