The Reactis Communicator
||Reactive Systems, Inc.
||February 4, 2003
We are pleased to announce the availability of Reactis V2003. The
following improvements and new features have been added since V2002.1.
Support for C, C++ and M-file S-functions, and for a number of
other Simulink features not supported in V2002.1. Reactis
now supports an even larger subset of Simulink(R)/Stateflow(R).
- Extensively enhanced user interface.
- Model printing. Users now have a flexible mechanism for
printing all, or parts, of models loaded in Reactis.
- Traceability of coverage information. Users may now trace coverage
information back into test files to check when different model
features were first covered in a test suite.
- Rate-of-change restrictions on input values. Users now have a
facility for imposing bounds on how much input values are
allowed to change from one simulation step to the next within
- Even better coverage in test suites. Enhancements to the core
test-generation algorithms yield more thorough test suites for
- Improved model-loading times. The time Reactis needs to
load large models has been dramatically reduced.
- Finer control over loading of previously computed test suites.
Users may now load more than one file and constrain how Reactis
- Display of model annotations within Reactis.
- Support for Matlab(R) R13.
Thanks to all Reactis users who have provided valuable feedback that
has been incorporated into the new version. For a full description of
improvements since V2002.1, please see:
Owners of active licenses may download the V2003 distribution from:
Reactis V2003 is available immediately and runs on the Microsoft
Windows and Linux platforms. Reactis is priced at US $5000
per year per concurrent license. Free 30-day evaluation licenses are
The Reactis Team
This is the seventh installment of "The Reactis Communicator", a low
volume mailing list for conveying information about Reactis, RSI's
embedded software design automation tool suite. Reactis enables users
to deploy model-based software testing to dramatically reduce the
costs of testing embedded control software. The tools are designed for
use in conjunction with the Simulink and Stateflow modeling
and simulation environments offered by The MathWorks, Inc.
If you are no longer interested in receiving information about
Reactis, please see the instructions below for removing yourself from
the list and we apologize for the intrusion.
Reactis is a trademark of Reactive Systems, Inc. Matlab,
Simulink, and Stateflow are registered trademarks of The MathWorks,
Inc. Microsoft Windows is a trademark of Microsoft Corporation. Linux
is a registered trademark of Linus Torvalds.