Home > Products > Modeling > PragmaDev Studio V5.0 new features << Previous - Next >>

Deployment simulator

Mobile communication, M2M, and the Internet of Things deploys thousands or millions instances of small systems to build up a system of systems. PragmaDev's new Deployment simulator aims at verifying such a topology works correctly. The overall scenario describing the interactions of each instance is defined in a CSV textual file. Graphical traces can be obtained on-line or replayed off-line with the ability to step back and forth.

Deployment simulator
Deployment simulator

Each node state can be assigned a different color to visually identify the states of the different instances. Interaction are displayed as arrows between the nodes.

Deployment scenario
Deployment scenario

An Excel file describes the interaction timing with the instances deployed.

PragmaDev License Manager

The latest release of RTDS comes with a new version of the PragmaDev License Server and a new version of the PragmaDev License Manager. The new manager allows to free licenses and return them to the pool of licenses.

PragmaDev License Manager

The bottom button can release the selected license.


Quick navigation

A new navigation mode has been introduced to speed up navigation in diagrams. A double click on a symbol will either travel to the symbol definition or edit the text of the symbol.

Quick navigation mode

Introducing internal traceability

The latest release of RTDS can import requirements files. The modeler can keep trace from a requirement to a model and testing will automatically analyze which part of the model it has covered. Therefore the impact analysis is straightforward and it is possible to know which test cases should be run if a requirement is modified.

Requirements table

Requirements matrix


Automatic diff in PDF

Agile methodology requires frequent automatic diff and merge. RTDS offers a command line tool that will automatically generate a PDF report of the differences.

Automatically generated diff report


Interrupt simulation

In order to simulate an interrupt, RTDS simulator can call a procedure in the middle of a transition, modify the values of the variables of the process and return to the transition execution like an interrupt would do.

Interrupt call example

In the example above, the values in the state machine are modified in the middle of the transition. The generated MSC Trace show the values have been modified between two execution steps.