Reactive Systems, Inc

Reactive Systems' Reactis product line provides automated testing and validation support to builders of embedded software. By enhancing engineer productivity in a number of ways, Reactis enables companies to both cut testing costs and increase the quality of deployed applications. Reactis supports model-based design with Simulink and C code. Reactis Tester generates comprehensive yet compact test suites from Simulink models or C code. The tests can uncover runtime errors and facilitate both regression testing and back-to-back testing of C code against a Simulink model. Reactis Simulator is an advanced debug environment for Simulink models and C code. A unique aspect of Reactis Simulator is that it can simulate models containing Simulink, Stateflow, Embedded MATLAB, and C code all from the same intuitive interface. In Simulator you can track data values during model/code execution, track coverage (for a variety of metrics including decision, condition, MC/DC and others), and generate HTML test execution reports. Reactis Validator lets you formulate requirements that your Simulink model or C code should satisfy. Reactis will then perform an automated search for violations of the requirements. If an error is detected a test is produced which can be executed in Reactis Simulator to diagnose the issue. The majority of Reactis users are in the automotive and aerospace industries.