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.

Read more...

News and events RSS

May 18, 2016 - PragmaDev is celebrating its 15th birthday !
Jun 14, 2016 - 30 minutes webinar on Automatic and optimized test generation.


Jun 3, 2016 - 30 minutes webinar on PragmaDev Studio.


May 11, 2016 - Testing listed once again as the main upcoming topic in PragmaDev latest survey.

The winner of the pool is Frédéric Henry from Renault.
Mar 23, 2016 - Embedded systems - PragmaDev representative in the panel session on Protocoles de communication et évolution de leur utilisation dans le contexte de l'IoT.
Feb 15, 2016 - SAM 2016 a satellite event of Models Call for papers on Technology-specific Aspects of Models.


Jan 27-29, 2016 - Toulouse - France - PragmaDev exhibits and presents 2 papers at the ERTS2 conference.