FAQ: Reactis for Simulink - General
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:
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:
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
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
Which versions of MATLAB, Simulink, and Stateflow are supported?
Reactis V2020 supports MATLAB R2010a-R2020a.