Reactive Systems logo

Automated Testing and Validation with Reactis®

May 24, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

May 09, 2012

Dear Reactis User:

Reactis V2011.2.3, V2011.0.6 and V2011.3 (beta) are now available.

Reactis V2011.2.3

The following bugs were fixed since V2011.2.2:

  • Fixed bug where Reactis would in some cases give priority to transitions exiting junctions from their 12 o'clock position (#2141).
  • Fixed "bug: Uncaught exception: Fail" that could occur when starting Reactis Tester for some (small) models containing integer or fixed-point input ports (#2129).
  • Fixed issue where Discrete Filter or Discrete Transfer Function blocks were incorrectly classified as direct feed-through in some configurations, leading to possible dependency cycle errors reported by Reactis (#2145).
  • Resolved issue where changes to configuration variables were not properly forwarded into S-Functions if multiple variables were used as parameters to the S-Function (#2121).
  • Fixed Reactis crash which could occur when selecting a new .rsi file while tracing signals within a validator objective (#2138).
  • Fixed problem where Reactis rejected validator expressions where a "-" operator directly prefixes the second operand (i.e. without a space between operator and operand) (#2124).
  • Fixed "bug: uncaught exception: Match" when feeding multi-level buses into Stateflow charts (#2126).

Reactis V2011.0.6

The following bugs were fixed since V2011.0.5:

  • Fixed bug where Reactis would in some cases give priority to transitions exiting junctions from their 12 o'clock position (#2142).
  • Fixed "bug: Uncaught exception: Fail" that could occur when starting Reactis Tester for some (small) models containing integer or fixed-point input ports (#2130).
  • Fixed issue where Discrete Filter or Discrete Transfer Function blocks were incorrectly classified as direct feed-through in some configurations, leading to possible dependency cycle errors reported by Reactis (#2146).
  • Resolved issue where changes to configuration variables were not properly forwarded into S-Functions if multiple variables were used as parameters to the S-Function (#2121).
  • Fixed Reactis crash which could occur when selecting a new .rsi file while tracing signals within a validator objective (#2139).
  • Fixed "bug: uncaught exception: Match" when feeding multi-level buses into Stateflow charts (#2126).

Reactis V2011.3 (beta)

In addition to all bug fixes up to Reactis V2011.2.3, the following features were added:

Faster Model Initialization

V2012 includes a number of optimizations that substantially speed up the initialization of large models. For one large automotive OEM model the model import time went from 30 minutes to 2 minutes.

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 .rsi file editor now supports editing bus data types (#907).
  • 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 (#2052).
  • Support exporting a test suite to .m or .mat for models with bus data types on top-level inports or outports (#2100).
  • Support access to bus and vector/matrix elements within Data Store Read/Write blocks (#1686).
  • Allow Constant block to output bus data types (#1528).
  • Draw lines carrying bus or vector/matrix signals different from lines carrying scalar signals (#2147).

Embedded MATLAB® Support

Reactis V2012 introduces support for Embedded MATLAB (#115). This includes MATLAB Function blocks in Simulink® and MATLAB Function states 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.

Other Newly Supported Simulink Features

  • Initial support for MATLAB R2012a models. This means Reactis will work together with MATLAB R2012a and models created and edited with these versions will work in Reactis. However, not all new features introduced in MATLAB 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 (#2027).
  • 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 (#118).
  • 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 (#1694).
  • 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 (#2039).
  • Support Stateflow graphical functions with multiple return values (#989).

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 (#2101).
  • When importing CSV or RST test suites, allow assigning fixed values to ports and/or configuration variables (#358).
  • All settings regarding model execution are now stored as local settings in the .rsi file. Defaults for the settings can be specified in the new "File->Model Defaults" dialog in Reactis (#2134).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer