Reactive Systems logo

Automated Testing and Validation with Reactis®

October 17, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

June 14, 2012

Dear Reactis User:

We are pleased to announce the availability of Reactis V2012

Reactis V2012

Faster Model Import

V2012 includes a number of optimizations that substantially speed up the import of large models into Reactis, especially models with large amounts of workspace data. Speed-ups by a factor of 10 or more have been observed for some models. For example, for one large automotive OEM model the import time went from 30 minutes to 2 minutes.

Model-Specific Settings

All Reactis settings that affect the behavior of models can now be modified on a model-by-model basis. Changes to these settings (made in the Info File Editor via the "Edit" menu in Reactis) now take effect only for the currently loaded model. When loading a new model in Reactis or loading a model that had been used previously with an older version of Reactis, default settings (available via "File->Default Model-Specific Settings") will be applied.

When installing V2012, the default settings are automatically set to the same values as the previously global settings, allowing a smooth transition to the new settings concept.

Since an .rtp file (which stores parameters used when a test suite was created with Reactis Tester) also contains the contents of the .rsi file used by the model, the new settings concept automatically makes sure that all model behavior settings are the same when re-using the .rtp file.

Improved Bus Support

A number of improvements have been made to simplify handling bus data types in Reactis:
  • The graphical inport type editor dialog in the Info File Editor now supports editing bus data types.
  • A new dialog for inspecting values within buses has been added. To open the dialog, right-click on a block or signal and select "Inspect Value". Additionally, when adding a watched variable or opening a scope, a new dialog allows you to select specific signals within a bus.
  • Support exporting a test suite to .m or .mat for models with bus data types on top-level inports or outports.
  • Support access to bus and vector/matrix elements within Data Store Read/Write blocks.
  • Allow Constant block to output bus data types.
  • Draw lines carrying bus or vector/matrix signals different from lines carrying scalar signals.

Embedded MATLAB Support

Reactis V2012 includes initial support for Embedded MATLAB, including the MATLAB Function and Truth Table blocks in Simulink and MATLAB and Truth Table functions (with MATLAB language option) in Stateflow.

Note that support for the Embedded MATLAB language is is still under development and not all functions, features and data types of the language are currently implemented.

For a list of supported embedded MATLAB features see Section 14.4 in the Reactis User's Guide.

Other newly supported Simulink features

  • Initial support for MATLAB R2012a models. This means Reactis will work with models created and edited with this version; however, not all new features introduced in R2012a are supported. New features will be supported as demand increases. If you would like to see support for a new feature, please send a request to help@reactive-systems.com. We cannot guarantee all requests will be implemented but we use feedback to prioritize the development schedule.
  • Support for Truth Table blocks in Simulink. Note that the underlying language for these blocks is Embedded MATLAB and support is therefore subject to the limitations in Reactis' Embedded MATLAB support.
  • Support using complex MATLAB expressions to specify the size of Stateflow data items. Previously, only constant values or variables defined in the workspace were allowed to specify the size.
  • If a "Display" block in Simulink is configured to show the stored integer of a fixed-point value, Reactis now shows the stored integer value when hovering or adding a watched variable for that block.
  • Support Stateflow graphical functions with multiple return values.

Improvements in the Reactis for C Plugin

  • Reactis now caches the full C machine state after initialization. This significantly reduces initialization times for models with multiple S-Functions configured for white-box analysis via the Reactis for C Plugin.
  • A library used by an S-Function can now be pre-compiled by the Reactis for C Plugin and the pre-compiled version can be added as a library in the RSM file editor. Using this feature you can now work with a pre-compiled library in the Reactis for C Plugin without the source code for the library.
  • If errors occur during compilation of C code, Reactis can now highlight the location of each individual error in the source code.

Other Improvements

  • When exporting a test suite to CSV format, allow to split composite types across multiple columns as well as importing test suites where composite types are split up across multiple columns.
  • When importing CSV or RST test suites, allow assigning fixed values to ports and/or configuration variables.

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer