Lanika announces Reactis V2014 by Reactive Systems

Top Quote Reactis V2014 support improved inspection of Stateflow diagrams. End Quote
  • (1888PressRelease) June 27, 2014 - Bangalore, INDIA - Lanika Solutions and Reactive Systems are pleased to announce the release of Reactis® V2014, offering new features as well as performance and stability enhancements. The release includes updates to Reactis, Reactis for C Plugin, and Reactis Model Inspector. New features include support for MATLAB® R2014a, enhanced support of bus objects, Stateflow diagram inspection aids, and new API functions for inserting Validator objectives.

    Several enhancements support improved inspection of Stateflow diagrams. For example, you can now hover over a transition segment to see its label highlighted.

    In V2014, the Reactis for C Plugin lets you configure what constitutes a decision for tracking Decision, Condition, MC/DC, and MCC coverage. Previously, only the Boolean expressions that determine execution paths were considered decisions. For example, those in an if statement or a while or for loop. The new setting lets you configure Reactis to track decision related coverage for boolean expressions appearing in other parts of a program. For example, the expression e1 in e1 ? e2 : e3 or y || z in the statement x = y || z;.

    For details see the V2014 release notes. [http://www.reactive-systems.com/mlists.msp?lid=2&itm=149]

    Customers with active Software Maintenance Service can download Reactis V2014 from the Reactis User Pages. [http://www.lanikasolutions.com/reactive_systems_frame4.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 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 www.reactive-systems.com to learn more.

    ###
space
space
  • FB Icon Twitter Icon In-Icon
Contact Information