Resources

Multicore Avionics Certification for High-integrity DO-178C projects

MACH¹⁷⁸ provides an end-to-end solution for providing certification evidence to satisfy DO-178C and 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 MACH¹⁷⁸ solution, reducing the effort needed to run, collect results from and analyze tests of multicore timing behavior.

Analyzing results from multicore timing analysis

Learn how RapiTime supports the analysis of results from multicore timing analysis through a range of charts and visualization tools. 

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.

Analyze code complexity with RVS

RVS collects and displays complexity metrics for analyzed code, allowing you to identify overly complex code for refactoring. 

Visualize call dependencies with RVS

Sequence analysis with RapiTime

RapiTime lets you collect timing measurements between any points in your code, allowing you to calculate metrics such as response times, separation and periodicity. 

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. 

Out-of-the-box software verification with Deos® and RVS

Learn how easy it is to verify projects running on the Deos operating system with RVS due to an out-of-the-box integration.

Complementary DO-178C verification with Ansys(R) SCADE Test(TM) and RVS

Learn how RVS can complement the verification activities supported by ANSYS^® SCADE^® Test™,  enabling on-target testing of model code and handwritten code.

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 the RapiTest Editor

Learn how the RapiTest Editor makes it easy to write RapiTest tests by providing an intuitive test authoring interface with context-sensitive assistance. 

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.

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

Using time bands to apply instrumentation with RapiTime

Learn how RapiTime's Time Bands feature helps you automatically apply timing instrumentation based on the expected call frequencies of your code.

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

Tool qualification with RVS

Learn how RVS tool qualification solutions make it easy to qualify the use of RVS in DO-178C and ISO 26262 projects. 

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.

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.

Challenges of certifying multicore avionics in line with A(M)C 20-193 objectives - ATW Europe 2023

Multicore systems are being used more in critical avionics systems due to their improved SWaP characteristics, increasing need for performance, and decreasing availability of single core processors

Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021

With the increasing use of multicore processors in the critical embedded aerospace industry, understanding how to perform timing analysis of these systems in line with CAST-32A/AMC 20-193 is crucia

Verifying Multicore Systems supporting the FACE standard - ATW Global 2021

The Future Airborne Capability Environment (FACE™) consortium have developed an open architecture technical standard as well as business models for implementing FACE standards.

MASTECS Project

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

Streamlined software verification with RVS 3.18

Learn how RVS 3.18 streamlines software verification, making it easier than ever to understand your project's structure, collect detailed timing measurements during test execution,

Accelerated verification with RVS 3.17

Learn how RVS 3.17 accelerates software verification, making it faster than ever to run verification projects through improved test authoring, easier merging of timing results, and

Revolutionized testing with RVS 3.16

Learn how RVS 3.16 revolutionizes software testing, bringing an all new intuitive GUI-based test editor for RapiTest, improved visualization tools

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