|Reactive Systems, Inc.
|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.
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.
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.