Newsletters |
Patches |
|  |
|
|
June 23, 2011
Dear Reactis User:
We are pleased to announce the availability of Reactis V2011
Reactis V2011
Newly supported Simulink features
- Initial support for MATLAB R2011a models. This means Reactis will work together with
MATLAB R2011a and models created and edited with these versions will work in Reactis.
However, not all new features introduced in MATLAB R2011a 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
(#1611).
- Support "Rate Limiter" block (#65).
- Support "Function-Call Split" block (#1696).
- Support "Function-Call Feedback Latch" block (#1692).
- Support enumerated types and values in S-Functions and Legacy Code blocks (#1684).
- Support "ssRegisterTypeFromNamedObject" SimStruct function (#1634).
- Support selecting number of bits to shift via input port and specifying shift
direction for "Arithmetic Shift" block (#1612).
New features in the Reactis for C Plugin
- Comments and inactive C code within #ifdef statements are now colored
differently to differentiate them from already exercised code.
- Improved reachability analysis to determine and highlight dead code.
- Allow (small) numeric arrays to be added as watched variables.
- Added setting to control the behavior of overflows when converting
floating-point values to unsigned integer.
- Generate warnings for expressions which do not have side-effects and
whose result is ignored.
- Produce a warning if __declspec and __attribute clauses are used in C
code. Those clauses are not supported by the Reactis C compiler (#1657).
- Treat "inline" functions as "static" to avoid errors about multiply
defined functions when linking.
- Added some C99 constants (NAN, INFINITY, HUGE_VAL, etc) to math.h (#1559).
- Added support for the C99 builtin identifier __func__
- Produce a warning if a non-void function does not return a value (#1601).
- Allow boolean negation operator to be used on floating-point values (#1590).
Other Improvements
- When running Reactis Tester, the user can now specify a total number of steps
or a given maximum runtime instead of the detailed parameters for random and targeted
phase (#565).
- A new panel in the Reactis Info File editor allows the user to specify tolerances
separately for each output port. The tolerances given there apply when running a test
suite on a model in Reactis Simulator and when comparing Reactis and Simulink outputs
via the "runtests" utility (#206).
- A text search functionality has been added to Reactis. The search traverses
all parts of the model, including Stateflow charts and any C code attached to the
model (#11):
- For Simulink systems, a search only searches block names. To search for specific
block parameters, the parameter name followed by a colon has to be prefixed to the
search term. For example, to search for the value "12" in the "Value" field of a
Simulink block, enter "Value:12". To see all searchable parameters of a certain block
type, right-click on any block of that type and select "View Block Parameters".
- For Stateflow charts, Reactis searches transition and state labels.
- For C code, the search function acts like a regular text search.
- When extracting a subsystem, the user can now choose whether to include any
triggering mechanism for the subsystem in the extracted model or not (#1679).
- Reactis now produces more specific warnings if a configuration variable was set to
be used in a place where Reactis does not support configuration variables (#1680).
- Right-clicking on a system in the hierarchy panel now offers an option "Copy System Path"
which will copy the system path of that model to the clipboard (#1416).
- Treat hidden Stateflow targets the same in all reporting (#43).
- Improved performance during model initialization for some models (#1747).
- Improved conditional input branch execution to better handle multi-rate models (#1706).
Bug fixes
In addition to all bugfixes included in V2010.2 patches, the following bugs were fixed:
- Fixed bug that could cause Reactis to hang while compiling C code containing
self-referential macros (#1761).
- Fixed problem where "Visible variables" list in Stateflow expression objective dialog
would not show all variables (#1775).
- Fixed bug where "rsTester" api call would report "test suite is empty" instead of a proper
error message if an error occurs during test case generation (#1773).
- Fixed "Bad input for inport" error that would occur when specifying inputs for integer-typed
input ports with delta restrictions in user-guided simulation (#1772).
- Fixed bug where Reactis would import incorrect values when importing a .rst test suite
and mapping the same test suite data item to multiple model data items (#1770).
- Fixed error "S-Function 'reactis_dtprobe' does not exist." that occurred when attempting
to synchronize input port types in 64-bit Reactis (#1769).
- Fixed "bug: makeId: empty string" that could occur when using the RFC plugin on
C source files that use #include to include other C source code (#1777).
- Fixed problem where Reactis would report "bug: Exception Io was raised" if a C source
file was located in a write-protected folder and caching for C files was enabled (#1768).
- Fixed "S-Function terminated by operating system" error that could occur for some TargetLink 3.0
blocks (#1778).
- Fixed problem where test and step information was not shown in the Reactis Simulator status bar
after a simulation error occurred (#1774).
- Improved error message if a model contained a "Pulse Generator" block configured
to use an external source (#1771).
- Improved error messages for some unsupported functions in validator expression
objectives (#1776).
You may download the patches or full installers from the
Reactis User Pages.
Best Regards,
The Reactis Team
|
 |