Reactive Systems logo
April 12, 2021
Newsletters
Patches
 
Spacer

December 18, 2020

Dear Reactis User:

We are pleased to announce the availability of:

  • Reactis V2020.2
  • Reactis for C V2020
  • Reactis Model Inspector V2020.2
  • Reactis V2020.0.3 patch
  • Reactis V2019.2.6 patch
  • Reactis for C V2019.0.2 patch

Reactis V2020.2

The V2020.2 release of Reactis includes all bug fixes that were included in patch releases up to V2020.0.3 plus the new features listed below.

Newly Supported Simulink Features

  • MATLAB R2020b.
  • A subset of the Simulink HDL blockset.
  • Delay blocks with Show enable port property enabled.
  • Delay blocks configured for Variable delay.
  • Delay blocks operating on buses.
  • Improved data type inference for Sum and Product blocks whose intermediate data type is set to Inherit via internal rule.
  • Support bus types for Initial Condition (IC) block.

Create Test Harnesses for Subsystems of a Model

Reactis V2020.2 introduces a new way for unit-testing subsystems of a model. Previously, the way to do so was to use the Extract Subsystem feature in Reactis to extract the subsystem under test. This created a new Simulink model file which could then be loaded in Reactis and tested. This procedure required re-extracting the subsystem whenever changes were made to the model.

In Reactis V2020.2 it is now possible to create testing harnesses for subsystems of a model. Simply right-click on a subsystem, select Create New Harness and Reactis limits the scope of the model to the selected subsystem. Input constraints and output tolerances can be set individually for each harness. If the model changes, Reactis automatically re-imports the harness system and integrates the changes from the model. Switching between different harnesses (i.e. subsystems to test) can easily be done by selecting from existing harnesses in a drop-down menu.

Reactis for C Plugin

Improved build management so that changes to an .rsm file which do not affect compilation do not force all source files listed in the .rsm file to be recompiled. For example, adding a source file to an .rsm file will not cause files which are already listed in that .rsm file to be recompiled.

Reactis for EML Plugin

  • Support function-call outputs.

Other improvements

  • Option to include a list of all excluded targets in coverage report.
  • Improved block parameter display (right-click on block and select View Block Parameters).
  • Draw condition expressions for Switch Case and If blocks.
  • Option to export and import test names in CSV files.
  • Improved GUI appearance on high-resolution displays. Automatically adjust if screen resolution changes.
  • Enable and disable Validator Objectives by right-clicking in the Edit > Validator Objectives list.
  • Detect and produce warnings or errors if subnormal floating-point values are detected during simulation.

Reactis for C V2020

The V2020 release of Reactis for C includes the following new features.

Target Architectures

The architecture of the virtual machine used to execute the program under test can be selected. The possible choices are 32-bit big endian or 32-bit little endian.

Build Performance Improved

Improved build management so that changes to an .rsm file which do not affect compilation do not force all source files listed in the .rsm file to be recompiled. For example, adding a source file to an .rsm file will not cause files which are already listed in that .rsm file to be recompiled.

Reactis Model Inspector V2020

The V2020 release of Reactis Model Inspector includes the following new features.

Newly Supported Simulink Features

  • Support MATLAB R2020b.
  • Improved block parameter display (right-click on block and select View Block Parameters).
  • Improved GUI appearance on high-resolution displays. Automatically adjust if screen resolution changes.

Reactis V2020.0.3

The following bugs were fixed since V2020.0.2:

  • Reactis GUI does not ask to save changes when selecting File > Reload (#4698).
  • Reactis hangs for a short time when starting (#4695).
  • Inconsistent display of step numbers in coverage report (#4701).

Reactis V2019.2.6

The following bugs were fixed since V2019.2.5:

  • Reactis GUI does not ask to save changes when selecting File > Reload (#4698).
  • Reactis hangs for a short time when starting (#4695).

Reactis for C V2019.0.2

The following bugs were fixed since V2019.0.1:

  • A very large unsigned integer value no longer causes an overflow warning when used in a "switch" statement (#4593).
  • Missing parameters are correctly handled by API functions rcRsmGetParameterValue and rcRsmSetParameterValue (#4674).
  • Entry function formal arguments of type pointer to structure are correctly handled during type synchronization (#4678).
  • Instrumentation code appearing at the end of a file is correctly processed (#4684, #4690).
  • The correct line number is displayed when selecting a variable defined in instrumentation code for use in a test harness (#4693).

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

Best Regards,
The Reactis Team

Spacer