Reactis provides an integrated environment for simulation, validation, and test case generation of Simulink and Stateflow models. It features an automated model parser, simple testing of erroneous and fault-free scenarios, a customizable test case generator, and reporting on test coverage. Reactis offers a familiar interface, example models, and integrates additional validation capabilities beyond what Simulink provides alone.

1. Reactis & Research Infusion IV&V Facility Jonathan Meyer WVU

4. Reactis: Demo