Real-Time Testing Observer Library Package

​The Real-Time Testing Observer Library is an RTT library for simulation-based formal verification on dSPACE platforms. It enables you to run Requirement Observers that are generated by BTC Embedded Specifier simultaneously with models running on dSPACE VEOS, SCALEXIO and DS1006 systems.

On this page you can download the documentation for the product. In addition you find a program that installs artefacts which support the use of the RTT Observer Library:

ControlDesk extension, consisting of a ribbon tab that offers routines to generate layouts for the handling of Requirement Observers

AutomationDesk extension, consisting of a library that offers a test case template for the use of Requirement Observers

Simulink extension, consisting of a library block that is needed to prepare models for the use of Requirement Observers

The demonstration project 'PowerWindow' that shows the use of the artefacts mentioned above

This material is available for registered customers with additional permission for Support Information (except TargetLink) only. If you are already registered please logon with your mydSPACE ID and passphrase in order to download this material. If you are not yet registered, use these links for registration and managing your permissions.