RVS development roadmap

The next version of RVS that will introduce new features and enhancements will be RVS 3.26, which is due for release by the end of January 2026.

RVS 3.26 development will mainly focus on our new data coupling and control coupling analysis solution, RapiCoupling. The first publicly available version of RapiCoupling will improve the efficiency of DCCC analysis for safety-critical avionics through the following capabilities:

• Automatically generate coupling goals for C and C++ code
• Create custom couplings for advanced analyses such as adherence to scheduling models 
• Automatically measure DCCC coupling coverage from tests, report and export results
• Justify untestable couplings to resolve coverage shortfalls
• Certification-ready analysis with a DO-178C qualification kit 
   

Alongside RapiCoupling development, we will also be working on the following areas:

• Features to improve the multicore verification (MACH¹⁷⁸) workflow 
• Improving the efficiency of RapiTest test harness generation
• Easier set-up of RVS on new targets, including support for zero-footprint analysis on additional systems

Please contact us at any time for an update on the status of our development or to learn more about the features and enhancements listed above.