General - Product Independent#

What products does Reactive Systems offer?#

For engineers using a model-based design process with Simulink® and Stateflow®, Reactive Systems offers Reactis® for Simulink, the Reactis for EML Plugin, the Reactis for C Plugin, and Reactis Model Inspector.

Reactis for Simulink offers automated testing, validation, and debug of Simulink/Stateflow models.

  • Reactis for EML Plugin integrates with Reactis for Simulink to offer white-box testing of Embedded MATLAB portions of a model, e.g. MATLAB Function blocks.

  • Reactis for C Plugin integrates with Reactis for Simulink to offer white-box testing of the C code portions of models (S-Functions, C Caller blocks, and Stateflow custom code).

  • Reactis Model Inspector is a low-cost lightweight viewer for models and testing artifacts created with Reactis.

The FAQ for these products may be found here.

For developers using a C code-based process, Reactis for C offers help uncovering, diagnosing, and fixing runtime errors in C code. Its FAQ is here.

Reactis and Reactis for C can be used together to offer a robust solution for back-to-back testing of C code against a Simulink model.

Are the Reactis tools certified for development of safety-critical software?#

Yes, Reactis for Simulink, Reactis for EML Plugin, Reactis for C Plugin, and Reactis for C are qualified by TÜV SÜD to be used in safety-related development according to ISO 26262, up to ASIL D. Reactis ISO 26262 Certificate, Reactis Safety Manual

What are the supported platforms and system requirements for the Reactis products?#

All Reactis products are available on Windows 10 and 11. The Reactis for Simulink API is available on Ubuntu Linux 22.04. For details see: System requirements for the Reactis product line.

Can Reactis be run in a Docker container?#

Version V2024 includes a Dockerfile for adding the Reactis for Simulink API to a Docker container that already contains MATLAB. For details see installing Reactis in a Docker container. Installing to a Docker container requires a floating license.

Does Reactis support automated testing on CI/CD platforms?#

Reactis has an API that lets you invoke much of its functionality from MATLAB scripts. This can be used in CI/CD. A white paper describing how to use Reactis with Jenkins

How do I evaluate one or more of the Reactis products?#

You may obtain a free 30-day fully-functional evaluation license for any of our products as follows:

  1. Go to https://reactive-systems.com/login.msp

  2. Click the create an account link and fill out the brief registration form. When you submit the form, a login password will be emailed to you.

  3. Use the password to log in at the URL from step 1.

  4. You will then see directions for downloading and running the installer.

  5. After running the installer, you then email a license file template to help@reactive-systems.com, which we will digitally sign and return to you.

  6. Upon copying this license file to the appropriate location, you will then be up and running.

Is training available?#

Yes, Reactive Systems offers one- and two-day Reactis training courses delivered by a qualified instructor at your site or online. The hands-on courses include numerous exercises to introduce engineers to model-based testing and validation with Reactis. No prior experience with Reactis is required.

How can I stay informed about the latest Reactis developments?#

Two mailing lists are available:

Reactis Communicator

a low volume mailing list that announces major Reactis releases and developments. Postings occur two or three times a year. Subscribe or view archive

Reactis Patches

a medium volume mailing list that announces every Reactis patch when it becomes available. Postings occur every 6 to 8 weeks. Subscribe or view archive

The Reactis Issue Tracker lets you view lists of open and resolved issues and is available from the Reactis User Pages

How does Reactis version numbering work?#

Please see the description of version numbering here.

How do I purchase one of the Reactis products?#

Please contact sales or the distributor in your region.