RTDS V4.1 new features

ASN.1 support

Latest release of RTDS introduces support of ASN.1 data types.

Graphical observers

When running model checking the rules to be verified can be described in graphical observers.

IF observer A rule can be a case that should never happen; in that case it is possible to generate the MSC that might lead to this case. A rule can also be a test objective; in that case it is possible to generate the TTCN-3 test case leading to the test objective.

Information trace

It is now possible to trace some informal information in an SDL-RT model and get the information in an MSC trace.

How to display informal information in the MSC trace

SDL Z.100 coverage

Real Time Developer Studio provides code coverage when running an SDL simulation.

Code coverage viewer

Built-in C scheduler

Part or all of the system can be executed in a single RTOS task or on a bare target. That allows for example all the instances of one process to be executed in one RTOS task.

Static code generation

As required by the space industry, it is now possible to generate code without any dynamic memory allocation.

License usage graphics

Coming with the built in PragmaDev License Manager (PLM) tool, the license manager can generate license usage charts including high, lows, and average.

PLM license manager

PLM license usage chart

PLM high low average license usage chart

Automatic documentation generation

A document containing all transitions or states can now be generated completely automatically out of the project to speed up documentation work.

A document generated automatically

Pure UML system

It is now possible to generate code out of a pure UML model.

All new features

All the new features are described here for our existing customers.