Reactis V2012 offers a number of capabilities to help you comply with the ISO 26262 functional safety standard
 

Bangalore, INDIA, [June 15, 2012]: 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 details see the V20112 release announcement.

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 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.
 

For more information, please contact: