June 30, 2023

Dear Reactis User:

We are pleased to announce the availability of:

• Reactis V2023
• Reactis Model Inspector V2023
• Reactis V2022.2.2 patch
• Reactis V2022.0.4 patch

Reactis V2023

The V2023 release of Reactis includes all bug fixes that were included in patch releases through V2022.2.2 plus the new features listed below.

Newly Supported Simulink Features

• MATLAB R2023a.
• Fixed-point data types in Sqrt block.
• Support "MaxStep" solver setting for models using a variable-step discrete solver.
• "Number of sub-table selection dimensions" setting in Interpolation block.
• While not supporting the "Speed" option for the "Internal rule priority" setting of Lookup N-d and Interpolation blocks, Reactis V2023 adds a setting that allows simulation and test generation to continue if "Speed" is selected by automatically substituting "Precision" instead.
• Functions "realmax" and "realmin" in Embedded MATLAB code.

Run-Time Error Assertions

The operations performed by Simulink models can produce various kinds of error when run. A new feature introduced in V2023 enables Reactis to automatically generate assertions for the following run-time error (RTE) conditions:

• The result of an integer arithmetic operation is not in the range of the integer type for the result.
• The divisor of an integer division operation is zero.
• The result of a floating-point operation is +-Inf or NaN.
• The index used to identify the position of an element in an array is out of range.

Currently, RTE assertions are generated for the following block types:

• Add
• Abs
• Data Type Conversion
• Divide
• Gain
• Multi-Port Switch
• Product
• Product of Elements
• Subtract
• Sum
• Sum of Elements
• Unary Minus

Other Improvements

• The "When detecting subnormal floating-point values" setting in Reactis can now be configured to automatically flush-to-zero any subnormal values computed by the model.

Reactis V2022.2.2

The following bugs were fixed since V2022.2.1:

• "bug: uncaught exception: Subscript" when importing test suite from API (#5238)
• Negative int64 values incorrectly exported to M file with effective value of zero (#5193)
• "bug: uncaught exception: NotFoundInTable" for some models containing MATLAB functions (#5213)
• Support EML functions with an input and output argument with the same name (#5189)
• C Caller block using Simulink.AliasType() for typedef'd C types produces type error in Reactis (#5216)
• Data Type Conversion block icon shows "(double)" for any output data type (#5224)
• Error: Data type or size mismatch for Selector blocks operating on arrays of buses of size 1xN (#5232)
• "bug: uncaught exception: EvaluationError" when using harness on some subsystems with bus inputs (#5241)
• "bug: can't flatten" for some models containing Selector blocks (#5219)
• In Embedded MATLAB, missing implicit type conversion when updating an array element (#5187)
• Communication error - Backend process died unexpectedly (#5205)

Reactis V2022.0.4

The following bugs were fixed since V2022.0.3:

• "bug: uncaught exception: Subscript" when importing test suite from API (#5238)
• bug: "bus type mismatch" for models containing nested bus types of dimensions [1,1] (#5202)
• Data Type Conversion block icon shows "(double)" for any output data type (#5224)
• Error: Data type or size mismatch for Selector blocks operating on arrays of buses of size 1xN (#5232)
• "bug: uncaught exception: EvaluationError" when using harness on some subsystems with bus inputs (#5241)
• "bug: can't flatten" for some models containing Selector blocks (#5219)
• Communication error - Backend process died unexpectedly (#5205)

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team