 |
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.
|
