RTDS V4.0 new features

Test

Latest release of RTDS introduces support of a standard testing language including syntax and semantic verification, simulation, debug, and graphical traces. The formal models can be simulated against their related test suites. Traces and breakpoints can be set within the model or within the test suites and stepping is available on both sides because the bug might be in the model or in the test suite.

A TTCN-3 example test suite
The test verdict is displayed in the debugger window and in the graphical execution trace window.

Test verdict in an execution trace

Prototyping interface

Real Time Developer Studio has a built-in prototyping GUI design tool in order to easily interact with the model.

Prototyping GUI editor
Executing the model with an end-user interface looking like the real system enables developers to verify that the model behaves as expected by your customer.

Prototyping GUI runner

Built-in 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.

XMI import

UML models can be imported with the new XMI import module.

Merge utility

RTDS provides an automatic merge utility to be used by a configuration management tool.

All new features

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