On-line demos
Project manager 		SDL Z.100
SDL-RT 		UML
Brochures 		bracketRTDS
blank
bandeau3

RTDS V3.4 new features

C code generation out of an SDL System

It is now possible to simulate with the built-in simulator or generate C code associated with one of the RTOS integration. The Generation options window has been re-designed to gather Simulation options and Code generation options within the same window:

Code generation options

Simulation options


Model checking

It is now possible to export an SDL System to IF format as defined by Verimag Labs.
IF is an intermediate format based on timed automatas specially designed to run mathematically based tools to explore all possible behaviors. Because it tries all possibilities, the number of explored states grows very quickly requiring strong mathematical algorythms to store the information.
Observers are associated with the SDL system in order:

  • to verify a property is reached,
  • to check a rule is not violated,
  • to restrict the exploration space.
Verimag provides such a tool that can be downloaded from their web site. An example script for Verimag IFx tool is provided in RTDS distribution. Any other IF based tool can be easily integrated via a simple process:
  • Export to IF,
  • Run a script,
  • Get an MSC Trace as a feedback showing how a rule has been violated.

RTDS external tool hook

IF 2 MSC

Traceability

Traceability information can be associated to any element of the Project Manager and exported to a traceability tool. An integration with Reqtify from TNI Software comes within our standard distribution.

RTDS requirement information

The RTDS Project appears in Reqtify.

RTDS in Reqtify

Nucleus integration

SDL-RT generated code is now directly integrated with Nucleus, ATI's well known RTOS.

Nucleus default options

OSE 5.2 integration

SDL-RT generated code is now directly integrated with OSE Delta 5.2, the message passing based RTOS from ENEA Embedded.

OSE 5.2 default options