The Reactis Communicator

To : Reactis Users
From : Reactive Systems, Inc.
    https://reactive-systems.com/
Date : October 31, 2007

IN THIS INSTALLMENT:

  1. Reactis for C Plugin Now Available
  2. Reactis V2007 Now Available
  3. Reactive Systems Opens Japan Branch
  4. Education Discounts for Reactis
  5. Upcoming Events

Reactis for C Plugin Now Available

We are pleased to announce the availability of Reactis for C Plugin. The new product integrates seamlessly with Reactis to offer white-box testing and validation of the C-code portions of models (S-Functions and calls to C from Stateflow). Together Reactis and Reactis for C Plugin automate the generation of test data from, and validation of models constructed with Simulink, Stateflow, and C code.

With the C Plugin, Reactis Tester generates test suites that aim for structural coverage of the C code in addition to coverage of the Simulink and Stateflow portions of a model.

With Reactis for C Plugin, the advanced debug capabilities of Reactis Simulator extend beyond Simulink and Stateflow and into C code. With the new functionality, the user may step seamlessly from Simulink into an S-Function or from Stateflow into custom C code as well as set break points in C code and track coverage in C code.

Learn more about Reactis for C Plugin.

Reactis V2007 Now Available

We are pleased to announce the availability of Reactis V2007, which 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.

Reactive Systems Opens Japan Branch

Reactive Systems opened its first foreign branch in Nagoya, Japan earlier this year. The branch will offer direct sales of and technical support for Reactis and Reactis for C Plugin. The branch is led by Director of Japanese Operations Michio Morimoto, a model-based-design expert with extensive contacts within the embedded software industry in Japan. More info...

Education Discounts for Reactis

Reactive Systems now offers discounts of up to ninety percent off the list price of Reactis and Reactis for C Plugin to students and faculty for non-commercial use at accredited colleges and universities. Academic licenses also include course materials that help instructors present the model-based testing and validation technology offered by Reactis. Contact sales@reactive-systems.com for details.

Upcoming Events

Reactis and Reactis for C Plugin will be exhibited at the following upcoming events.

  • J-MAAB open conference to be held on November 1 at the KEIO Plaza Hotel in Tokyo, Japan.
  • MATLAB EXPO to be held on November 28 at the Prince Park Tower Hotel in Tokyo, Japan.

Best Regards,
The Reactis Team

This is installment eighteen of ``The Reactis Communicator'', a low volume mailing list for conveying information about RSI's products and services. Reactis enables users to deploy model-based software testing and validation to dramatically reduce the costs of testing embedded control software. Reactis is used in conjunction with the Simulink and Stateflow modeling and simulation environments offered by The MathWorks, Inc. Reactis for C Plugin integrates seamlessly with Reactis to offer white-box testing and validation of the C-code portions of models (S-Functions and calls to C from Stateflow).

If you are no longer interested in receiving the Reactis Communicator, 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.

Back to Communicator Archive