Reactive Systems, Inc. sells tools and services for embedded-software testing and validation. Embedded software runs on the microprocessors found in devices as diverse as automobiles, cardiac pacemakers, aircraft and cell phones. The company's 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 comes in two versions, one that supports model-based design with Simulink® and Stateflow®, and one that supports a C code process. Reactive Systems' key technology is a capability to automatically generate tests from either a model or C code.
Reactive Systems is a privately held North Carolina C-corporation with offices in Cary, North Carolina and Nagoya, Japan.