Home > Downloads


PragmaDev Studio V5.1.2

Download as a a common zip file for Windows, Linux, and Mac (312 438 205 bytes):

RTDS V5.1 introduces:
  • Freemium licensing,
  • Automatic non regression testing,
  • New TTCN-3 editor,
  • New widget in prototyping GUI,
  • Built in library to handle files and generate radar graphs.
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. 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

Previous versions

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

Manuals

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.