November 19, 2010

Dear Reactis User:

We are pleased to announce the availability of Reactis V2010.2

Reactis V2010.2

Newly supported Simulink features

• Initial support for MATLAB R2010b models. This means Reactis will work with models created and edited with this version; however, not all new features introduced in R2010b 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 (#1260).
• Reactis now supports the use of enumerated data types (classes derived from Simulink.IntEnumType) within a model (#1291).
• Models using self-modification commands (commands like set_param, add_block etc., see section 14.1.2 in the user's guide) could previously cause problems because Reactis would not see the changes made by them. A new setting "Propagate set_param changes by saving the model to a temporary file" has been added to deal with this situation. If the new setting is enabled, Reactis will cause Simulink to automatically save the model to a temporary file after Simulink has applied all modifications. Reactis then imports that temporary model, which allows Reactis to see the applied changes (#929).
• Reactis now supports rounding modes "Convergent", "Round" and "Simplest" for blocks where a rounding mode can be specified (#1189, #1380).
• Stateflow operators hasChanged, hasChangedFrom and hasChangedTo are now supported (#1117).
• Support for the use of the type() function in data type declarations for Stateflow data items has been added (#1259).
• Reactis now supports the true and false keywords in Stateflow actions (#1058).
• Reactis now supports the Vector Concatenate block (#1230).
• Support for the "Discrete Filter" block has been extended to include "single" input data types, vector and matrix inputs and the "Initial states" setting available in Simulink (#1168).
• Support "Latch input by copying inside signal" setting in "Inport" blocks (#1145).
• 2-d lookup tables now support "int * bool -> int" configurations (#1162).

Reactis for C Plugin Improvements

• Step into, step over and step out-of buttons allow improved control in single-stepping mode (#1262).
• Variables in C code can now be added as watched variables (#1261).
• Scopes can be opened for global variables in C code (#1261).

Other Improvements

• A new feature has been added to allow Reactis Tester to take advantage of multi-core architectures. This can be enabled by entering "-C N" (without the quotes) in the "Additional Parameters" setting in the "Test Suite->Create" dialog. The "N" stands for the number of cores to utilize and possible settings are 1-4. For example, entering "-C 2" in the "Additional Parameters" setting will cause Reactis Tester to utilize two cores (#1401).
• Users can now limit the number of inputs that can change in a step during test generation with Reactis Tester. For example, to only allow one input to change between steps, enter "-c 1" in the "Additional Parameters" setting in the "Test Suite -> Create" dialog (#1318).
• The "Test Suite->Update..." feature now allows an output format of .m if the "Update using Simulink" option is selected (#1253).
• When exporting a test suite to ".m" format, fixpoint values may now be exported as "fi" objects instead of converting them to double values (#1223).

Bug fixes

In addition to all bugfixes included in V2010 patches, the following bugs were fixed since V2010.1.0:

• Fixed bug where Reactis could hang during import of a model if the model contains a circular bus signal connection that is interrupted only by a "Signal Conversion" block (#1509).
• Fixed bug that could cause Stateflow transitions which originate from a state and end in a junction to not trigger the source state's exit action (#1475).
• Fixed problem in CSV import that could cause ports to not be properly matched up in import dialog (#1464).
• Resolved problem where Reactis would hang if a test suite was saved while running a long simulation run (#1458).
• Fixed bug that could cause Reactis to pick a wrong transition execution order for transitions exiting from subcharted box states (#1453).
• Fixed bug where boundary coverage highlighting would not go away after all targets have been covered for an input port with certain configurations of range/step types (#1442).
• Fixed bug that caused "Test Suite->Update (via Simulink)" to not work properly if enumerated types are present in top-level inports or outports (#1485).
• Fixed bug where Validator objectives in Stateflow charts show up as 'orphaned' when looking at the list in "Edit->Validator Objectives" (#1551).
• Improved accuracy for addition/subtraction and conversion when using fixpoint types with non-binary-point slope and bias (#1547).
• Fixed problem where integer saturation in "Sum" block would differ from Simulink behavior in some rare cases (#1484).
• Fixed problem where some fixpoint types in Stateflow would not be properly recognized, resulting in decreased precision (#1546).
• Fixed bug where initial values of some fixpoint configuration variables would not be properly recognized (#1515).
• Improved performance when loading exported .m files for models with large input/output arrays in MATLAB (#1507).
• Fixed memory leak in Validator diagram objective dialog (#1479).
• Fixed problem where a Scope within a triggered subsystem would not use the proper sample rate in some configurations (#1470).
• Resolved issue where turning off Simulator during a simulation run could sometimes trigger a "bug: unrecognized command" error message (#1459).
• Fixed crash that could occur when loading MATLAB R13 models containing MinMax or DeadZone blocks (#1445).
• Fixed problem where "runtests" would report simulation differences when running tests for models containing S-Functions in some configurations (#1437).
• Improved error message when converting an integer values to an enumerated type in which no corresponding underlying integer exists (#1540).
• Properly reject models that that "Underspecified initialization detection" set to "Simplified" (as opposed to the default "Classic") as not currently supported (#1497).

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

Best Regards,
The Reactis Team