Verification and optimisation of business processes.

Free download here.


4 independent and integrated modules to specify, design, test, and trace communicating systems:

Free download here.

In a few words

PragmaDev provides two lines of product:

PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to define, to verify and to optimise their models. It integrates a BPMN editor, an executor, an explorer, and a BPSim simulator.

PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. 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.

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

Read more...

News and events RSS

Oct 3, 2024 - Optimized number of replications in PragmaDev Process V3.3.


Sep 24, 2024 - "Resources, the key to business process optimization" presentation during the Industry Days of Models conference.


Jun 6, 2024 - Performance analyzer in new PragmaDev Process V3.2.


Jun 11-12, 2024 - PragmaDev will exhibit at ERTS 2024 the Embedded Real Time Software and Systems conference in Toulouse.


Mar 6, 2024 - Watch our new training session An introduction to BPSim.


Feb 9, 2024 - SAM 2024 - Call for paper under the theme Challenges and Opportunities of Systems Modeling and Analysis in the Era of AI and the Metaverse.


Nov 22, 2023 - Fast BPMN editing and BPSim multi-core simulation replay is on line.


Nov 2, 2023 - Agnostic model checking of SDL models paper presentation at SAM2023.