We are pleased to announce the availability of Reactis V2006.2, which includes numerous new features and enhancements since the previous major release in January of this year. Some highlights are below. For more details please see the revision history in the Reactis User's Guide which is included in the distribution and is also available from: https://reactive-systems.com/

The following are some of the features added since V2006.

Newly-Supported Simulink and Stateflow features

1. Support MathWorks R2006b release.
2. The restriction that MC/DC decisions can have no more than 12 conditions has been removed.
3. Support for fixed point values in S-Functions.
4. Support Simulink bus objects.
5. Support for custom C code in Stateflow charts. In Stateflow, users can add external C code via the “Target Options” dialog and then subsequently call functions defined in that code from condition or transition actions within Stateflow. Reactis now supports this feature.

Coverage Tracking Improvements

1. Coverage tracking for 1-D and 2-D lookup tables has been added. To view the coverage information associated with a table, right-click on the table and select “View Coverage Details”.
2. Reactis now tracks boundary value coverage for configuration variables.
3. Track coverage for “Enable” blocks to make Reactis try to have enabled subsystems be not enabled at least once.
4. Track MC/DC coverage for Simulink “If” blocks.
5. Track coverage for “else” branch in “If” and “Switch Case” blocks even if the block is configured to not have an outport for these cases.
6. Track branch coverage for “Abs” and “Signum” blocks.
7. Additional branch coverage targets have been introduced for Switch Case blocks. Previously Reactis tracked one branch target per outport of a Switch Case block. However, some outputs may be triggered when the control input matches one value from of a set. For such outports activated by multiple values, Reactis now tracks a branch target for each such value.
8. Reactis now supports boundary value coverage for the Relational Operator block. For a relational operator block with inputs a and b, Reactis now tracks the following targets:
   • a == b
   • a == b + epsilon
   • a == b − epsilon
   where epsilon is the smallest increment representable in the type of a and b.

Other Enhancements

1. A new feature was added to retrieve recent error and warning messages by selecting View -> Show Recent Errors.
2. The Reactis installer now supports a silent install (installing Reactis from the DOS command line in an automated fashion).
3. Several functions have been added to the Reactis API.
4. Optimized caching and initialization procedures for models with large signal vectors.

You may download the patches or full installers from:

https://reactive-systems.com/login.msp

Best Regards,
The Reactis Team