Reactive Systems

About

Reactive Systems develops and sells the Reactis family of tools for testing and verifying embedded software applications. Reactis Tester generates comprehensive yet compact test suites from Simulink/Stateflow models or from C code. Reactis Validator lets users check if a model satisfies its requirements. Reactis Simulator is an interactive model/code debug environment. Simulator lets a user execute one Simulink block or C statement at a time or to take one or more full simulation steps before pausing. Taking reverse simulation steps is even possible to go back in time to investigate and diagnose the cause of an error. As a model/code executes, users have an array of ways to inspect data values and track coverage.