Skip to main content

Free 30-day trial Customer portal Careers DO-178C Handbook

Industry leading verification tools & services

Rapita Verification Suite (RVS)

RapiTest - Unit/system testing RapiCover - Structural coverage analysis RapiTime - Timing analysis (inc. WCET) RapiTask - Scheduling visualization RapiCover^Zero - Zero footprint coverage analysis RapiTime^Zero - Zero footprint timing analysis RapiTask^Zero - Zero footprint scheduling analysis

Multicore Verification

MACH¹⁷⁸ Multicore Timing Solution RapiDaemons

Engineering Services

V & V Services Qualification Training Tool Integration Support

Industries

Aerospace (DO-178C) Automotive (ISO 26262) Space

Other

RTBx Mx-Suite Software licensing Product life cycle policy RVS development roadmap

Latest from Rapita HQ

Latest news

RVS 3.18 Launched

Solid Sands partners with Rapita Systems

Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain

Rapita co-authored paper wins ERTS22 Best paper award

View News

Latest from the Rapita blog

Measuring response times and more with RapiTime

Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects

There are how many sources of interference in a multicore system?

Supporting modern development methodologies for verification of safety-critical software

View Blog

Latest discovery pages

DO-178C Guidance: Introduction to RTCA DO-178 certification

matlab_simulink

MATLAB® Simulink® MCDC coverage and WCET analysis

code_coverage_ada

Code coverage for Ada, C and C++

View Discovery pages

Upcoming events

NAVAIR FACE & SOSA TIM and Expo

Aerospace Tech Week Americas 2023

View Events

Technical resources for industry professionals

Latest White papers

DO178C Handbook

Efficient Verification Through the DO-178C Life Cycle

A Commercial Solution for Safety-Critical Multicore Timing Analysis

Compliance with the Future Airborne Capability Environment (FACE) standard

View White papers

Latest Videos

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

Streamlined software verification with RVS 3.18

Sequence analysis with RapiTime

Visualize call dependencies with RVS

View Videos

Latest Case studies

Supporting ISO 26262 ASIL D software verification for EasyMile

RapiCover’s advanced features accelerate the certification of military UAV Engine Control

Front cover of whitepaper collins

Delivering world-class tool support to Collins Aerospace

View Case studies

Other Downloads

Webinars

Brochures

Product briefs

Technical notes

Research projects

Discover Rapita

Who we are

The company menu

About us
Customers
Distributors
Locations
Partners
Research projects
Contact us

US office

+1 248-957-9801
info@rapitasystems.com

Rapita Systems, Inc.
41131 Vincenti Ct.
Novi
MI 48375
USA

UK office

+44 (0)1904 413945
info@rapitasystems.com

Rapita Systems Ltd.
Atlas House
Osbaldwick Link Road
York, YO10 3JB
UK

Spain office

+34 93 351 02 05
info@rapitasystems.com

Rapita Systems S.L.
Parc UPC, Edificio K2M
c/ Jordi Girona, 1-3
Barcelona 08034
Spain

Working at Rapita

Careers

Careers menu

Current opportunities & application process
Working at Rapita

Search

Back to Top

Functional testing with RapiTest

Breadcrumb

Home
Videos
Functional testing with RapiTest

Functional testing with RapiTest

Functional testing with RapiTest Thumbnail

RapiTest – Functional testing for critical software.

Discover RapiTest

Related videos

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

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

00:03:02 | Overview

On-target software verification with RVS Thumbnail

On-target software verification with RVS

00:01:52 | Overview

Functional testing with RapiTest Thumbnail

Functional testing with RapiTest

00:01:49 | Overview

Structural coverage analysis with RapiCover Thumbnail

Structural coverage analysis with RapiCover

00:01:14 | Overview

Execution time analysis with RapiTime Thumbnail

Execution time analysis with RapiTime

00:01:08 | Overview

System event tracing with RapiTask Thumbnail

System event tracing with RapiTask

00:00:39 | Overview

Zero footprint coverage analysis with RapiCover Zero Thumbnail

Zero footprint coverage analysis with RapiCover Zero

00:00:50 | Overview

Zero footprint timing analysis with RapiTime Zero Thumbnail

Zero footprint timing analysis with RapiTime Zero

00:00:51 | Overview

RapiTask Zero Thumbnail

Zero-footprint system event tracing with RapiTask Zero

00:00:46 | Overview

solar_orbiter_video

Software verification of the Solar Orbiter's EPD

00:03:21 | Use case

solar_orbiter_video

Software verification of the Solar Orbiter's EPD

00:03:21 | Use case

Tool automation in multicore timing analysis

00:07:08 | Explainer

Analyzing results from multicore timing analysis

00:01:50 | Feature

Custom multicore exports with RVS

00:00:58 | Feature

Custom multicore exports with RVS

00:00:58 | Feature

Continuous verification with RVS and Bamboo Thumbnail

Continuous verification with RVS and Bamboo

00:02:07 | Feature

Continuous verification with RVS and Jenkins Thumbnail

Continuous verification with RVS and Jenkins

00:02:15 | Feature

Analyze code complexity thumbnail

Analyze code complexity with RVS

00:00:59 | Feature

Analyze code complexity thumbnail

Analyze code complexity with RVS

00:00:59 | Feature

Analyze code complexity thumbnail

Analyze code complexity with RVS

00:00:59 | Feature

Analyze code complexity thumbnail

Analyze code complexity with RVS

00:00:59 | Feature

Analyze code complexity thumbnail

Analyze code complexity with RVS

00:00:59 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Visualize call dependencies with RVS thumbnail

Visualize call dependencies with RVS

00:00:33 | Feature

Sequence analysis with RapiTime

00:01:52 | Feature

Sequence analysis with RapiTime

00:01:52 | Feature

Optimizing tests to run after code changes with RVS

00:02:25 | Feature

Optimizing tests to run after code changes with RVS

00:02:25 | Feature

Optimizing tests to run after code changes with RVS

00:02:25 | Feature

Easily configurable analysis with RVS

00:02:25 | Feature

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

00:01:05 | Feature

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

00:01:05 | Feature

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

00:01:05 | Feature

SCADE Test video thumbnail

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

00:01:47 | Feature

SCADE Test video thumbnail

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

00:01:47 | Feature

SCADE Test video thumbnail

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

00:01:47 | Feature

Requirements traceability with RapiTest Thumbnail

Requirements traceability with RapiTest

00:02:11 | Feature

Easily manage test runs with RapiTest

00:01:03 | Feature

Test Templates thumbnail

Generating test templates with RapiTest

00:02:19 | Feature

Testing using the RapiTest Editor

00:02:34 | Feature

Testing using spreadsheets in RapiTest

00:03:12 | Feature

Testing using the RapiTest scripting language thumbnail

Testing using the RapiTest scripting language

00:02:16 | Feature

Justifying untestable code with RapiCover Thumbnail

Justifying untestable code with RapiCover

00:05:00 | Feature

Justifying untestable code with RapiCover Thumbnail

Justifying untestable code with RapiCover

00:05:00 | Feature

Merging coverage from multiple tests with RapiCover Thumbnail

Merging coverage from multiple tests with RapiCover

00:01:26 | Feature

Merging coverage from different builds with RapiCover Thumbnail

Merging coverage from different builds with RapiCover

00:02:32 | Feature

Streamlined software verification thumbnail

Streamlined software verification with RVS 3.14

00:01:53 | Other

Using time bands to apply instrumentation with RapiTime

00:01:08 | Feature

Merging timing results with RapiTime

00:00:48 | Feature

Merging timing results with RapiTime

00:00:48 | Feature

Qualification-video-thumbnail

Tool qualification with RVS

00:01:51 | Overview

Qualification guidance thumbnail

Clear qualification guidance with RVS qualification kits

00:00:56 | Feature

Multicore Timing Analysis Demo

00:06:52 | Demo

Enabling cost-effective modular avionics with FACE

00:07:11 | Explainer

Ask the expert: Multicore safety

Ask the expert: Multicore safety

00:11:19 | Explainer

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

00:31:31 | Presentation

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

00:31:31 | Presentation

Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021

00:18:56 | Presentation

Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021

00:18:56 | Presentation

Verifying Multicore Systems supporting the FACE standard - ATW Global 2021

00:18:28 | Presentation

Verifying Multicore Systems supporting the FACE standard - ATW Global 2021

00:18:28 | Presentation

MASTECS Project

00:02:18 | Research project

MASTECS Project

00:02:18 | Research project

Streamlined software verification with RVS 3.18

00:01:30 | Other

Streamlined software verification with RVS 3.18

00:01:30 | Other

Streamlined software verification with RVS 3.18

00:01:30 | Other

Streamlined software verification with RVS 3.18

00:01:30 | Other

Streamlined software verification with RVS 3.18

00:01:30 | Other

Streamlined software verification with RVS 3.18

00:01:30 | Other

Accelerated verification with RVS 3.17

00:01:27 | Other

Revolutionized testing with RVS 3.16

00:00:56 | Other

RVS 3.15 video thumbnail

Multicore timing analysis support with RVS 3.15

00:01:35 | Other

RVS 3.15 video thumbnail

Multicore timing analysis support with RVS 3.15

00:01:35 | Other

RVS 3.15 video thumbnail

Multicore timing analysis support with RVS 3.15

00:01:35 | Other

Solutions

Rapita Verification Suite
RapiTest
RapiCover
RapiTime
RapiTask
MACH¹⁷⁸

Verification and Validation Services
Qualification
Training
Integration

Latest

Latest menu

News
Blog
Events
Videos

Downloads

Downloads menu

Brochures
Webinars
White Papers
Case Studies
Product briefs
Technical notes
Software licensing

Company

Company menu

About Rapita
Careers
Customers
Distributors
Industries
Locations
Partners
Research projects
Contact

Discover

AMC 20-193
What is CAST-32A?
Multicore Timing Analysis
MC/DC Coverage
Code coverage for Ada, C & C++
Embedded Software Testing Tools
Aerospace Software Testing
Automotive Software Testing
Certifying eVTOL
DO-178C
WCET Tools
Worst Case Execution Time
Timing analysis (WCET) & Code coverage for MATLAB® Simulink®

All materials © Rapita Systems Ltd. 2023 - All rights reserved | Privacy information | Trademark notice Subscribe to our newsletter