Resources

CAST-32A Compliance for DO-178C projects

CAST-32A Compliance packages provide an end-to-end solution for producing certification evidence to satisfy DO-178C, CAST-32A and upcoming A(M)C 20-193 objectives.

On-target software verification with RVS

Discover how to run requirement based tests, produce coverage evidence and perform timing analysis for your applications on-target.

Functional testing with RapiTest

RapiTest – Functional testing for critical software.

Structural coverage analysis with RapiCover

RapiCover – Low-overhead coverage analysis for critical software.

Execution time analysis with RapiTime

RapiTime – In-depth execution time analysis for critical software.

System event tracing with RapiTask

RapiTask – RTOS scheduling visualization for critical software.

Zero footprint coverage analysis with RapiCover Zero

RapiCover^Zero – Zero-footprint structural coverage analysis for critical software.

Zero footprint timing analysis with RapiTime Zero

RapiTime^Zero – Zero-footprint in-depth execution time analysis for critical software.

Zero-footprint system event tracing with RapiTask Zero

RapiTask^Zero – Zero-footprint RTOS scheduling visualization for critical software.

Software verification of the Solar Orbiter's EPD

The University of Alcala, who led the development of the EPD system, have used the Rapita Verification Suite to power their coverage and timing analysis testing.

Tool automation in multicore timing analysis

Tool automation supports the CAST-32A Compliance Solution, reducing the effort needed to run, collect results from and analyze tests of multicore timing behavior.

Custom multicore exports with RVS

RVS lets you generate custom exports for multicore timing analysis projects.

Continuous verification with RVS and Bamboo

Learn how RVS helps you track the progress of your software verification through continuous builds with Bamboo.

Continuous verification with RVS and Jenkins

Learn how RVS helps you track the progress of your software verification through continuous builds with Jenkins.

Optimizing tests to run after code changes with RVS

Learn how RVS reduces the effort needed to rerun tests after code changes by identifying the optimal set of tests to rerun to assess the impact of the change.

Easily configurable analysis with RVS

Learn how RVS makes it easy to configure your analysis and instrumentation settings. 

Requirements traceability with RapiTest

Learn how RapiTest helps you trace between your requirements-based tests and the requirements from which they were developed and track your requirements coverage.

Easily manage test runs with RapiTest

Learn how RapiTest makes it easy to select the tests you want to run with quick selection and filtering options.

Generating test templates with RapiTest

Learn how RapiTest's template generator helps you to generate test templates quickly.

Testing using spreadsheets in RapiTest

Learn how the RapiTest Spreadsheet Format makes it easy to write tests, allowing testers to focus on testing not coding.

Testing using the RapiTest scripting language

Learn how the RapiTest Scripting Language makes it easy to write tests for use with RapiTest.

Justifying untestable code with RapiCover

Learn how RapiCover and RapiCover^Zero justifications let you mark untestable code as covered by analysis.

Merging coverage from multiple tests with RapiCover

Learn how RapiCover helps you automatically merge coverage from multiple tests.

Merging coverage from different builds with RapiCover

Learn how RapiCover helps you automatically merge coverage from different builds.

Merging timing results with RapiTime

RapiTime lets you merge timing results from multiple test runs, allowing you to collect data in parallel from multiple platforms or at different time points and collate your result

Clear qualification guidance with RVS qualification kits

Learn how RVS qualification kits help make the tool qualification process efficient by answering many of the questions commonly asked throughout it.

Testing using the RapiTest Editor

Learn how the RapiTest Editor, which is in development, promises to make test authoring and review in RapiTest more efficient. For more information, see o

Multicore Timing Analysis Demo

Darknet YOLOv3 Object Detection

Enabling cost-effective modular avionics with FACE

Major defense suppliers like Bell have embraced the Modular Open System Approach to enable quick, cost-effective new technology integration.

Ask the expert: Multicore safety

Lynx Software Technologies discusses the state of multicore safety with Rapita experts.

MASTECS Project

The MASTECS project aims to innovate and commercialize exploitable technology for multicore timing analysis.

Multicore timing analysis support with RVS 3.15

Learn how RVS 3.15 makes software verification more efficient, bringing new features to support multicore timing analysis and a preview version of a new way to write tests for Rapi

Streamlined software verification with RVS 3.14

Learn how RVS 3.14 makes software verification more efficient, including new features and enhancements for RapiTest, the ability to collect and analyze multicore p