Reactive Systems logo
September 27, 2021
Newsletters
Patches
 
Spacer

July 09, 2021

Dear Reactis User:

We are pleased to announce the availability of:

  • Reactis V2021
  • Reactis for C V2021
  • Reactis Model Inspector V2021
  • Reactis V2020.2.2 patch
  • Reactis V2020.0.5 patch
  • Reactis for C V2020.0.2 patch
  • Reactis for C V2019.0.4 patch

Reactis V2021

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

Newly Supported Simulink Features

  • MATLAB R2021a.

Initialization Performance Improvements

After importing a model, Reactis has always cached an internal version of the model in an .mwi file. The cache file speeds up the future startup of Reactis Tester and Reactis Simulator when working with the model (as long as the underlying .slx file is unchanged). V2021 includes an enhancement of this caching mechanism that stores a binary representation of the model in an .mwib file to enable even faster startup for cached models.

Tracing Signals Through Bus Creator and Selector Blocks

V2021 extends the Reactis signal tracing feature to support tracing signals through Bus Creator and Bus Selector blocks. If a signal is selected (highlighted in yellow by clicking on it) and the selected signal is an input to a Bus Creator, then the bus output of the Bus Creator is also highlighted. If the bus signal is used as the input to a Bus Selector that selects the original signal, then the output of the Selector block is also highlighted.

Use Zero for Missing Items when Importing a Test Suite

Previously, when importing a test suite, if the imported data did not include values for an item (input, output, testpoint) needed in the test suite, then Reactis optionally created random values for the missing data. V2021 extends this feature to let you select for each missing item whether the missing values should be zero or randomly generated.

In User-Guided Simulation, Support Using Current Value of Other Inputs

In the user-guided simulation mode of Reactis Simulator, you can enter an expression to specify the value for each top-level input at each simulation step. For example, entering pre(x) + 1 as the value of input x will generate a ramp signal for x. V2021 extends the expression notation to let you reference the current values of other inputs. For example, entering !(y) as the value of input x will cause the value of x to be the logical negation of the input y for each step taken.

Reactis for EML Plugin

  • Support fixed-point types using binary point scaling, including:
    • Creation of values with fi, ufi, sfi
    • Arithmetic with fixed point arguments
    • Relational operators with fixed point arguments
    • Bit operations: bitconcat, bitset, bitget, bitand, bitor, bitsra, bitsll, bitsrl
    • Casting from fixed point values to built-in MATLAB numeric types
    • storedInteger and storedIntegerDouble functions
  • Support hexadecimal literals
  • Support log2 function

Other improvements

  • Fast Run with Report now optionally includes error detection settings, so that there is a record of how runtime errors were handled when generating the report.
  • The user-guided simulation dialog now lets you switch all inputs to zero.
  • When exporting to CSV, fixed point values can now be exported as stored integer values.

Reactis for C V2021

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

Enhanced Data Inspection for Non-Scalar Variables

When right-clicking on a structure or array variable, you can select Inspect Value to view the components of the variable using a new dialog that offers easier navigation of values with multiple sub-elements.

View Item Details Dialog

When right-clicking on any item in the main panel, you can select View Item Details to open a window which contains the same information that is displayed when hovering on the item. This is useful when the amount of displayed data is very large (e.g., a structure with many members), or if you want to copy the data to the clipboard.

Error Detection Settings

Test execution reports now optionally include error detection settings, so that there is a record of how runtime errors were handled when a report was generated.

Reactis Model Inspector V2021

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

Newly Supported Simulink Features

  • Support MATLAB R2021a.

Reactis V2020.2.2

The following bugs were fixed since V2020.2.1:

  • Simulink Function states in MATLAB action-language Stateflow charts produce errors in Reactis (#4860).
  • "MATLAB evaluation error" reported when using promoted mask variables in mask initialization code (#4855).
  • "bug: Uncaught exception: Subscript out of bounds" for commented-out Simulink Function states in Stateflow (#4854).
  • "Error: Expected vector, found value of type (...) array[...]" for some combinations of Merge/Outport blocks (#4838).
  • Incorrect execution order for some models containing Stateflow charts within dependency cycles (#4834).
  • "Error: Ambiguous execution order due to dependency cycle" for cycles involving Stateflow Moore charts (#4830).
  • When reading data from test suite in user-guided simulation, Interpolation is always used (#4826).
  • Reactis loses track of configuration variables of Simulink.Parameter type when passed to some masks (#4811).
  • Bug message when using "Max" setting in user-guided simulation for enumerated type inputs (#4812).
  • Overflow in fixed-point lookup table with non-binary slope (#4759).
  • Lookup table results incorrect in some cases when using mixed input types and inherited breakpoint types (#4762).
  • Issues with step constraints for single-precision inputs during user-guided simulation (#4775).
  • Tester fails with "can not open file" message when test suite name contains a non-ASCII character (#4786).
  • Errors during Simulink type inference for some models (#4792).
  • Undefined variable for initial expressions in Stateflow Graphical Functions (#4795).
  • Tester generates out-of-range values for some floating point fixpoint types with resolution (#4800).

Reactis V2020.0.5

The following bugs were fixed since V2020.0.4:

  • Simulink Function states in MATLAB action-language Stateflow charts produce errors in Reactis (#4860).
  • "MATLAB evaluation error" reported when using promoted mask variables in mask initialization code (#4855).
  • "bug: Uncaught exception: Subscript out of bounds" for commented-out Simulink Function states in Stateflow (#4854).
  • "Error: Expected vector, found value of type (...) array[...]" for some combinations of Merge/Outport blocks (#4838).
  • Incorrect execution order for some models containing Stateflow charts within dependency cycles (#4834).
  • "Error: Ambiguous execution order due to dependency cycle" for cycles involving Stateflow Moore charts (#4830).
  • When reading data from test suite in user-guided simulation, Interpolation is always used (#4826).
  • Reactis loses track of configuration variables of Simulink.Parameter type when passed to some masks (#4811).
  • Bug message when using "Max" setting in user-guided simulation for enumerated type inputs (#4812).
  • Overflow in fixed-point lookup table with non-binary slope (#4759).
  • Lookup table results incorrect in some cases when using mixed input types and inherited breakpoint types (#4762).
  • Issues with step constraints for single-precision inputs during user-guided simulation (#4775).
  • Tester fails with "can not open file" message when test suite name contains a non-ASCII character (#4786).
  • Undefined variable for initial expressions in Stateflow Graphical Functions (#4795).
  • Tester generates out-of-range values for some floating point fixpoint types with resolution (#4800).
  • Errors during Simulink type inference for some models (#4792).

Reactis for C V2020.0.2

The following bugs were fixed since V2020.0.1:

  • When editing the harness type for an array of fixed-point values, the signedness and width of the fixed-point type are now correct (#4765, #4772).
  • Fixed crash caused by missing .c file with instrumentation code (#4778).
  • Tester no longer reports a "cannot open file" error for filenames which contain non-ASCII characters (#4789).
  • Default test execution report default parameters can no longer be changed while Simulator is enabled (#4844).

Reactis for C V2019.0.4

The following bugs were fixed since V2019.0.3:

  • When editing the harness type for an array of fixed-point values, the signedness and width of the fixed-point type are now correct (#4765 #4772).
  • Fixed crash caused by missing .c file with instrumentation code (#4778).
  • Tester no longer reports a "cannot open file" error for filenames which contain non-ASCII characters (#4789).
  • Default test execution report default parameters can no longer be changed while Simulator is enabled (#4844).

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

Best Regards,
The Reactis Team

Spacer