Reactive Systems logo
June 6, 2020

Reactis V2003.2 Now Avaialable

Falls Church, VA (October 17, 2003) -- Reactive Systems, Inc. (RSI) announced the V2003.2 release of its Reactis™ embedded-software design automation tool today. This version of Reactis includes numerous new features and enhancements since the previous major release in February of this year. Some highlights are below; more details may be found in the Reactis User's Guide.

Reactis Validator. Reactis now includes a third major component Reactis Validator which performs automated searches of models for violations of user-specified requirements. If Validator finds a violation of a requirement, 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. This tool enables the early detection of design errors and inconsistencies and reduces the effort required for design reviews.

Support for MC/DC. Reactis now supports the Modified Condition/Decision Coverage (MC/DC) test coverage measure. MC/DC is the level of testing for the "most safety-critical" components of aviation software mandated by the Federal Aviation Administration (FAA) in its DO-178/B guidelines.

The new MC/DC facility enhances both Reactis Tester and Reactis Simulator. Tester now includes MC/DC as one of the coverage objectives that drive its test-generation algorithm. This means that, given a Simulink/Stateflow model, Tester automatically generates a test suite with the goal of maximizing the level of MC/DC coverage attained by the tests.

Reactis Simulator has also been extended to offer flexible and easy-to-understand reports to indicate which MC/DC targets have been exercised and which have not.

Improved Help. The User's Guide has been revamped and Reactis now offers context sensitive help from almost every window and dialog of the system by clicking a ``Help'' button or pressing the F1 key.

Improved Coverage Reporting. 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.

Improved Data Visualization. It is now possible to plot multiple data items (Simulink blocks or signals, or Stateflow variables) on the same scope. Reactis also now includes a new type of scope ``distribution scopes'' which enable users to visualize the set of values a data item has assumed in a test.

The Reactis API. A new application programming interface (API) enables engineers to access Reactis functionality from C programs.

Improved Import/Export. Reactis now includes a capability to import test data generated by other tools using a comma separated value (CSV) file format. Reactis also now exports CSV files.

Better Integration with Simulink/Stateflow. The utility that executes Reactis-generated tests within the Matlab/Simulink/Stateflow environment of The MathWorks, Inc has been improved.

Japanese Language Support. Reactis now handles Japanese characters in model comments and block names.

License Manager Improvements. Customers running multiple Reactis License Managers may now configure Reactis to search a list of all available License Managers for an available license. Information on currently occupied licenses may also be queried. The Reactis License Manager may also now be run as a Windows service.

RSI is a privately held company headquartered in Falls Church, Virginia. The company is commercializing basic research initially carried out at SUNY at Stony Brook and the Naval Research Laboratory with the help of $10 million in Federal research funding.

Contact Person:
Rance Cleaveland
Reactive Systems, Inc.
120-B E. Broad St.
Falls Church, VA 22046 USA
+1 (703) 752-0928 (voice), +1 (703) 637-7101 (fax)
cleaveland@reactive-systems.com (email)

Reactis is a trademark of Reactive Systems, Inc. Simulink and Stateflow are registered trademarks of The MathWorks, Inc.