Home > Downloads

PragmaDev Studio V5.2.1

Download as a a common zip file for Windows, Linux, and Mac (313 465 464 bytes):

RTDS V5.2 introduces:
  • ETSI SIP TTCN-3 support,
  • Code folding,
  • Direct PDF generation,
  • Improved tracing,
  • Improved freeRTOS.
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).

Previous versions

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


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

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.

Short video introduction

What we do explained in seven minutes.