We are pleased to announce the availability of Reactis® for Simulink® V2023.2 and Reactis for C V2023.
Several of the new features of this release apply to both Reactis for Simulink and Reactis for C.
Reactis for Simulink V2023.2 and Reactis for C V2023 may be connected to support exploring and co-simulating a Simulink model and the C source code generated from it. Clicking on a Simulink block, Stateflow state or transition in Reactis for Simulink causes the model item to be highlighted along with corresponding line or lines of code in Reactis for C. Similarly, clicking on a line of code causes that line to be highlighted along with the corresponding model item(s). In Reactis Simulator, setting a breakpoint in the code causes one to be set in the model as well, so the code and model can be executed in lock step. Coverage and variable values can be simultaneously inspected in the code and model. Currently, the linking supports code generated by Embedded Coder® of the MathWorks.
Reactis includes many dialogs that display a list of items. For example, the Reactis Info File Editor includes panes with lists of inputs, outputs, and configuration variables. V2023.2 introduces an easy-to-use search facility for such lists. A filter box above each list let's you enter a search term to display only the subset of items in the list that match the term.
The Reactis for C Plugin supports white-box testing of the C code parts of a model (S-Functions, C Caller Blocks, Stateflow Custom Code) and Reactis for C (standalone version) lets you test C code not contained in a model. When using either version of Reactis for C, Reactis Tester aims to exercise coverage targets within the C code and Reactis Simulator let's you step into C code for debugging and visualization of coverage information. V2023.2 extends each version of Reactis for C to support the display of header files (in addition to the already supported display of .c source files).
In addition to the shared updates listed above, V2023.2 includes the following Reactis for Simulink-specific updates.
The Reactis for EML Plugin supports white-box testing of the Embedded MATLAB® parts of a model (MATLAB Function blocks and EML action language in Stateflow). When using the Plugin, Reactis Tester aims to exercise coverage targets within the EML code and Reactis Simulator let's you step into EML code for debugging and visualization of coverage information. V2023.2 adds support for Multiple Condition Coverage (MCC) in EML, and supports a number of new aspects of the Embedded MATLAB® language:
:) in the row or column
component of a matrix indexing expression. For example, if X is a
X(:,i) extracts column i and
X(j,:) extracts row j. V2023.2 extends vector indexing
support in Reactis to include accessing a row or column from a matrix that
is an element of a structure. If a model contains EML code using a
structure A with matrix field B, then Reactis now supports
A.B(:,i) to extract a column and
A.B(j,:) to extract a row.
NaN to represent the double value
Not a Number.
In addition to the shared updates listed above, V2023 includes the following Reactis for C-specific updates.
Reactis is a registered trademark of Reactive Systems, Inc. MATLAB, Simulink, Stateflow, Embedded Coder, and Embedded MATLAB are registered trademarks of The MathWorks, Inc.
The Reactis Team