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
Qualification kits are available for RVS tools for DO-178B, DO-178C and ISO 26262, reducing the cost and risk involved in certification in these environments.
As well as generic qualification kits, we can provide on-site tests and an oracle of expected results you can use to qualify RVS tools for use in your project.