Reactive Systems logo
September 19, 2020
Reactis FAQ

FAQ: Reactis for Simulink - General

• What is Reactis?
• What is the Reactis for EML Plugin?
• What is the Reactis for C Plugin?
• What is Reactis Model Inspector?
• Which versions of MATLAB, Simulink, and Stateflow are supported?

What is Reactis?

Reactis® is a testing and validation tool suite supporting efficient production of high-quality control software. Reactis supports model-based design with Simulink®/Stateflow® by helping to answer two important questions:

  • Does my model behave correctly?
  • Does my code behave as the model specifies it should?

Reactis consists of three main components: Reactis Tester, Reactis Simulator, and Reactis Validator.

Reactis Tester automatically generates test suites from Simulink/Stateflow models of embedded control software. The test suites provide comprehensive coverage of different test-quality metrics, while at the same time minimizing redundancy in tests.

Reactis Simulator enables users to visualize execution of Simulink/Stateflow models. Simulator's user interface is similar to those of traditional debuggers from programming languages: it enables users to execute their models step-by-step (or even block-by-block), as well as set breakpoints. Simulator can also:

  • step backwards through a simulation
  • enable controlled replay of tests generated by Reactis Tester
  • present a graphical display of different coverage metrics
  • fine-tune Tester-generated test suites.

Reactis Validator performs automated searches of models to find violations of user-specified requirements. If Validator finds a violation of a requirement, it creates a test that demonstrates the violation of that requirement. 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 manual effort required for design reviews.

What is the Reactis for EML Plugin?

The Reactis for EML Plugin integrates seamlessly with Reactis to offer white-box testing of portions of your model implemented with Embedded MATLAB, e.g. MATLAB Function blocks.

What is the Reactis for C Plugin?

The Reactis for C Plugin integrates seamlessly with Reactis to offer white-box testing of the C code portions of a model (S-Functions or Stateflow custom code). The Plugin enables you to generate tests that target coverage targets (Statement, Decision, Condition, MC/DC, MCC) within your C code. When using the Plugin with Reactis Simulator, you in effect have an advanced C debugger integrated within the model execution environment. You can step directly from Simulink or Stateflow into the C code.

What is Reactis Model Inspector?

Reactis Model Inspector is low-cost, lightweight viewer for Simulink models and testing artifacts created by Reactis. The tool does not require Reactis or Simulink.

Which versions of MATLAB, Simulink, and Stateflow are supported?

Reactis V2020 supports MATLAB R2010a-R2020a.