RVS 3.24 accelerates multicore software verification

RVS 3.24 brings the public release of capabilities to support multicore software verification. Previously experimental, these features ensure efficient, repeatable on-target verification of multicore software to A(M)C 20-193 and related airworthiness objectives.

Multicore verification workflow 

RVS 3.24 provides end-to-end support for multicore software verification through the following workflow:

• RapiTest lets you write multicore tests and their success criteria. For each test, you can configure the application of RapiDaemons to generate interference and collection of metrics related to timing (RapiTime) and hardware event monitors on the target platform. 
• During on-target test execution, RapiTime applies instrumentation and runs your tests on-target to produce results, then writes them to a report. 
• RVS helps you analyze your results with a range of charts and tables, letting you filter results and compare results against baselines. RapiTask provides a high level view of system behavior, helping you understand task scheduling, system events, application of RapiDaemons and values collected from hardware event monitors. 
• RVS lets you export your results to DO-330-qualified HTML files for certification.

RVS is the only commercial solution that provides a fully integrated workflow for verifying multicore software, supporting interference generation, collection of timing and performance metrics on-target through a qualified workflow.  

Improved traceability support

As well as publicly launching multicore verification capabilities, RVS 3.24 introduces an overhaul to tracing RapiTest tests to other compliance artifacts such as test cases and requirements in third-party software for both single core and multicore verification projects.

Streamline your verification with RVS 3.24

If you have current RVS licenses, consult your tool integrator to upgrade to RVS 3.24.

If you don't have a license, you can learn how RVS can help you by arranging a demo, downloading our free trial version, or contacting us.