For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

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

Related Tools:

  • dSPACE Real-Time Testing 
  • dSPACE Platform API Package
  • dSPACE ControlDesk
  • dSPACE AutomationDesk
  • RTI/ RTI-MP
  • BTC EmbeddedSpecifier
  • RTT ObserverGenerator for BTC EmbeddedSpecifier

RTT Observer Library Download

1.1 (for dSPACE Release 2016-B)

RealTimeTestingObserverLibraryGuide_v1.1.pdf

RTTObserverLibrarySetup_v1.1.zip

1.0 (for dSPACE Release 2016-A)

RealTimeTestingObserverLibraryGuide_v1.0.pdf
for Download of RTTObserverLibrarySetup_v1.0.zip please inquire at support@dspace.de

A patch is available:
ReadMe
Realt-Time Testing Observer Library 1.0 p2.exe

 

Please note

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

Product Information

Tags

Date 2017-08-08
软件类型 实施软件, 实验和的可视化软件, 测试自动化软件
产品 AutomationDesk, ControlDesk, Platform API Package, Real-Time Interface (RTI), Real-Time Testing, Real-Time Testing Observer Library
类型 软件演示
信息类别 常规使用
dSPACE 版 2016-B, 2016-A