Reactis V2011 Now Available
The new version includes many new features and enhancements to both Reactis and the Reactis for C Plugin.
Bangalore, INDIA, [June 24, 2011]: AS RELEASED BY Reactive Systems, Inc. Cary, NC; June 23, 2011: Reactive Systems, Inc. announced the V2011 release of its Reactis® testing and validation package for Simulink®/Stateflow® models. The new version includes many new features and enhancements to both Reactis and the Reactis for C Plugin. Some highlights are as follows.
Reactis
A simplified Reactis Tester launch dialog makes it even easier to generate tests from a model. The user may now specify how long automatic test generation should last by giving a maximum run time or maximum number of simulation steps to take while constructing the test vectors. The old launch parameters 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 a 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 to avoid flagging small rounding errors. A new feature in V2011 enables the specification of 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:Model initialization speed is improved for some models. Right-clicking on a system in the hierarchy panel offers an option “Copy System Path” which will copy the system path of that subsystem to the clipboard. When extracting a subsystem, the user can select whether or not to include any triggering mechanism for the subsystem in the extracted model.
The following Simulink features are newly supported in V2011:
- Initial support for MATLAB R2011a models.
- Newly supported blocks: Rate Limiter, Function-Call Split, Function-Call Feedback Latch.
- Support enumerated types and values in S-Functions and Legacy Code blocks.
Reactis for C Plugin
V2011 also includes a number of new features in the Reactis for C Plugin. Some highlights are as follows:
- Comments and inactive C code within #ifdef statements are colored differently to differentiate them from exercised code.
- Improved reachability analysis to identify and highlight dead code.
- Allow (small) numeric arrays to be added as watched variables. Produce a warning if:
the result of an expression with no side-effects is ignored. a non-void function does not return a value.__declspec and __attribute clauses are used.
About Reactis: Reactis provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis is used at dozens of companies worldwide in the automotive, aerospace, and heavy equipment industries.
About Lanika Solutions
Lanika is Advanced Technical Computing Software Products provider for Engineers and Scientists in Industry, Government and Education. The Company partners with reputed principals developing industry leading solutions that help a wide base of clients throughout the Indian sub-continent solve the toughest engineering problems.
Lanika Solutions partners with reputed principals developing industry leading solutions. Currently, Lanika Solutions is partnered with Maplesoft, Reactive Systems, FEI Visualization Sciences Group (VSG), Breault Research Organization (BRO), ExpertControl and Sigma Technology.
Lanika Solutions product offerings and support reflects the philosophy that given great tools, clients can simplify development, increase productivity, and dramatically reduce time to market. Company’s suites of technical products help clients to quickly solve practical problems within the framework of the premier products and services provided.
The Company’s offerings have been selected as the leading products available to scientists and engineers in their respective application areas. The Company will continue to expand its offerings through organic growth in related technology/market segments as other premium solutions become available.
Visit https://www.lanikasolutions.com to learn more.
About Maplesoft
Maplesoft has provided mathematics-based software solutions to educators, engineers, and researchers in science, technology, engineering, and mathematics (STEM) for over 25 years. Maplesoft’s flagship product, Maple, combines the world’s most powerful mathematics engine with an interface that makes it extremely easy to analyze, explore, visualize, and solve mathematical problems. Building on this technology, the product line includes solutions for online assessment, system-level modeling and simulation, and online STEM courseware. Maplesoft products provide modern, innovative solutions to meet today’s challenges, from exploring math concepts on a smartphone to enabling a model-driven innovation approach that helps companies reduce risk and bring high-quality products to market faster. Maplesoft products and services are used by more than 8000 educational institutions, research labs, and companies, in over 90 countries.
Maplesoft is a subsidiary of Cybernet Systems Group. For further details, please Visit www.maplesoft.com.
For more information, please contact:
Lanika Solutions Pvt. Ltd.,
Mr. Nishath Ahmed
Email: Nishath@lanikasolutions.com
Telephone:+91 – 80 – 2548 4844