Model-Based Testing and Validation with Reactis®

Reactis automates the generation of test data from, and validation of, Simulink and Stateflow models. If you currently build such models, then Reactis will help you cut both the costs and time associated with model-based verification and development tasks, such as the following.

• Model validation
• Unit and system testing
• Model debugging and revision

By automating testing and validation, Reactis enables you to do more thorough analysis of models and systems much more quickly.