To: Subscribers to Reactis Patches Mailing List
Reactive Systems (
July 12, 2005

We are pleased to announce the availability of Reactis V2005.0.3 and Reactis V2005.1 (Beta).


The following bugs were fixed since V2005.0.2.

  1. Fixed problem when using variables or expressions in sample time setting of Stateflow charts.
  2. Fixed bug that sometimes made additional conditions appear in coverage details of Stateflow transitions.
  3. Exclude box states from state coverage.
  4. When importing a test suite in comma-separated-value format that is missing output ports or configuration variables, produce a warning and keep going instead of producing a "bug" message.
  5. Do not report dependency cycle if outport of atomic subsystem directly feeds back to inport of the subsystem and the inport is connected to a Unit Delay block.

The following features were added since V2005.0.2.

  1. Support hypot function in Simulink Fcn blocks.
  2. Support zero-based index output in Simulink For Iterator blocks.
  3. Support explicit execution order in Stateflow.
  4. Support 1-d lookup tables with integer type input and single or double type output.
  5. Support 2-d lookup tables with integer/single type inputs and single type output as well as integer/double type inputs and double type output.

V2005.1 (Beta)

  1. All bugfixes and new features from the stable branch through V2005.0.3.
  2. Resolved problems with Japanese and other model encoding formats.

You may download the patches or full installers from:

Best Regards,
The Reactis Team

Back to Patches Archive