Your browser does not support JavaScript! Skip to main content
Free 30-day trial DO-178C Handbook RapiCoupling Preview DO-178C Multicore Training Multicore Resources
Rapita Systems
 

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  RapiCoverZero - Zero footprint coverage analysis  RapiTimeZero - Zero footprint timing analysis  RapiTaskZero - Zero footprint scheduling analysis  RapiCouplingPreview - DCCC analysis

Multicore Verification

  MACH178  MACH178 Foundations  Multicore Timing Solution  RapiDaemons

Engineering Services

  V&V Services  Data Coupling & Control Coupling  Object code verification  Qualification  Training  Consultancy  Tool Integration  Support

Industries

  Civil Aviation (DO-178C)   Automotive (ISO 26262)   Military & Defense   Space

Other

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

Latest from Rapita HQ

Latest news

SAIF Autonomy to use RVS to verify their groundbreaking AI platform
RVS 3.22 Launched
Hybrid electric pioneers, Ascendance, join Rapita Systems Trailblazer Partnership Program
Magline joins Rapita Trailblazer Partnership Program to support DO-178 Certification
View News

Latest from the Rapita blog

How to certify multicore processors - what is everyone asking?
Data Coupling Basics in DO-178C
Control Coupling Basics in DO-178C
Components in Data Coupling and Control Coupling
View Blog

Latest discovery pages

control_tower DO-278A Guidance: Introduction to RTCA DO-278 approval
Picture of a car ISO 26262
DCCC Image Data Coupling & Control Coupling
Additional Coe verification thumb Verifying additional code for DO-178C
View Discovery pages

Upcoming events

XPONENTIAL 2025
2025-05-19
Avionics and Testing Innovations 2025
2025-05-20
DASC 2025
2025-09-14
DO-178C Multicore In-person Training (Fort Worth, TX)
2025-10-01
View Events

Technical resources for industry professionals

Latest White papers

Mitigation of interference in multicore processors for A(M)C 20-193
Sysgo WP
Developing DO-178C and ED-12C-certifiable multicore software
DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
View White papers

Latest Videos

Rapita Systems - Safety Through Quality
Simulation for the Motorola 68020 microprocessor with Sim68020
AI-driven Requirements Traceability for Faster Testing and Certification
Multicore software verification with RVS 3.22
View Videos

Latest Case studies

GMV case study front cover
GMV verify ISO26262 automotive software with RVS
Kappa: Verifying Airborne Video Systems for Air-to-Air Refueling using RVS
Supporting DanLaw with unit testing and code coverage analysis for automotive software
View Case studies

Other Resources

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

 Multicore resources

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
Back to Top Contact Us

Resources

Breadcrumb

  1. Home

White paper

DO178C Handbook

Efficient Verification Through the DO-178C Life Cycle

This handbook delivered by Rapita Systems and ConsuNova Inc. presents useful information for DO-178C beginners and experts alike, including a description of DO-178C…

Mitigation of interference in multicore processors for A(M)C 20-193

Learn how to identify and mitigate multicore inference to comply with A(M)C 20-193 objectives in this joint white paper by Rapita Systems and Wind River.
Sysgo WP

Developing DO-178C and ED-12C-certifiable multicore software

In this white paper, learn how PikeOS and MACH178 solution provide an effective and efficient route to A(M)C 20-193 compliance.
Front cover of Multicore Timing Analysis for DO-178C whitepaper

Multicore Timing Analysis for DO-178C

This white paper explores the challenges of performing multicore timing analysis in critical aerospace systems development and presents a practical solution that…

Seven Roadblocks to 100% Structural Coverage (and how to avoid them)

In this white paper, we review the causes of being unable to attain 100% code coverage during testing, and will identify four strategies for handling code that has…
Whitepaper frontcover

Eight top code coverage questions in embedded avionics systems

In this white paper, learn the most common questions asked about code coverage in embedded avionics systems, and how RapiCover supports coverage analysis in DO-178B…

Automating WCET Analysis for DO-178B & DO-178C

This white paper describes what is required for worst-case execution time analysis in DO-178B and DO-178C projects, including industry best practices and how…

5 key factors to consider when selecting an embedded testing tool

This paper outlines five key features to look for when choosing a tool for embedded software testing.

Three steps to avoid software obsolescence in avionic systems

In this white paper, learn how to avoid software obsolescence in avionics systems by measuring timing behavior, identifying optimizations and evaluating results.

Compliance with the Future Airborne Capability Environment (FACE) standard

Learn about the FACE architecture, focusing on the ecosystem for UoP's & the tools to test, integrate, & certify systems based on the FACE Standard.

A Commercial Solution for Safety-Critical Multicore Timing Analysis

The MASTECS project is developing a commercial timing analysis solution designed to enable the safe use of multicore processors in the automotive and avionics…

CodeTEST™ Replacement with RVS

In this white paper, learn how RVS provides a viable alternative to the use of the legacy CodeTEST tool for structural coverage and timing analysis.

Webinar

Integrating & verifying time-critical applications on multicore platforms

This webinar shows how addressing A(M)C 20-193 objectives can be simplified using the MACH178…

AI-driven Requirements Traceability for Faster Testing and Certification

In this insightful webinar, "Streamlining Traceability: Automating the Path from Requirements to…

Deep Dive on Multicore Interference

In this webinar, multicore experts from Rapita Systems discuss the concept of multicore…

A(M)C 20-193 vs. CAST-32A: What the change means for your DO-178C Multicore project

Find out what the new AMC 20-193 guidance for certification of multicore DO-178C/ED-12C projects…
Thumbnail

Mitigation of Interference in Multicore Processors

In this webinar, Rapita Systems and Wind River discussed the multicore certification landscape, the…

Unlocking DO-178C Compliance Webinar

DO-178C objective 6.4.4.c includes a required activity to verify additional code introduced by the…

A(M)C 20-193 vs AA-22-01

This webinar discusses how the USAF AA-22-01 guidance compares with A(M)C 20-193 guidance, the gold…

Efficient DO-178C verification - Functional testing

In the first of our series of three DO-178C webinars, we explore Requirements-based functional…

Efficient DO-178C verification - Code coverage

In the second in our series of three DO-178C webinars, we examine Code coverage analysis, which is…

Efficient DO-178C verification - WCET analysis

In the third and final installment of our DO-178C webinar series we will explore software Worst-…

Verifying multicore hardware and software

Learn how ecosystem collaborations enable certification of multicore software in this joint webinar…
do178c webinar

Verifying your Multicore RTOS

Learn how to optimize RTOS configuration to prevent multicore interference and verify the…

Supplementing DO-178C activities for CAST-32A

Multicore certification expert Dr. Christos Evripidou, outlines new certification activities and…

Efficient testing with RVS and ANSYS® SCADE® Test™

Learn how Rapita helps you perform back-to-back testing of your SCADE models by integrating with…

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

In this webinar, you'll learn about Incremental Assurance of Multicore Integrated Modular Avionics.

Certifying multicore systems for DO-178C (CAST-32A) projects

In this webinar, you'll learn an approach to certifying multicore systems for DO-178C (CAST-32A)…

Solving DAL-A Safety Certification Challenges for Military Avionics Systems

This webcast featuring industry experts will cover various approaches and solutions for certifying…

Airborne Safety with FACE™ in the Digital Battlespace

Avionics experts discuss how FACE conformance can help ensure system safety during the digital…

Out of the box Solution for Multicore Analysis

Learn how Rapita and DDC-I technologies can provide an end-to-end solution for addressing CAST-32A…

Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects

Combining RTOS partitioning, intelligent system design and expert independent verification is the…

Multicore Timing for DO-178 Projects

World-leading experts on avionics certification from Rapita Systems and ConsuNova discuss multicore…

Multicore for ISO 26262 - Demonstrating freedom from interference webinar

In this webinar, you'll learn from world-leading experts on multicore timing analysis and…

Case study

Collins Case Study Cover

Collins Aerospace: DO-178C code coverage analysis

How our tools were used for DO-178C DAL A code coverage analysis for a complex flight control system.

Alenia Aermacchi (Leonardo) M-346

Learn how RVS tools measured and improved the overall execution time of the flight control system on the M-346.
Embraer case study

DO-178B Level A Embraer FCS

How our tools captured worst case timing and stack usage data for DO-178B Level A Embraer Flight Control Systems (FCS).
Case study Cover

Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets

How RapiCover efficiently produced coverage evidence for DO-178C certification of Cobham’s antenna control unit.

BAE Systems Hawk Mission Computer

Learn how RVS tools identified major worst-case execution time optimizations on the Hawk Trainer mission computer system.

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

How RapiCover supported structural coverage analysis of MBE Systems' UAV Engine Control system.
Triumph Case Study Cover

Triumph Integrated Systems: DO-178C Verification and Validation

How Rapita’s V&V services produced evidence for DO-178C certification of Triumph’s actuation system software.

Establishing WCET for the Airbus A330 Multi-Role Transport Tanker

How RapiTime automated timing analysis and helped to identify timing hotspots in a military DO-178B project.

Kappa: Verifying Airborne Video Systems for Air-to-Air Refueling using RVS

How RVS tools helped Kappa to verify an airborne video system.

Automating schedulability analysis of on-board software on the Solar Orbiter

Learn how RVS tools created a measurement-based analysis of Solar Orbiter on-board software for schedulability.

OHB Sweden: Efficient DO-178C code coverage analysis using RapiCover

Learn how RapiCover increased the efficiency of code coverage analysis for OHB's DO-178C Attitude Orbital Control System.

Wide Body Jet Flight Control System

How our tools improved early detection and resolution of timing problems on a flight control system.

Supporting ISO 26262 ASIL D software verification for EasyMile

How RVS supported verification of EasyMile's ASIL D autonomous driving solutions.

Supporting Collins Aerospace with DO-178C Enterprise Tool Qualification (RVS)

How our Qualification Kits and Services are supporting Collins Aerospace's use of RVS in DO-178C projects.

Validation of COTS Ada Compiler for Safety-Critical Applications

How Rapita conducted a successful Ada compiler validation project.
Front cover of whitepaper collins

Delivering world-class tool support to Collins Aerospace

How our Support Services are supporting Collins Aerospace's use of RVS in DO-178C projects.
GMV case study front cover

GMV verify ISO26262 automotive software with RVS

Rapita supported GMV engineers to implement a RapiCover integration to collect coverage results during testing
Infineon case study front cover

Infineon SafeTCore drivers

Our tools helped to verify the timing correctness of Infineon’s SafeTCore Safety Drivers running on Infineon’s TriCore family.

CDS gets WCET support for their next-generation custom processor

How Rapita Systems worked with CDS to develop, implement and validate a WCET process that works with their development approach.

Supporting DanLaw with unit testing and code coverage analysis for automotive software

How RVS tools helped Danlaw pass their customer’s Software Risk Assessment

Order Information sheet

MACH178 Blueprint Order Information

MACH178 Foundations: Product description, licensing and purchasing options

MACH178 Foundations Order Information

MACH178 Foundations: Product description, licensing and purchasing options

RVS Aero Order Information

RVS Aero: Product description, licensing and purchasing options

RVS Auto Order Information

RVS Auto: Product description, licensing and purchasing options

RVS Space Order Information

RVS Space: Product description, licensing and purchasing options

RVS Acad Order Information

RVS Acad: Product description, licensing and purchasing options

Platform Support Packages Order information

Platform Support Packages (for zero-footprint RVS tools): Order information. 

RapiDaemon DO-178C Tool Qualification Order Information

RapiDaemons DO-178C (DO-330) Tool Qualification: Order information. 

RVS Tool Qualification for DO-178C Order Information

RVS DO-178C (DO-330) Tool Qualification: Order information.

RTBx Order Information

RTBx data logger: product description, purchasing options and warranty

Engineering Services Order Information

Engineering services Order Information Sheet

Brochure

Rapita Systems Brochure

Find out more about Rapita Systems' solutions, which meet the needs of software verification for critical embedded…

MACH178

Learn how MACH178 can help you produce DO-178C, AC 20-193 and AMC 20-193 evidence for multicore…

Software verification services for aerospace

Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing…

Multicore timing analysis solution for automotive

Learn how we identify and quantify interference channels in multicore hardware and help produce evidence that…

Rapita Verification Suite (RVS) Training Brochure

Learn how our training courses support efficient verification using RVS.

Product brief

Lay the groundwork for A(M)C 20-193 compliance with MACH178 Foundations

Learn how MACH178 Foundations can lay the…

Supporting your A(M)C 20-193 compliance with MACH178 Services

Learn how MACH178 Services can support you on your multicore DO-178C (A(M)C 20-193) certification…

Derisk your multicore certification approach with the MACH178 Blueprint

Learn how the MACH178 Blueprint can help you understand what is required for multicore certification…

Functional testing for critical software with RapiTest

Learn how RapiTest integrates into development environments to perform unit, integration and system…

On-target structural code coverage analysis with RapiCover

Learn how RapiCover can help to reduce testing effort when conducting code coverage analysis.

Measurement-based timing and WCET analysis with RapiTime

Learn how RapiTime performs detailed timing and worst-case execution time analysis with minimal…

Visualising RTOS Scheduling and Event Tracing with RapiTask

Find out how RapiTask can help you to understand software scheduling behavior and diagnose scheduling…

Interference channel analysis support for multicore airworthiness certification with RapiDaemons

Learn how RapiDaemons create interference on shared resources in multicore systems, supporting…

RapiDaemon Tool Qualification for DO-178C

Learn how we provide tool qualification support for using RapiDaemons in projects requiring DO-…

Zero-footprint coverage analysis with RapiCover Zero

Learn how RapiCoverZero collects structural coverage metrics from software execution without…

Zero-footprint execution time analysis with RapiTime Zero

Learn how RapiTimeZero calculates the execution time of software without needing source code or…

Zero-footprint RTOS event tracing with RapiTask Zero

Learn how RapiTaskZero helps engineers understand the task-level scheduling behavior of their…

RVS Tool Qualification for DO-178C

Learn how we provide tool qualification support for using RVS in projects requiring DO-178B/C…

RVS Tool Qualification for DO-278A

Learn how we provide tool qualification support for using RVS in projects requiring DO-278A…

Continuous tracing with the RTBx data logger

Learn how the RTBx data logger provides a cost-effective and easy-to-use approach to collecting timing…

Target Integration Service

Learn how our Target Integration Service creates a robust integration of RVS tools into your…

Data coupling and control coupling solutions for DO-178C

Learn how our data coupling and control coupling solutions for DO-178C can help you implement an efficient approach to…

Software support and maintenance

Learn how we support RVS users through our Software support and maintenance service.

Multicore DO-178C Training

Learn how our multicore DO-178C training course helps you understand evidence of multicore verification for A(M)C 20-…

Frozen Version Support

Learn about the Rapita Systems software product life cycle and how we support projects with long lifetimes with our…

RVS Proof of Concept study

Learn how our RVS Proof of Concept studies help you identify the benefits of using RVS…

Automotive Software Verification Services

Learn how our Software Verification Services can help you reduce the cost of designing and implementing…

FAQ

Software licensing FAQ

Answer your questions about our software licensing models and methods.

Technical note

Software verification for MATLAB Simulink projects with RVS

Learn how RVS tools supplement the evidence you need to verify critical software developed using…

Software verification for ANSYS SCADE projects with RVS

Learn how RVS tools supplement the evidence you need to verify critical software developed using ANSYS…
Technical Note Thumbnail

Connecting the RTBx to Embedded Targets

Learn how to connect the RTBx to embedded targets in order to collect verification data.

Requirements for zero-footprint RVS analysis

Learn the requirements for software analysis by zero-footprint RVS tools, and how to assess…
Technical Note Thumbnail

Integrated Test Automation and Coverage for ISO 26262 using Mx-Suite with RapiCover

Learn how integration between RapiCover and Mx-Suite allows coverage to be collected automatically…

Using RapiTime with VxWorks to verify real-time performance

Learn how RapiTime can be used with VxWorks to ensure that applications meet their timing requirements.

Using RVS with iSYSTEM trace-enabled debuggers

Learn how integrating RapiTime with iSYSTEM trace-enabled debuggers provides an effective way of…
Technical Note Thumbnail

Using RapiTime and RapiTask with RTEMS® to verify real-time performance in a multicore environment

Learn how RapiTime and RapiTask can be used with RTEMS to ensure that multicore…

RVS trace capture using Lauterbach TRACE-32 PowerTrace

Learn how Lauterbach PowerTrace can be used to collect traces for RapiTime analysis.

Research project

PROARTIS

Learn about the PROARTIS project, which aimed to develop new tools, hardware and software architectures to allow…

parMERASA

Learn more about the parMERASA project, which aimed to demonstrate the use of multicore processors in real-time…

PRESTO

Find out more about the PRESTO project, which aimed to improve test-based embedded systems development and…

VeTeSS

Learn about the pan-European VeTeSS (Verification and Testing to Support Functional Safety Standards) project, which…

PROXIMA

Learn about the pan-European PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore…

MERASA

Learn about what the MERASA project, which developed multicore processors for hard real-time embedded systems and…

Product preview

DCCC Analysis with RapiCoupling (Preview)

Learn how the upcoming RapiCoupling tool will support Data Coupling and Control Coupling Analysis for…

RapiTest Tool Qualification: ISO 26262

Learn how we provide tool qualification support for using RapiTest in projects requiring ISO…

RapiCover Tool Qualification: ISO 26262

Learn how we provide tool qualification support for using RapiCover in projects requiring ISO…

Videos

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

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

MACH178 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

MACH178 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 Thumbnail

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 Thumbnail

Functional testing with RapiTest

RapiTest – Functional testing for critical software.

  Structural coverage analysis with RapiCover Thumbnail

Structural coverage analysis with RapiCover

RapiCover – Low-overhead coverage analysis for critical software.

Execution time analysis with RapiTime Thumbnail

Execution time analysis with RapiTime

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

System event tracing with RapiTask Thumbnail

System event tracing with RapiTask

RapiTask – RTOS scheduling visualization for critical software.

Zero footprint coverage analysis with RapiCover Zero Thumbnail

Zero footprint coverage analysis with RapiCover Zero

RapiCoverZero – Zero-footprint structural coverage analysis for critical software.

Zero footprint timing analysis with RapiTime Zero Thumbnail

Zero footprint timing analysis with RapiTime Zero

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

RapiTask Zero Thumbnail

Zero-footprint system event tracing with RapiTask Zero

RapiTaskZero – Zero-footprint RTOS scheduling visualization for critical software.

solar_orbiter_video

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 MACH178 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 Thumbnail

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 Thumbnail

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

Learn how RVS treemaps help you get an overview of verification progress and other metrics across your code base and help you easily understand your code hierarchy and structure at a glance.
Analyze code complexity thumbnail

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 thumbnail

Visualize call dependencies with RVS

RVS lets you view and explore call dependencies in your code, making it easier to understand and verify it. 

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.

SCADE Test video thumbnail

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 Thumbnail

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.

Test Templates thumbnail

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 Thumbnail

Justifying untestable code with RapiCover

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

Merging coverage from multiple tests with RapiCover Thumbnail

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 Thumbnail

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

Qualification-video-thumbnail

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

Learn how Sim68020 supports software verification on the Motorola 68020 microprocessor.
Qualification guidance thumbnail

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.

Thumbnail

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

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.

Streamlined software verification with RVS 3.21

RVS 3.21 streamlines software verification for safety-critical software.

Learn more at www.rapitasystems.com/products/rvs-321.

RVS 320 Thumb

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.

Thumbnail

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

RVS 3.15 video thumbnail

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 thumbnail

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.

Apply Clear filters

Content type

White paper Case study Webinar Brochure Product brief Technical note Research project FAQ Order Information sheetProduct preview Video

Solution

RVS RapiTest RapiCover RapiTime RapiTask RapiCoverZero RapiTimeZero RapiTaskZero MACH178 RTBx RapiDaemons Integration Multicore Timing Solution Qualification Support Training Software Verification Services

Apply Clear filters

  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask
    • MACH178

    • 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
    • Multicore Timing Analysis
    • Embedded Software Testing Tools
    • Worst Case Execution Time
    • WCET Tools
    • Code coverage for Ada, C & C++
    • MC/DC Coverage
    • Verifying additional code for DO-178C
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®
    • Data Coupling & Control Coupling
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C
    • AC 20-193 and AMC 20-193
    • ISO 26262
    • What is CAST-32A?

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