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. Reactis: