Reactive Systems logo
April 2, 2023

Reactive Systems to Exhibit at Control Design Automation Seminar

Falls Church, VA (July 22, 2005) -- Reactive Systems, Inc. (RSI) will exhibit its Reactis testing and validation tool at the CDA Seminar in Tokyo, Japan on July 27.

The seminar is organized by RSI partner Cybernet Systems and will be held in the Aoyama Diamond Hall in Tokyo. Approximately 350 control engineers from automotive, aerospace and other companies are expected to attend.

About Reactis. RSI's Reactis tool provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis has over 20 customers in the automotive and aerospace industries.

About Reactive Systems. Reactive Systems, founded in 1999, is a privately held company based in the Washington DC suburb of Falls Church, VA. For more information about RSI visit or call +1-703-534-6458.

About Cybernet Systems. Cybernet is a distributor for both Reactive Systems and The MathWorks in Japan. The company provides advanced systems, software and services in the field of scientific computing and engineering.

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) (email)

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