critical embedded systems
Efficient software verification
By integrating directly with the native development environment and providing an automated framework for source code instrumentation and verification data collection, it improves the efficiency of software verification.
As on-target specialists, we have experience working with complex embedded systems including those with multicore architectures, and can collect data from almost any embedded target.
In most cases, RVS lets you run tests on-target automatically, for example in a continuous build environment. RVS instrumentation overheads are extremely low, so it can collect data even from targets with limited memory.
Each software test project is different. Because of this, we work with you to find the best strategy to meet your needs.
We offer multiple strategies for on-target integration, flexible licensing options that don’t lock your license to a single project, and training and verification services to help you get the most from RVS.
Get ready for certification
Reduce your certification costs by using our qualification support for DO-178B, DO-178C and ISO 26262.
We provide tool qualification documents along with on-site tests and an oracle of expected results that you can use to qualify RVS tools for use in your project.