Lanika Announces Reactis V2015.2 and Reactis Model Inspector V2015.2 by Reactive Systems
Support for MATLAB® R2015b, and offers several enhancements to Reactis Validator.
Bangalore, India, December 23, 2015 --(PR.com)-- Lanika Solutions and Reactive Systems are pleased to announce the release of Reactis® V2015.2 and Reactis Model Inspector V2015.2. The new version offers support for MATLAB® R2015b, includes a revamped interface for calling Reactis API functions from MATLAB, and offers several enhancements to Reactis Validator -- the requirements checking component of the tool.
Reactis Validator lets you formulate a requirement your model should meet and then check if your model satisfies the requirement. The expected behavior embodied in a natural language requirement is formalized as an assertion. Execution scenarios necessary to stress a given requirement are specified as user-defined targets. Collectively, assertions and user-defined targets are called Validator objectives, since they lay out goals for the test generation engine: demonstrating that assertions never fail and that all desired scenarios specified as user-defined targets are executed.
Reactis V2015.2 lets you establish a link between a Validator objective and requirements documents. Often the natural language requirements for a system are stored in a requirements document. For requirements documents implemented in Microsoft Word or Microsoft Excel, Reactis V2015.2 offers a facility to establish and manage links between a natural language requirement and Validator objectives.
V2015.2 also includes a drag-and-drop wiring mechanism for Validator objectives that greatly simplifies the task of inserting objectives into a model. An assertion monitors signals in your model in order to detect and flag violations. To specify which signals an objective monitors, in the main Reactis panel, you can now simply drag a signal onto the objective.
Reactis offers an API to pragmatically access the test and validation capabilities offered by the tool. V2015.2 includes a new set of MATLAB functions to greatly simplify accessing the Reactis API from MATLAB scripts. To use the new MATLAB functions for accessing the Reactis API, simply:
1. Add c:Program FilesReactis V2015.2libapiMATLABreactis to your MATLAB path.
2. At the MATLAB prompt type help reactis
Additional new features include the ability to report integer overflows as warnings instead of errors and the capability to double-click on an .rsi file in Windows Explorer in order to invoke Reactis and load the associated model.
For details see the V2015.2 release notes http://www.reactive-systems.com/mlists.msp?lid=2&itm=161
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 Reactive Systems, Maplesoft, Visualization Sciences Group (VSG), Breault Research Organization (BRO), ExpertControl and Sigma Technology.
The Company’s 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. Lanika is headquartered in Bangalore.
Visit www.lanikasolutions.com to learn more.
About Reactive Systems
Reactive Systems, founded in 1999, is a software testing and validation company with offices in Cary, NC and Nagoya, Japan.
Visit www.reactive-systems.com to learn more.
Reactis is a registered trademark of Reactive Systems, Inc. MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks.
Reactis Validator lets you formulate a requirement your model should meet and then check if your model satisfies the requirement. The expected behavior embodied in a natural language requirement is formalized as an assertion. Execution scenarios necessary to stress a given requirement are specified as user-defined targets. Collectively, assertions and user-defined targets are called Validator objectives, since they lay out goals for the test generation engine: demonstrating that assertions never fail and that all desired scenarios specified as user-defined targets are executed.
Reactis V2015.2 lets you establish a link between a Validator objective and requirements documents. Often the natural language requirements for a system are stored in a requirements document. For requirements documents implemented in Microsoft Word or Microsoft Excel, Reactis V2015.2 offers a facility to establish and manage links between a natural language requirement and Validator objectives.
V2015.2 also includes a drag-and-drop wiring mechanism for Validator objectives that greatly simplifies the task of inserting objectives into a model. An assertion monitors signals in your model in order to detect and flag violations. To specify which signals an objective monitors, in the main Reactis panel, you can now simply drag a signal onto the objective.
Reactis offers an API to pragmatically access the test and validation capabilities offered by the tool. V2015.2 includes a new set of MATLAB functions to greatly simplify accessing the Reactis API from MATLAB scripts. To use the new MATLAB functions for accessing the Reactis API, simply:
1. Add c:Program FilesReactis V2015.2libapiMATLABreactis to your MATLAB path.
2. At the MATLAB prompt type help reactis
Additional new features include the ability to report integer overflows as warnings instead of errors and the capability to double-click on an .rsi file in Windows Explorer in order to invoke Reactis and load the associated model.
For details see the V2015.2 release notes http://www.reactive-systems.com/mlists.msp?lid=2&itm=161
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 Reactive Systems, Maplesoft, Visualization Sciences Group (VSG), Breault Research Organization (BRO), ExpertControl and Sigma Technology.
The Company’s 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. Lanika is headquartered in Bangalore.
Visit www.lanikasolutions.com to learn more.
About Reactive Systems
Reactive Systems, founded in 1999, is a software testing and validation company with offices in Cary, NC and Nagoya, Japan.
Visit www.reactive-systems.com to learn more.
Reactis is a registered trademark of Reactive Systems, Inc. MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks.
Contact
Lanika Solutions Private Limited
Mr. Nishath Ahmed
+91– 80–2548 4844
http://www.lanikasolutions.com
TF-04, Gold Signature,
No. 95, Mosque Road, Frazer Town,
Bangalore - 560 005, India
Mr. Nishath Ahmed
+91– 80–2548 4844
http://www.lanikasolutions.com
TF-04, Gold Signature,
No. 95, Mosque Road, Frazer Town,
Bangalore - 560 005, India
Contact
Categories