RVS 3.22 launch streamlines automation for multicore software verification
Rapita Systems has released RVS version 3.22, which has optimized support for multicore software verification including worst-case execution time analysis. As the latest version of Rapita Systems’ safety-critical software verification toolsuite, RVS 3.22 includes features to support multicore verification from test creation to results export, helping critical software developers worldwide provide evidence to demonstrate the airworthiness of multicore SoCs.
RVS 3.22’s multicore testing features include exploratory and run-for-score test generation support including interference generator configuration and capture of timing and performance metric results, results visualization and analysis support, and configurable automated exports.
With the increasing adoption of multicore systems by the global safety-critical software and avionics industries, RVS 3.22 provides much needed automation support for meeting multicore airworthiness objectives for DO-178C (AC 20-193 and AMC 20-193) and similar standards and plays a key role in providing automation support for Rapita Systems MACH178 solution.
About Rapita Systems
Rapita Systems group provides on-target software verification tools and services globally to the embedded aerospace and automotive electronics industries. Its solutions help to increase software quality and deliver evidence to meet safety and certification objectives and reduce project costs.
Rapita’s flagship solutions, RVS is the leading tool suite for the verification of critical software. It includes tools for functional and requirements-based testing, timing analysis including worst-case execution time analysis, and structural code coverage analysis. The group also provides the world’s leading commercial solution, MACH178, for timing analysis to support the certification of multicore systems, including systems developed to meet DO-178C guidelines, additional AMC 20-193 compliance means, and MIL/Def standards.
