Combining Reactis for C with Reactis for Simulink in a model-based development process produces synergistic benefits.

Engineers performing model-based design using Simulink/ Stateflow ¹ as a design tool and C as an implementation language can benefit significantly from using Reactis for C in combination with its sibling product, Reactis for Simulink.

Synergistic benefits occur when test suites are shared between both versions of Reactis. There are two basic use-case scenarios. The first case is shown in Figure 18, which depicts the work-flow in a typical model-based development environment. In this scenario, the conformance of an implementation to a model can be checked by generating a test suite using Reactis for Simulink, and then testing the implementation against the test suite with Reactis for C.

Figure 19 shows the work-flow when using both Reactis products to support the reverse engineering of models from legacy C code. In this scenario, the conformance of the model to the legacy implementation can be checked by generating a test suite from the implementation using Reactis for C, and then testing the model against the test suite using Reactis for Simulink.

Reactis for C improves code quality and reduces development costs.

The Reactis for C tool suite will improve the quality of your C code and reduce development costs in several ways. Reactis Tester generates comprehensive yet compact test suites, which can dramatically reduce the costs uncovering runtime errors in your code. The advanced debug capabilities of Reactis Simulator help you understand, diagnose, and fix defects in C programs. Reactis Validator automatically finds execution sequences in which program requirements are violated, including safety properties. The Reactis for C tool suite can be used to automate tasks which currently require significant manual effort, cutting development costs. Furthermore, by supporting the thorough testing and validation of programs, Reactis for C enables errors to be detected and fixed before systems are fielded, thereby reducing recall and liability costs.