Falls Church, VA (November 9, 2000) -- The National Science Foundation has awarded Reactive Systems, Inc. (RSI) a Phase II Small Business Innovation Research (SBIR) Grant. The award, totaling almost $500,000, follows the company's successful Phase I SBIR project during which engineers from RSI and The Ford Motor Company demonstrated the utility of RSI's technology in designing and analyzing automotive embedded software. The funds will be used to develop RSI's advanced embedded-software design automation tool suite. The suite, named Reactis, will support mathematical modeling of embedded software, validation of models via simulation and automatic verification, generation of source code and test suites from models, and on-chip monitoring of embedded software during execution. By bringing increased mathematical rigor to the arena of software design, Reactis will enable engineers to build better embedded software faster.