Reactive Systems, Inc. (RSI) sells tools and services for embedded-software design automation (ESDA). 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.

Model validation. The simulation and analysis routines enable system defects to be caught early in the design process, when they are cheaper to fix.

Software validation. Models of embedded software can be used to automate the generation of test suites for quicker, more effective testing.

Software maintenance. By serving as unambiguous design documentation, models and their analyses facilitate system maintenance and evolution.

RSI is a privately held New York State S-corporation with offices in Falls Church, VA (a Washington, DC suburb) and Nagoya, Japan. The Company has been profitable since 2005.