IN THIS INSTALLMENT:
Reactis V2011 Now Available
We are pleased to announce the availability of Reactis V2011. The release includes numerous new features, enhancements, and bug-fixes for both Reactis and the Reactis for C Plugin. Some highlights are as follows.
Running Reactis Tester to generate comprehensive tests from a model is now even easier. A simplified dialog lets you specify a total number of simulation steps or a maximum runtime instead of the more detailed launch parameters. If you have grown attached to the old launch parameters, no worries, those are also still available.
When running Reactis-generated tests either in Reactis Simulator or in Simulink using the runtests utility, Reactis compares the values computed by your model for top-level output ports and for test points against the values stored in the test suite for those items. Any differences are flagged. Reactis has always supported a global tolerance for performing these comparisons so that small rounding errors are not flagged. A new feature in V2011 enables you to specify a different tolerance for each output or test point.
A new search facility lets you perform a text search of your model for strings matching a pattern you specify. You can easily search Simulink block names and parameters, Stateflow state names and actions, Reactis Validator objective names, configuration variable names, and C code (if you are using the Reactis for C Plugin).
Additionally in V2011:
The following Simulink features are newly supported in V2011:
V2011 also includes a number of new features in the Reactis for C Plugin. Some highlights are as follows.
More details regarding the V2011 enhancements may be found in the revision history in the Reactis User's Guide. Customers with active SMS may download V2011 from the Reactis User Pages.
Lanika Solutions to Distribute Reactis in India
Reactive Systems has entered a distribution agreement with Lanika Solutions, provider of world-renowned technical products that contribute to the success of engineering projects. Lanika Solutions will sell and provide front-line technical support for all Reactive Systems products including Reactis, the Reactis for C Plugin, and Reactis for C. All products help engineers increase the quality of embedded software while decreasing verification and validation costs. The first two products support a model-based design process while the later supports a C-code process. More...