Skip to main content
Ctrl+K
Reactive Systems logo

Reactis FAQ

Product Independent

  • General - Product Independent
  • Getting Help
  • Problems Starting Reactis
  • Problems Running Reactis
  • Reactis License Manager
  • Licensing Issues

Reactis for Simulink

  • General - Reactis for Simulink
  • Installing Reactis for Simulink
  • Loading Models in Reactis
  • Reactis Simulator
  • Reactis Tester
  • Reactis Validator
  • Importing/Exporting Tests
  • Running Tests in Simulink

Reactis for C

  • General - Reactis for C
  • Installing Reactis for C
  • .md

General - Reactis for Simulink

Contents

  • What is Reactis for Simulink?
  • 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?

General - Reactis for Simulink#

What is Reactis for Simulink?#

Reactis® for Simulink 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. For more details see Reactis for Simulink product overview

What is the Reactis for EML Plugin?#

The Reactis for EML Plugin integrates seamlessly with Reactis for Simulink to offer white-box testing for portions of your model implemented with Embedded MATLAB, e.g. MATLAB Function blocks. For more details, see this description of how the EML Plugin can help you test MATLAB Function blocks.

What is the Reactis for C Plugin?#

The Reactis for C Plugin integrates seamlessly with Reactis for Simulink to offer white-box testing of the C code portions of a model (S-Functions, C Caller blocks, or Stateflow custom code). The C 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 a 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 V2024.2 supports MATLAB R2014b-R2024b.

previous

Licensing Issues

next

Installing Reactis for Simulink

Contents
  • What is Reactis for Simulink?
  • 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?

By Reactive Systems, Inc.

© Copyright 2000-2024.