Reactis plays a number of important roles in
a model-based design process. It gives you a set of tools to test,
verify, and truly understand your model's behavior and can help you check
whether the source code that will ultimately be deployed conforms to the
behavior of your model. More
on testing
and validation of Simulink models.
Reactis for EML Plugin integrates seamlessly with Reactis to offer white-box testing of any portions of your model implemented with Embedded MATLAB®, e.g. MATLAB Function blocks and the MATLAB action language in Stateflow.
Reactis for C Plugin integrates seamlessly with Reactis to offer white-box analysis of the C code portions of models (C Caller blocks, S-Functions and Stateflow custom code). More on C Caller block, S-Function, and custom code debug.
Reactis and the C Plugin also support testing TargetLink® models and C code.
Reactis Model Inspector offers a low-cost, lightweight
Simulink viewer.
If you are develping safety-critical automotive software, Reactis can help with ISO 26262.
Reactis also supports Automotive SPICE.
Reactis for C generates comprehensive yet
compact tests from C code, detects runtime errors, and tracks coverage
(Statement, Decision, Condition, MC/DC, MCC). When an error is detected,
you can easily replay a concrete execution sequence leading to the
problem in order to understand, diagnose, and fix the bug. More on
testing C
code.