PragmaDev

Company (SME)

www.pragmadev.comParis, France
1 profile visit

About

PragmaDev provides two lines of product: 1) 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. 2) PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies such as SDL, SDL-RT, MSC, PSC, ASN.1, TTCN-3, UML, and SysML.

Destination 02: Cross-sectoral solutions for the climate transition

HORIZON-CL5-2024-D2-02-01: Sustainable high-throughput production processes for stable lithium metal anodes for next generation batteries (Batt4EU Partnership)

Destination 03: Sustainable, secure and competitive energy supply

HORIZON-CL5-2024-D3-02-01: Digital tools for CSP and solar thermal plants

Destination 06: Safe, Resilient Transport and Smart Mobility services for passengers and goods

HORIZON-CL5-2024-D6-01-01​: Centralised, reliable, cyber-secure & upgradable invehicle electronic control architectures for CCAM connected to the cloud-edge continuum​

Representatives

Emmanuel Gaudin

CEO

PragmaDev