Falls Church, VA (June 9, 2006) -- Reactive Systems, Inc. (RSI) will exhibit its Reactis testing and validation tool at the MathWorks Aerospace and Defense Conference on the 14th and 15th of June. The event is organized by RSI partner The MathWorks and will be held at the Hyatt Regency in Reston, Virginia. Over 300 engineers from around the world are expected for the annual event.
The focus of the conference is the use of model-based design with Simulink® and Stateflow® in the development of aerospace and defense applications. Reactis offers key testing and validation support for such a process. In particular the tool automatically generates tests that satisfy the MC/DC coverage criterion. For any software deployed in a commercial aircraft, the FAA requires engineers to develop a set of tests that exercise all MC/DC targets in the software.
About Reactis. RSI's Reactis tool provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis has over 30 customers in the automotive and aerospace industries.
About Reactive Systems. Reactive Systems, founded in 1999,
is a privately held company based in the Washington DC suburb of
Falls Church, VA. For more information about RSI visit www.reactive-systems.com
or call +1-703-534-6458.