Resources

How to make AI safe in autonomous systems with SAIF

Rapita Systems - Safety Through Quality

Rapita Systems group provides on-target software verification tools and services globally to the embedded aerospace and automotive electronics industries.

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

MACH¹⁷⁸ provides an end-to-end solution for providing certification evidence to satisfy multicore DO-178C airworthiness objectives, including AC 20-193, AMC 20-193 and C

Streamlined AMC 20-193 compliance with MACH178 Foundations

MACH¹⁷⁸ Foundations includes an off-the-shelf set of template plans, procedures and checklists to help DO-178C software developers meet multicore airworthiness objective

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, and produce eviden

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.

Viewing software behavior at a glance with RVS treemaps

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

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 assista

Using support functions with RapiTest

Learn how RapiTest support functions can help you increase testing efficiency by reusing test logic across multiple tests.

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.

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.

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. 

Simulation for the Motorola 68020 microprocessor with Sim68020

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.

Kickstart your verification with RVS tutorials

Learn how RVS tutorials can help you kickstart your verification projects and learn how to use RVS efficiently.

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 AC 20-193, AMC 20-193 and CAS

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.

Multicore software verification with RVS 3.22

Learn how RVS 3.22 supports efficient verification of multicore software for DO-178C, AC 20-193 and AMC 20-193.

Launching critical software to success with RVS 3.20

RVS 3.20 streamlines software verification for mission and safety-critical software, and introduces a new, optimized approach for verification of space software.

Streamlined software verification with RVS 3.19

Learn how RVS 3.19 streamlines software verification, making it more efficient than ever to create functional tests with test logic reusable across tests, bringing improved support

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 execu

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

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 visualiza

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

Using support functions with RapiTest

Learn how RapiTest support functions can help you increase testing efficiency by reusing test logic across multiple tests.