Reactive Systems logo
September 19, 2020

Reactive Systems Awarded Phase II SBIR Research Grant

NSF Logo

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.

 
Contact Person:
Rance Cleaveland
Reactive Systems, Inc.
120-B E. Broad St.
Falls Church, VA 22046 USA
+1 (703) 752-0928 (voice), +1 (703) 637-7101 (fax)
cleaveland@reactive-systems.com (email)