Reactis

Reactis is a tool suite from Reactive Systems that automatically generates test suites for Simulink and Stateflow models and for C code. It tracks coverage (statement, decision, condition, MC/DC and MCC), flags run-time errors, checks models against requirements, compares generated code with its model in back-to-back tests, and replays the execution sequences that lead to errors.

TÜV SÜD has certified Reactis as qualified for safety-related development according to ISO 26262, up to ASIL D. It is a commercial product with a free trial.