Reactive Systems Partners

Reactive Systems is member of the MATLAB Connections program of the MathWorks, Inc. The MathWorks' MATLAB®, Simulink®, and Stateflow® products provide a comprehensive environment for model-based design of embedded software. Reactive System's Reactis® product is the market leading testing and validation package for Simulink/Stateflow models. Reactis Tester generates comprehensive yet compact test suites from Simulink models. The test suites generated by Reactis can find runtime errors in a model and be used for back-to-back testing of C code against a model. Together Reactis and the MathWorks' modeling tools offer a comprehensive model-based design tool chain that can help engineers produce more robust software at a lower cost.

Reactive Systems is a member of the TargetLink Partner Program of dSPACE, a leading producer of both hardware and software engineering tools for developing and testing mechatronic control systems. The TargetLink production code generator is a key component of model-based design processes around the world. Reactive Systems and dSPACE cooperate to ensure that Reactis and TargetLink work well together. Reactis can generate tests from models constructed with the TargetLink blockset and facilitates back-to-back testing of TargetLink-generated C code against the model from which it was generated.