Cary, NC (January 18, 2011) -- Reactive Systems, Inc. will exhibit at the Real Time and Embedded Computing Conference (RTECC) on January 27, 2011 at the Santa Clara Convention Center in Santa Clara, California. The event will offer technical seminars and over 80 exhibiting companies.
Reactive Systems will show its Reactis model-based testing and validation platform. The tool works with Simulink®/Stateflow® models of embedded software. Reactis generates tests from a Simulink model that meet the Modified Condition/Decision Coverage (MC/DC) metric. The tests can help find runtime errors in the model and check for conformance of C code implementations to the model.
Reactive Systems will also exhibit the Reactis for C Plugin, which offers white-box analysis of the C code portions of a model (S-Functions and Stateflow custom code).
Reactis for C, now in beta test, will also be previewed. The tool helps find runtime errors in C code that is not incorporated in a model.
About Reactive Systems. Reactive Systems, founded in 1999, is a
privately held company based in the Cary, NC. For more information about RSI
visit www.reactive-systems.com or call +1-919-324-3507.