6/23/2003 - Reactive Systems, Inc. (RSI) announced the V2003.1.1 (beta) release of its ReactisTM embedded-software design automation tool. 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.
Reactis is a trademark of Reactive Systems, Inc. Simulink and Stateflow are registered trademarks of The MathWorks, Inc.
Previous Page | News by Category | News Search
If you found this page useful, bookmark and share it on: