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.