Bangalore, India, June 17, 2012 --(PR.com
)-- Reactive Systems, Inc. announced the V2012 release of its Reactis® testing and validation package for Simulink®/Stateflow® models. The new version includes an array of updates and new features including faster import of large models, enhanced bus support, initial support for Embedded MATLAB®, and support for MATLAB® R2012a.
For release details visit http://www.reactive-systems.com/mlists.msp?lid=1&itm=30
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 Solutions is a leading provider of high-performance technical software & hardware tools for engineers and scientists across Industries and academia. 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.
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.