Rapita Systems

309 subscribers

84 videos

Rapita Systems is the leading supplier of software verification tools and services. Providing quality solutions to the global high-integrity aerospace and au...

Latest Videos

Sonic The Hedgehog 1991 running on Sim68020

Making Aviation Safe Air-To-Air Refueling with the Airbus A330 MRTT

How do you certify Rust code for DO-178C

Accelerated software verification with RVS 3.23

Getting started with RVS

Kickstart your verification with RVS tutorials

Requirements traceability with RapiTest and Polarion ALM

Enabling AI automation in safety-critical avionics with SAIF

How to use AI-driven requirements traceability for faster testing and certification

Out of the box solution for multicore analysis

Airborne Safety with FACE™ in the Digital Battlespace

What does AC 20-193 mean for your multicore project What changed from CAST-32A

How to verify your multicore RTOS for DO-178C & AC 20-193

How similar are AC 20-193 and AA-22-01

What is object code verification in DO-178C (and how do you do it)

How to do worst-case execution time analysis for DO-178C A case study

How to get 100% code coverage for DO-178C A case study

How to do functional testing for DO-178C

How to understand and verify multicore interference for DO-178C

Rapita Systems — Safety Through Quality

Simulation for the Motorola 68020 microprocessor with Sim68020

How to mitigate interference in multicore processors for DO-178C

How to integrate and verify time-critical applications on DO-178C multicore platforms

Multicore Software Verification with RVS 3.22

How to certify multicore DO-178C software with MACH178 Foundations

Visualize call dependencies with RVS

Streamlined software verification with RVS 3.21

Testing using the RapiTest Editor

Launching critical software to success with RVS 3.20

Kickstart your verification with RVS tutorials