Lanika Announces Reactis V2013.2 by Reactive Systems
The release includes support for MATLAB® R2013b, Stateflow® charts containing Simulink® functions, support for an extended subset of Embedded MATLAB, other enhancements, and bug fixes.
Bangalore, India, December 21, 2013 --(PR.com)-- Lanika Solutions and Reactive Systems are pleased to announce the release of Reactis® V2013.2. It includes updates to Reactis, Reactis for C Plugin, and Reactis Model Inspector. The release includes support for MATLAB® R2013b, Stateflow® charts containing Simulink® functions, support for an extended subset of Embedded MATLAB, other enhancements, and bug fixes.
A new feature to import range information for top-level inports aims to streamline the efforts required to prepare a model for use with Reactis. Reactis lets users specify the minimum and maximum values that should arrive on an inport during testing. These range constraints are observed when Reactis generates test data. Reactis has always offered an easy-to-use graphical editor for specifying these ranges. API routines are also available to specify the ranges from a script or program. A feature new in V2013.2 lets Reactis automatically import this range information from a couple of different sources:
· The min/max fields of the Signal Attributes section of the parameters for a top-level inport of the model.
· The min/max fields set in Simulink.Signal objects that are attached to signal lines emerging from top-level inports.
The V2013.2 version of the Reactis for C Plugin includes a number of enhancements. A new stub generator produces a source file that contains definitions of missing functions and variables. V2013.2 also includes support for C99 compound literals, improved error messages, and Multiple Condition Coverage (MCC). MCC tracks whether all combinations of condition outcomes for a decision have been exercised. The previous Reactis release V2013 added support for MCC tracking in the Simulink and Stateflow portions of a model. When using the C Plugin, V2013.2 extends MCC to C code within S-Functions or Stateflow custom code.
Reactis Model Inspector has been extended to support Simulink R2013b.
Patch releases V2013.0.2 and V2012.2.4 are also now available.
Customers with active Software Maintenance Service can download V2013.2 from the Reactis User Pages. [http://www.lanikasolutions.com/reactive_systems_frame4.html]
For details see the V2013.2 release notes. [http://www.lanikasolutions.com/reactive_systems_frame2.html]
About Lanika Solutions
Lanika is provider of technical computing software & high-end hardware tools 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.
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 http://www.lanikasolutions.com to learn more.
About Reactive Systems
Reactive Systems, founded in 1999, is a privately held company with offices in Cary, NC and Nagoya, Japan. The company offers tools and services to help improve software quality while reducing development costs.
Visit http://www.reactive-systems.com to learn more.
A new feature to import range information for top-level inports aims to streamline the efforts required to prepare a model for use with Reactis. Reactis lets users specify the minimum and maximum values that should arrive on an inport during testing. These range constraints are observed when Reactis generates test data. Reactis has always offered an easy-to-use graphical editor for specifying these ranges. API routines are also available to specify the ranges from a script or program. A feature new in V2013.2 lets Reactis automatically import this range information from a couple of different sources:
· The min/max fields of the Signal Attributes section of the parameters for a top-level inport of the model.
· The min/max fields set in Simulink.Signal objects that are attached to signal lines emerging from top-level inports.
The V2013.2 version of the Reactis for C Plugin includes a number of enhancements. A new stub generator produces a source file that contains definitions of missing functions and variables. V2013.2 also includes support for C99 compound literals, improved error messages, and Multiple Condition Coverage (MCC). MCC tracks whether all combinations of condition outcomes for a decision have been exercised. The previous Reactis release V2013 added support for MCC tracking in the Simulink and Stateflow portions of a model. When using the C Plugin, V2013.2 extends MCC to C code within S-Functions or Stateflow custom code.
Reactis Model Inspector has been extended to support Simulink R2013b.
Patch releases V2013.0.2 and V2012.2.4 are also now available.
Customers with active Software Maintenance Service can download V2013.2 from the Reactis User Pages. [http://www.lanikasolutions.com/reactive_systems_frame4.html]
For details see the V2013.2 release notes. [http://www.lanikasolutions.com/reactive_systems_frame2.html]
About Lanika Solutions
Lanika is provider of technical computing software & high-end hardware tools 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.
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 http://www.lanikasolutions.com to learn more.
About Reactive Systems
Reactive Systems, founded in 1999, is a privately held company with offices in Cary, NC and Nagoya, Japan. The company offers tools and services to help improve software quality while reducing development costs.
Visit http://www.reactive-systems.com to learn more.
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