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 and CAST-32A 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.

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.

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.

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.

MASTECS Project

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

Ask the expert: Multicore safety

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