Falls Church, VA (June 17, 2003) -- Reactive Systems, Inc. (RSI) announced the V2003.1.1 (beta) release of its Reactis™ embedded-software design automation tool today. The release marks the first public availability of the much anticipated Reactis Validator component of the tool suite. Validator offers assertion checking for models of software given in The MathWorks, Inc.'s market-leading Simulink / Stateflow notations. For example, Validator enables an engineer to check: ``Will my anti-lock brakes always engage when the brake pedal is pressed?'' If Validator finds an assertion violation, it returns a test that leads to the problem. This test may then be executed in Reactis Simulator to gain an understanding of the sequence of events that leads to the problem.
"Many of our customers are already using Reactis Tester and Reactis Simulator to debug their models," said Rance Cleaveland, CEO of Reactive Systems. "Validator enhances the model debugging potential of Reactis by automatically checking whether a model conforms to its requirements."
"Validator enables engineers to debug a software design before any source code is written," said Steve Sims, RSI's Chief Technology Officer. "The earlier software errors are detected, the less costly they are to fix," he added.
RSI is a privately held company headquartered in Falls Church, Virginia. The
company is commercializing basic research initially carried out at SUNY at
Stony Brook and the Naval Research Laboratory with the help of $10 million in
Federal research funding.