Reactis is ISO 26262 Certified
TÜV SÜD has certified that Reactis is qualified for safety-related
development according to ISO 26262, up to ASIL D.
More About ISO 26262 Compliance →
ISO 26262 Software Testing Q&A →
Detect bugs faster, streamline compliance activities, and reduce testing time with Reactis®
Reactis is a tool suite from Reactive Systems, Inc. that automatically generates test suites for Simulink® and Stateflow® models and for C code. It tracks coverage (including MC/DC), flags run-time errors, checks models against requirements, and compares code with the model it came from in back-to-back tests. TÜV SÜD has certified that Reactis is qualified for safety-related development according to ISO 26262, up to ASIL D.
Teams in automotive, aerospace and medical-device development use Reactis to find defects early and to document coverage for standards such as ISO 26262 and DO-178C.
Reactis provides end-to-end testing, verification, and validation tools for model-based design
Generate comprehensive test suites directly from your Simulink models. Achieve high model coverage and detect runtime errors automatically.
Learn More →Analyze C code for runtime errors, detect coverage gaps, and perform white-box testing. Supports C Caller blocks and S-Functions in Simulink models as well as stand-alone C programs.
Explore C Testing →Automatically compare model behavior against generated code. Identify discrepancies early and ensure code conforms to specifications.
See How It Works →Statement, Decision, Condition, MC/DC, and MCC coverage tracking. Meet regulatory requirements with detailed reporting. What is MC/DC?
View Coverage Options →Easily replay execution sequences leading to errors. Understand root causes faster and accelerate debugging cycles.
Debug Effectively →Full support for Simulink, Stateflow®, C Code, and Embedded MATLAB® code from the same intuitive interface. Test the full model ecosystem.
Explore Integration →"In contrast to tools employing simple static analysis, the dynamic test generation technique of Reactis often obtains very high levels of coverage fully automatically."
"The initial effort to implement Reactis is widely outperformed by the gain in speed and quality. The technology is mature. We can fully recommend Reactis and for us it is the benchmark for products of it’s kind having ever higher advantages for the demanding future needs."
TÜV SÜD has certified that Reactis is qualified for safety-related
development according to ISO 26262, up to ASIL D.
More About ISO 26262 Compliance →
ISO 26262 Software Testing Q&A →
Get started with Reactis today. Download a free trial or schedule a demo with our experts.