4. Conclusions#

In this paper we have discussed how to use Reactis to test and validate TargetLink models. We have also covered the steps necessary to bring TargetLink-generated C code into the Reactis for C environment for detailed testing, validation and analysis of the C code.

TargetLink is available now from dSPACE GmbH. Please see www.dspaceinc.com for details.

For Reactis and Reactis for C you may download a Reactis trial or contact Reactis sales.

Reactive Systems logo