• For Windows and Linux (152 516 970 bytes):
  PROCESSV1-2-1.zip

• For macOS:
  macOS_Process_v1.2.1_installer.dmg

• Collaborative editing,
• Boundary events,
• Signal traces,
• OBP graphical interface,
• Deadlock analysis.

• Coverage viewer,
• Unreachable paths,
• Extended property definition,
• All features.

• Editor,
• Executor,
• Explorer,
• Properties,
• All features.

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) :
  • pragmad daemon :
    pragmad

  • lmgrd associated daemon :
    lmgrd

• Latest FreeRTOS version integration,
• Wayland support on Linux,
• Windows scaling,
• External procedure wrapper,
• Improved simulation performance,
• Requirements editor,
• Direct PDF export.
• Main features - All features.

• Integrated ASN.1 encoder,
• LaTeX documentation generation,
• Stand alone prototyping GUI,
• Linux 64 bit,
• macOS 64 bit with clang and lldb support.
• Main features - All features.

• Runs natively on Raspbian,
• ASN.1 tab completion,
• Multiple finds,
• Improved test traces,
• FMI on macOS.
• Main features - All features.

• FMI V2.0,
• Support of requirements table in Reqtify integration,
• New type declaration wizard,
• Statement wizard,
• New gauge widget for the gui.
• Main features - All features.

• ETSI SIP TTCN-3 support,
• Code folding,
• Direct PDF generation,
• Improved tracing,
• Improved freeRTOS.
• Main features - All features.

• 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.
• Main features - All features.

• New logo,
• New organization in independant modules: Specifier, Developer, Tester.
• New look & feel,
• Tab completion,
• Performance Analyzer.
• Main features - All features

• Deployment simulator,
• Internal traceability,
• Interrupt simulation,
• New PragmaDev License Server and Manager.
• All features

• Model Based Testing unique capabilities based on symbolic resolution,
• Introducing a macOS version,
• SDL 2010 Timer supervised states,
• SDL and SDL-RT super-class transition calls.
• All features

• FreeRTOS support,
• Test manager,
• Generate a model out of your code,
• Generate a diagram out of your test cases.
• All features

• TTCN-3 generation from MSCs and HMSC,
• Publication marks,
• Command line diff,
• Generated C code out of and SDL-RT model will run with the integrated C scheduler.
• All features