Home > Downloads

PragmaDev Studio V5.3.2

Download as a a common zip file for Windows, Linux, and Mac (334 761 913 bytes):

PragmaDev Studio V5.3 introduces:
  • FMI V2.0,
  • Support of requirements table in Reqtify integration,
  • New type declaration wizard,
  • Statement wizard,
  • New gauge widget for the gui,
  • Raspberry Pi integration example.
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.

  • 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).


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

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).

Short video introduction

What we do explained in seven minutes.