Falls Church, VA (October 31, 2007) -- Reactive Systems, Inc. (RSI) announced the V2007 release of its Reactis® testing and validation package today. This version of Reactis includes numerous new features and enhancements since the previous major release in November 2006.
The release includes support for a number of new Simulink features including Model Reference blocks, R2007a, R2007b, and conditional input branch execution. The latter feature is an optimization that causes some blocks to not execute when their outputs are not required during a given step. Using conditional input branch execution increases the level of correlation between model coverage and code coverage.
V2007 also includes a Japanese version of the GUI (translations of menus, dialogs, error messages, etc.) and many other usability improvements.
More details regarding the V2007 enhancements may be found in the revision history in the Reactis User's Guide.
About Reactis. RSI's Reactis tool 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 over 40 major companies worldwide in the automotive, aerospace, and heavy-equipment industries.
About Reactive Systems. Reactive Systems, founded in 1999,
is a privately held company based in the Washington DC suburb of
Falls Church, VA. For more information about RSI visit www.reactive-systems.com
or call +1-703-534-6458.