The Reactis Communicator

To	:	Reactis Users
From	:	Reactive Systems, Inc.
		https://reactive-systems.com/
Date	:	April 1, 2003

We are pleased to announce the availability of Reactis V2003.1, the first beta release since V2003. The following new features have been added since V2003.

1. A new Coverage-Report Browser enables users to view subsystem-by-subsystem coverage statistics for tests and test suites. The browser also allows users to export coverage reports in HTML format.
2. It is now possible to view models in Reactis, even if referenced libraries are missing. Broken links are marked by ``??'' in the diagram. This enables models to be viewed by Reactis on machines that do not have Matlab installed.
3. In Simulator, user's may now attach distribution scopes to data items. This new type of scope enables users to visualize the set of values a data item has assumed during simulation (but not the time at which they occur).
4. In the Test-Suite Browser, user's may now specify the number of significant digits do be displayed for data values.
5. Reactis now handles Japanese characters in model comments and block names.

Owners of active licenses may download the V2003.1 distribution from:

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

Reactis V2003.1 (beta) 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 available.

COMING SOON: Assertion Checking for Simulink/Stateflow Models. Development is proceeding on Reactis Validator, a property checker for Simulink/Stateflow models. Validator performs automated searches for violations of user-specified properties. For example, Validator enables an engineer to check: ``Will my anti-lock brakes always engage when the brake pedal is pressed?'' If Validator finds an assertion violation, it returns a test that leads to the problem. This test may then be executed in Reactis Simulator to gain an understanding of the sequence of events that leads to the problem. Look for the initial beta release of Validator in the coming months.

Best Regards,
The Reactis Team

This is the eighth 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.