V2009版软件Reacits日前发布并新增数个新功能

Reacits 日前发布V2009版软件并新增数个新功能和对V2008六月版的一些功能增强。V2009 引进了一些新的测试和验证方面的虚拟设备模型。Virtual sources 提供了对Reactis模型顶层输入端口的增强控制，这些控制丰富了Reacits Tester产生测试数据或Reactis Simulator的仿真功能。从Reactis的图形用户界面（GUI），virtual sources 可以很方便的加入到模型中并联接到顶层输入端口。这样被测模型在整个测试过程中的不需要改变。

当Reactis Simulator 运行一个测试集的时候，一个 difference scope 会打开，显示模型的任何顶层输出，包括期望的结果（存储在测试中）和实际计算结果。这个功能在比较模型的不同版本之间的区别时非常有效。比如比较模型的定点和浮点结果。这个功能也可以用于比较模型和source code。

其它增强功能包括支持MathWorks R2008b，更加灵活的处理关系运算符的边界覆盖跟踪，更好的TargetLink互联操作和新的API函数。

V2009的Reactis for C Plugin也有一些新的功能。Reactis for C Plugin提供对模型中C代码部分的white-box分析 （从Stateflow调用S-functions和用户代码)。