The Reactis Communicator

To	:	Reactis Users
From	:	Reactive Systems, Inc.
		https://reactive-systems.com/
Date	:	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.

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).
2. Extensively enhanced user interface.
3. Model printing. Users now have a flexible mechanism for printing all, or parts, of models loaded in Reactis.
4. 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.
5. 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 Reactis.
6. Even better coverage in test suites. Enhancements to the core test-generation algorithms yield more thorough test suites for large models.
7. Improved model-loading times. The time Reactis needs to load large models has been dramatically reduced.
8. Finer control over loading of previously computed test suites. Users may now load more than one file and constrain how Reactis prunes tests.
9. Display of model annotations within Reactis.
10. Support for Matlab(R) R13.

Thanks to all Reactis users who have provided valuable feedback that has been incorporated into the new version.

Owners of active licenses may download the V2003 distribution from:

https://reactive-systems.com/login.msp

Reactis V2003 is available immediately and runs on the Microsoft Windows and Linux platforms. Free 30-day evaluation licenses are available.

Best Regards,
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.