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.
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...