Analyze the execution time behavior of code as tested on the embedded hardware.
Produce WCET metrics through a hybrid measurement-based/static analysis approach.
Easily identify code with the the greatest impact on timing performance.
Produce evidence for certification by following a recommended workflow that focuses analysis.
Run tests on host computers and test rigs in continuous build environments.
Configure integrations of RVS into your development environment quickly and easily.
Take your test project from creation to completion with an intuitive user-interface.
Apply instrumentation based on your functions' expected execution frequencies.
After integrating one RVS tool to work a development environment, it is trivial to use others.
Multiple users can share the same test environment.
Apply analysis settings easily using a friendly user interface.
Compare reports from different builds to track project progress over time.
Customize the color scheme used to display your results.
Export timing results in a variety of formats.
Specialized charts and tables make it easy to focus your analysis.
View a histogram of your software's timing behavior to easily identify patterns.
A timeline of your invocations helps you visualize the order of calls and how long each took to execute.
A configurable chart helps you visualize timing data in the context of your code's call tree.
Step through execution traces to investigate timing events using a debugger-like interface.
View source code with syntax highlighting and color-coding of results.
Easily filter results to focus your analysis.
Search reports for specific elements using advanced queries.
View coverage and hierarchy of source code at a glance.
Collect data from almost any build system.
The recommended build integration strategy requires little if any change to the development environment.
Copy the build system to build and test code with RVS.
Collect data from almost any embedded target with flexible collection strategies.
Verify critical multicore systems.
Fit more tests on your target and reduce the number of builds you need to run.
Collect verification data from iSYSTEMTM debuggers.
Collect verification data from LauterbachTM debuggers.
Run RVS automatically through Jenkins to collect and archive results.
Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.
Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.
Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.
Support for mixed languages in the same code base.
Support for testing Assembly code.
Manage extensions to support non-standard programming languages with an interactive editor.
Select floating or node-locked licenses with annual or perpetual duration.
Floating licenses support multiple users and shared working environments.
Node-locked licenses support use of RVS within a limited geographical area.
License RVS for use idefinitely.
License RVS in annual increments.
License usage data is exported in a format compatible for tracking using FlexNet Publisher.
Integration and learning resources help you get started verifying your code in no time.
Dedicated support service to resolve technical issues quickly.
Learn how to get the most from our verification solutions with simple, interactive tutorials.
Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.
Qualification kits available for use in DO-178B/C projects.
Additional evidence to qualify the use of RVS in your development environment.
We notify you of issues that may affect the validity of your results as soon as we identify them.