The Reactis Communicator

To	:	Reactis Users
From	:	Reactive Systems, Inc.
		https://reactive-systems.com/
Date	:	December 17, 2004

IN THIS INSTALLMENT:

• Reactis V2004.2 Now Available.
• Model-Based Testing with Reactis at Nissan.
• Reactive Systems Logs Strong Growth in 2004.
• Japanese Localization of Reactis Enters Beta Test.
• New Mailing List Will Announce Reactis Patches.

REACTIS V2004.2 NOW AVAILABLE

We are pleased to announce the availability of Reactis V2004.2, which includes numerous new features and enhancements since the previous major release in March of this year. Some highlights are below. For more details please see the Reactis User's Guide which is included in the distribution and is also available from: https://reactive-systems.com/products.msp

The following features were added since V2004.

• Support for single precision floating point arithmetic.
  
  
• Support for the MATLAB R14 (Simulink 6.0) file format.
  
  
• Support for Boundary Value Coverage to track whether an inport assumes the boundary values of its domain of possible values.
  
  
• A new model import architecture that vastly simplifies the preparation of models for use with Reactis. Benefits include improved error messages and the elimination of type errors reported by Reactis but not by Simulink.
  
  
• Optimizations in Reactis Simulator to increase the size of both models and test suites that the tool can handle.
  
  
• Support for data objects in Simulink block parameters.
  
  
• A capability to export test suites as MATLAB .mat files. This binary format enables values in tests to be represented with more precision than is possible in the ASCII-based .m file format. When running a Reactis-generated test suite on a Simulink model, the higher precision of test data helps avoid some rounding errors.
  
  
• Precision improvements for models with S-Functions and models that use MATLAB. This higher precision eliminates rounding error in some models.
  
  
• A capability to view which users occupy shared licenses.
  
  
• Improved dependency-cycle detection and reporting. The reporting of certain falsely detected dependency cycles was eliminated and error reporting related to cycles was improved (especially when cycles are due in part to user-specified block priorities).
  
  
• General performance improvements.
  
  
• An improved File -> Synchronize operation in the Reactis Info File Editor.

Owners of active licenses may upgrade to V2004.2 by logging in at the page below and then clicking the ``I want to upgrade Reactis'' link.

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

MODEL-BASED TESTING WITH REACTIS AT NISSAN.

A recent article published on The MathWorks website describes how a Model-Based Design process that includes Reactis helped Nissan reduce by 50% the development time for an advanced emissions control system. The article is available at: http://www.mathworks.com/company/user_stories/Nissan-Develops-Emission-Reduction-System-for-Mass-Production-Vehicles-Using-MathWorks-Tools.html

REACTIVE SYSTEMS LOGS STRONG GROWTH IN 2004.

We are pleased to report strong sales growth for Reactis during 2004. The number of companies using Reactis has more than doubled while the number of active licenses has more than tripled. Customers in the automotive industry now include five of the world's top six OEMs as well as many Tier 1 suppliers. Reactis also logged its first sales in the aerospace sector in 2004. The automatic generation of MC/DC test data by Reactis is expected to help aerospace users dramatically reduce certification costs.

JAPANESE LOCALIZATION OF REACTIS ENTERS BETA TEST.

We are pleased to announce that a preliminary version of Japanese language support in Reactis will be available starting with beta version V2004.3 due out next week.

NEW MAILING LIST WILL ANNOUNCE REACTIS PATCHES.

As a number of you have requested, we have created a new mailing list on which we will announce the release of all Reactis patches. The Reactis Communicator list (this one) will still announce major releases, while the new one will have more frequent postings to describe all bug fixes and new features as they are released with each patch. If you would like to join the mailing list, please send an email message to reactispatches-subscribe@reactive-systems.com (no subject or body content are required in the message).


Best Regards,
The Reactis Team


This is installment thirteen 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 and validation 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.