RVS 3.12 Launched

Zero-footprint software verification with RVS 3.12


RVS 3.12 introduces a zero-footprint analysis methodology, further reducing the effort needed to verify critical software

Zero-footprint coverage analysis

RapiCoverZero lets you analyze structural coverage from software tests directly from object code on compatible systems.

With no need for source code or modifications to your development environment, this supports coverage analysis up to and including decision coverage for third-party libraries and in projects with negligible target resources for instrumentation.

You can use RapiCoverZero either standalone or along with RapiCover. For more information on RapiCoverZero, see our product page.

Watch our new RapiCover demo videos.

Zero-footprint timing analysis

RapiTimeZero lets you analyze the timing behavior of critical software directly from object code on compatible systems.

Providing execution time metrics and identifying the high-water mark path in your code, RapiTimeZero requires neither source code nor modifications to your development environment, supporting timing analysis of third-party libraries and in projects with negligible target resources for instrumentation.

You can use RapiTimeZero either standalone or along with RapiTime. For more information on RapiTimeZero, see our product page.

Zero-footprint task-level scheduling analysis

RapiTaskZero lets you analyze the task-level scheduling behavior of critical software directly from object code on compatible systems.

RapiTaskZero provides a range of visualization options that help you understand scheduling behavior and identify rare timing events such as priority inversions with no need for source code or modifications to your development environment, supporting the analysis of third-party libraries and in projects with negligible target resources for instrumentation.

You can use RapiTaskZero either standalone or along with RapiTask. For more information on RapiTaskZero, see our product page.

About RVS

RVS (Rapita Verification Suite) collects verification data from critical software while it runs either on host machines or embedded targets. Using RVS, aerospace and automotive electronics engineers can tackle the challenges involved in developing and maintaining critical embedded systems.