Reactive Systems, Inc Email Formats

About 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.

View contact profiles from Reactive Systems, Inc