Reactive Systems logo
November 30, 2022
Newsletters
Patches
 
Spacer

June 22, 2022

Dear Reactis User:

We are pleased to announce the availability of:

  • Reactis V2022
  • Reactis for C V2022
  • Reactis Model Inspector V2022
  • Reactis License Manager V2022
  • Reactis V2021.2.2 patch
  • Reactis V2021.0.4 patch
  • Reactis for C V2021.0.1 patch
  • Reactis for C V2020.0.3 patch

Reactis V2022

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

Newly Supported Simulink Features

  • MATLAB R2022a.
  • "Integer To Bit" and "Bit To Integer" block types.

Improvements to Test Case Generation

Improvements to Reactis Tester provide better coverage for models containing timers or counters without manually tagging them. Manually tagging counters using Validator Objectives is still recommended, but Tester will additionally attempt to identify counters that are not tagged and provide improved coverage. Tester has also been improved to reduce memory (RAM) consumption during test generation for some models.

Access Control for Floating License

When combined with the V2022 version of the Reactis License Manager, Reactis V2022 now supports access control for floating licenses. The License Manager now supports the definition of users and passwords to be used for authentication within the Reactis client to use a floating license.

Indicate Signals not Computed During a Simulation Step

Some blocks in a model may not execute during a simulation step, either because they are located within conditional (i.e. triggered or enabled) subsystems that do not execute during the step or because of conditional input branch execution.

Previously, when hovering over a block or signal that had not executed in the current step, Reactis Simulator would show the value computed by the block when it last executed (or zero if it had never executed). The same applied to watched variables.

Starting in V2022, Simulator now indicates that a block or signal has not executed by showing ``[not computed]'' when hovering over it and for its value in the watched variable panel.

Other Improvements

  • Support using the in_state() function within a pre() directive within Stateflow Validator expressions.
  • Release Reactis license after GUI is inactive for some time. A new setting in the ``License'' tab in File->Global Settings allows you to specify a timeout after which Reactis should free up a floating license if Reactis remains idle for a duration exceeding the timeout limit.
  • The Reactis API now includes functions to either automatically print or buffer and later retrieve warnings generated during calls to API functions.
  • The new rsSimUpdateSuite() API function supports parameters mirroring the options available in the GUI ``Update Test Suite'' dialog. The previous rsSimUpdateOutputs() function is deprecated.
  • In Embedded MATLAB functions, Reactis now allows nested functions to call sibling nested functions.

Reactis for C V2022

The V2022 release of Reactis for C includes all bug fixes that were included in patch releases up to V2021.0.1, plus the new features listed below.

File-Level Coverage Control

You can now right-click on any file in the hierarchy tree to change coverage tracking for the file. Coverage tracking for each file can be configured to be always enabled, to be always disabled, or to be inherited from the parent of the file in the tree. Previously, coverage tracking was set within an .rsm file and all files listed in the .rsm file shared the same coverage setting.

Function-Level Coverage Exclusion

Reactis for C now offers the capability to turn off coverage tracking for all coverage targets within a given function. The new feature works as follows. When viewing a function in the main panel with Simulator enabled, you can right-click on the name of the function and select track All Targets in Function... to open a dialog which lets you quickly exclude or include targets within the function.

Access Control for Floating License

When combined with the V2022 version of the Reactis License Manager, Reactis for C V2022 now supports access control for floating licenses. The License Manager now supports the definition of users and passwords to be used for authentication within the Reactis client to use a floating license.

Cleanup Compiler-Generated Files

Files containing compiled C code can now be deleted via the Clean button in the Build File Editor. Compiler-generated files have one of the following extensions: .rso , .rsld, .rsls, .rsx .

Generic Selection

Expressions which use the C11 _Generic construct are supported. _Generic selects an expression from an association list based on the type of the first argument.

Reactis Model Inspector V2022

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

Newly Supported Simulink Features

  • Support MATLAB R2022a.

Access Control for Floating License

When combined with the V2022 version of the Reactis License Manager, Reactis Model Inspector V2022 now supports access control for floating licenses. The License Manager now supports the definition of users and passwords to be used for authentication within the Reactis client to use a floating license.

Reactis License Manager V2022

Access Control

Reactis License Manager now supports the definition of users and passwords to be used for authentication within the Reactis client to use a floating license. Each user can be configured to have access to a specific set of licenses. User groups can be defined to simplify setting access permissions in larger organizations.

The newly released Reactis V2022, Reactis for C V2022 and Reactis Model Inspector V2022 support accessing licenses that are protected by access control.

Older versions of Reactis and Reactis for C can access licenses served by the new License Manager if a ``legacy'' user is enabled. Any licenses assigned to the ``legacy'' user can be used by older Reactis and Reactis for C versions that do not support access control.

Command-line tool

A new tool (reactism.exe) is now included which supports printing license usage information from within a Windows Command Window or in batch files.

Reactis V2021.2.2

The following bugs were fixed since V2021.2.1:

  • "Error: Data type mismatch" incorrectly reported for some Stateflow expressions UDTs using "pre" function (#5000)
  • Trailing "," or mix of "," ";" and whitespace in parameter expression causes error in Reactis (#5008)

Reactis V2021.0.5

The following bugs were fixed since V2021.0.4:

  • "Error: Data type mismatch" incorrectly reported for some Stateflow expressions UDTs using "pre" function (#5000)
  • Trailing "," or mix of "," ";" and whitespace in parameter expression causes error in Reactis (#5008)

Reactis for C V2021.0.1

The following bugs were fixed since V2021:

  • Constant conditional expressions are sometimes evaluated incorrectly. For example, the expression A[0? 1 : 2] creates an array of size 1 when it should create an array of size 2 (#4867).

Reactis for C V2020.0.3

The following bugs were fixed since V2020.0.2:

  • Constant conditional expressions are sometimes evaluated incorrectly. For example, the expression A[0? 1 : 2] creates an array of size 1 when it should create an array of size 2 (#4867).

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

Best Regards,
The Reactis Team

Spacer