Home > Downloads

PragmaDev Process V1.0

Download as a a common zip file for Windows, Linux, and macOS (130 485 707 bytes):

PragmaDev Process, a new tool to verify business processes. PragmaDev launches PragmaDev Process a new product that aims at verifying business process models described with BPMN (Business Process Model Notation). The new product includes:
  • an editor,
  • an executor,
  • and an explorer.
The editor is free of charge without any restrictions and the executor offers free execution of small models. Please note the PragmaDev On Line License Management system is not activate yet on our web site. Check the exhaustive list of new features here (restricted access).

Free ETSI SIP executable

ETSI conformance test suite for SIP are available for free as a win32, linux 32 or linux 64 executable and no license is required to execute them. The TTCN-3 source files are also available to download, it requires a PragmaDev Tester license to be edited or compiled. Please note these source files are slightly different from the original ETSI source files since some minor errors in the original ones had to be corrected.

FLEXlm V11.5

This is to be used if the FLEXlm version coming within RTDS (V8.0) is not supported by your license server.

  • For recent Linux server with the new glibc (V2.4 or more) :
FLEXlm license administration manual.

Previous versions

Previous version of our tool can be downloaded here (restricted access to customers).

PragmaDev Studio V5.4.4

Download as a a common zip file for Windows, Linux, Raspbian, and macOS (378 090 242 bytes):

PragmaDev Studio V5.4 introduces:
  • Runs natively on Raspbian,
  • ASN.1 tab completion,
  • Multiple finds,
  • Improved test traces,
  • FMI on macOS.
Check the exhaustive list of new features here (restricted access).

Release notes:

  • PragmaDev Tracer is integrated in PragmaDev Studio. There is no PragmaDev Tracer installation as such, just install PragmaDev Studio.

  • Solaris version is not in this distribution. Contact support for more information.

  • Installation under macOS might require to authorize execution of a downloaded file.

  • Latest release of macOS does not come with gdb any more. Therefore the current debug profiles in the code generation examples do not work on this platform.

  • In some new Linux distributions such as Fedora 23, 24, and 25 we have experienced some display problems (some menus or text do not appear) and some blocking problems (the whole application freezes). For the time being a way around is to put the following library in the $RTDS_HOME/bin directory of PragmaDev Studio installation: libfontconfig.so.1 and make sure it has read permission.

  • In some Linux distributions (eg CentOS 7), while using the default provided fonts with PragmaDev Studio, underscore characters are not shown for some font sizes (eg 14). A fix for now is to change font hinting in the system (for CentOS 7 setting hinting to FULL works).

PragmaDev Studio Manuals

The following manuals which are in PragmaDev Studio distribution are also available below: