2 An Overview of ReactisA model-based design environment involving Reactis, Simulink and Stateflow is
depicted in Figure 1. Reactis contains three core components: Tester, which
provides automated test generation from models; Simulator, which enables users
to visualize model execution to debug models and track coverage; and Validator,
which offers automated checks of Simulink models for violations of
user-specified requirements. The remainder of this section describes these components
in more detail.
| Figure 1: Reactis is used in a model-based design process using Simulink/Stateflow models.
Reactis is a standalone application that reads the .mdl file produced by the MathWorks environment. |
|
