My Resources

In this insightful webinar, "Streamlining Traceability: Automating the Path from Requirements to Tests", we will dive into the latest advancements in requirements traceability and test automation. Discover how to enhance your development process by seamlessly linking requirements to tests, reducing errors, and improving compliance in safety-critical industries.

In this webinar, multicore experts from Rapita Systems discuss the concept of multicore interference and its significance for the development and certification of multicore avionics.

Find out what the new AMC 20-193 guidance for certification of multicore DO-178C/ED-12C projects means for your multicore avionics project

The ability to collect complete trace data from safety-critical avionics software on intended final hardware is crucial, enabling verification of software behavior on-target to meet DO-178C objectives. In this technical webinar, Lauterbach and Rapita Systems explore how TRACE32 and RVS can be used to support requirements-based testing, code coverage analysis and timing analysis including WCET for DO-178C projects.  Join us to see how trace data can be collected during on-target PIL and HIL testing and used to produce test, coverage and timing evidence efficiently using a workflow qualified for DO-178C. 

In this webinar, Rapita Systems and Wind River discussed the multicore certification landscape, the challenges of multicore interference and how to mitigate interference.

As the aerospace industry evolves, so too must the tools and languages we use to build its most critical systems. Rust is emerging as a powerful, memory-safe alternative to C/C++, but how can it be used in environments governed by rigorous standards like DO-178C? In this exclusive webinar, AdaCore and Rapita Systems will demonstrate how their tools GNAT Pro for Rust and the Rapita Verification Suite (RVS) can enable the safe, certifiable use of Rust in avionics software.

DO-178C objective 6.4.4.c includes a required activity to verify additional code introduced by the compiler for DAL A projects i.e. code, that cannot be traced to Source Code, to demonstrate the correctness of such additional code sequences. Often called a “hidden” activity of DO-178C, its placement within the 6.4.4.c objective can lead to confusion. At first glance, objective 6.4.4.c is about test coverage of software structure rather than verification, yet activity 6.4.4.2.b clearly requires demonstrating that the correctness of the object code has been verified. Demonstrating coverage and correctness are very different things.

This webinar discusses how the USAF AA-22-01 guidance compares with A(M)C 20-193 guidance, the gold standard for multicore airworthiness certification.

This webinar shows how addressing A(M)C 20-193 objectives can be simplified using the MACH178 solution and the ASTERIOS toolsuite.

In the first of our series of three DO-178C webinars, we explore Requirements-based functional testing, which is a key aspect of complying with DO-178C guidance.

In the second in our series of three DO-178C webinars, we examine Code coverage analysis, which is a key verification activity in DO-178C software development projects.

In the third and final installment of our DO-178C webinar series we will explore software Worst-case execution time (WCET); an important verification activity for DO-178C projects.

Learn how ecosystem collaborations enable certification of multicore software in this joint webinar from Rapita Systems, NXP and Curtiss-Wright.

Learn how to optimize RTOS configuration to prevent multicore interference and verify the effectiveness of resource partitioning using Rapita’s unique timing/interference analysis methodology to build a robust certification case.

Multicore certification expert Dr. Christos Evripidou, outlines new certification activities and resources that can be flexibly integrated into your existing DO-178C workflow to satisfy the full scope of multicore certification objectives.

Learn how Rapita helps you perform back-to-back testing of your SCADE models by integrating with ANSYS® SCADE® Test™.

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

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

This webcast featuring industry experts will cover various approaches and solutions for certifying these solutions to conforming to Design Assurance Level (DAL) A in military helicopters, fighter jets, VTOL platforms, and unmanned aircraft systems.

Avionics experts discuss how FACE conformance can help ensure system safety during the digital transformation journey in avionics.

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

Combining RTOS partitioning, intelligent system design and expert independent verification is the most effective/reliable pathway to DO-178C multicore certification.

World-leading experts on avionics certification from Rapita Systems and ConsuNova discuss multicore timing analysis for DO-178 projects.

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

Rapita's verification solutions reduce verification costs and time to market for automotive software.

Compliance with NASA-STD-8739.8B and ECSS‑E‑ST‑40C ensures that space‑mission software is engineered to the highest standards of safety, reliability, and quality. By following these rigorous guidelines, teams can demonstrate that mission‑critical onboard software behaves predictably and performs safely under all operating conditions, providing the assurance needed to certify the most critical spacecraft systems.

Find out how the Rapita Verification Suite (RVS) assists you with A(M)C 20-193 compliance.

Learn how RVS supports on-target testing effort for Simulink and SCADE projects

Rapita's multicore timing solutions support the selection and configuration of multicore platforms and verification of multicore software used in automotive projects.

Quick guide containing everything you need to know before visiting Rapita Systems in York.

Rapita has worked with some of the world's largest aerospace OEMs. Here is what some of our customers have to say about working with Rapita.

Rapita’s tools and services are designed to reduce the effort needed to verify safety-critical code.

MACH178 Foundations: Product description, licensing and purchasing options

RVS Aero: Product description, licensing and purchasing options

RVSAuto: Product description, licensing and purchasing options

RVSSpace: Product description, licensing and purchasing options

RVSAcad: Product description, licensing and purchasing options

Platform Support Packages support the analysis of code by zero-footprint RVS tools.

Our Qualification Kits, along with our RapiDaemon Qualification Service, provide the resources and expertise you need to qualify RapiDaemons for use in DO-178C projects.

Our Qualification Kits, along with our expert Qualified Target Integration Service, provide the resources and expertise you need to qualify RVS for use in DO-178C projects.

RTBx data logger: product description, purchasing options and warranty

Engineering services Order Information Sheet

Glossary of terms commonly used in the DO-178 domain. form { margin-left: 40px; } .dw-img img { height: auto; box-shadow: none !important; border: none !important; } .dlimg { margin: 0px !important; border: none !important; box-shadow: none !important; }

Rapita Systems provide a range of solutions to support critical software verification, including automated tooling and expert consultancy services including software verification and validation, multicore airworthiness (AC 20-193, AMC 20-193, CAST-32A and AA-22-01) compliance, and multicore timing analysis services. In this brochure, find out what we offer to help you reduce your verification cost and effort.

We provide a unique solution to support AC 20-193, AMC 20-193 and CAST-32A compliance for multicore aerospace systems. This provides a path to DO-178C multicore certification to achieve AC 20-193 and AMC 20-193, reducing migration risks and opening up the performance benefits of using multicore processors.  Learn how MACH178 can help you produce DO-178C, AC 20-193 and AMC 20-193 evidence for multicore systems.

Our RVS training courses teach verification concepts and how to use RVS plugins to perform verification activities efficiently.  Learn how our training courses support efficient verification using RVS. 

MACH178 Foundations provides a a collection of plans, procedures, checklists and other resources to support achieving multicore DO-178C A(M)C 20-193 airworthiness objectives using the MACH178 workflow.  Learn how MACH178 Foundations can lay the foundations for your multicore DO…

MACH178 Services support achieving multicore DO-178C A(M)C 20-193 airworthiness objectives using the MACH178 workflow.  Learn how MACH178 Services can support you on your multicore DO-178C (A(M)C 20-193) certification journey.

Functional testing such as requirements-based testing ensures that software behaves as expected and is a crucial part of software verification in contexts such as aerospace DO-178C and automotive ISO 26262 development. Learn how RapiTest integrates into existing development environments to perform unit, integration and system testing of embedded software.

Code coverage analysis provides evidence as to how much of a software application has been tested and is needed to satisfy aerospace DO-178C and automotive ISO 26262 certification. Learn how RapiCover can help to reduce testing effort when conducting code coverage analysis.

Software execution time analysis provides evidence as to the timing behavior of a software application and is needed to satisfy aerospace DO-178C and automotive ISO 26262 certification at the highest criticality levels. Learn how RapiTime performs detailed timing and worst-case execution time analysis with minimal overheads.

Understanding the task-level scheduling behavior of an application allows troubleshooting of systems, including fixing rare timing events and capacity issues. Find out how RapiTask can help you to understand software scheduling behavior and diagnose scheduling issues.

With the increasing use of multicore systems in safety-critical avionics, the need multicore timing analysis is becoming increasingly more important. Learn how RapiDaemons create interference on shared resources in multicore systems, supporting multicore timing analysis.

Tool qualification provides evidence that software tools used to eliminate, reduce or automate design assurance processes are robust. Within the aerospace DO-178C, RapiDaemons are defined as Criteria 3 tools with Tool Qualification Level 5, and can be used in projects of every design assurance level, including DAL A. Learn how we provide tool qualification support for using RapiDaemons in projects requiring DO-178C certification.

Code coverage analysis provides evidence as to how much of a software application has been tested. While it is necessary to perform this analysis on critical aerospace and automotive software, this can be challenging when no access is available to source code, making it impossible to instrument this code to analyze coverage during tests.  Learn how RapiCoverZero solves this challenge by collecting structural coverage metrics from software execution without…

Software execution time analysis provides evidence as to the timing behavior of a software application. While it is necessary to perform this analysis on critical aerospace and automotive software, this can be challenging when no access is available to source code, making it impossible to instrument this code to analyze software execution time during tests.  Learn how RapiTimeZero solves this challenge by calculating the execution time of software without…

Understanding the task-level scheduling behavior of an application allows troubleshooting of systems, including fixing rare timing events and capacity issues.  When no access is available to software source code, it can be challenging to understand the task-level scheduling behavior of critical aerospace and automotive software, as it is not possible to instrument this code to analyze the application.  Learn how RapiTaskZero solves this challenge by…

Tool qualification provides evidence that software tools used to eliminate, reduce or automate design assurance processes are robust. Within the aerospace DO-178C, RVS is defined as a Criteria 3 tool with Tool Qualification Level 5, and can be used in projects of every design assurance level, including DAL A. Learn how we provide tool qualification support for using RVS in projects requiring DO-178B/C certification.

Tool qualification provides evidence that software tools used to eliminate, reduce or automate design assurance processes are robust. Within the aerospace DO-278A, RVS is defined as a Criteria 3 tool with Tool Qualification Level 5, and can be used in projects of every design assurance level, including DAL A. Learn how we provide tool qualification support for using RVS in projects requiring DO-278A certification.

The RTBx data logger is a cost-effective and easy-to-use approach to collecting timing and coverage data from output ports on target hardware for verification using RVS tools. In this product brief, learn the key benefits and specifications of the RTBx.

It’s becoming harder, and more expensive, to replace MVME 135 and MVME 136 (Motorola 68020) single board computers to test software for aircraft like the Eurofighter Typhoon. With Sim68020, you can de-risk and enable future software maintenance for your DO-178 applications. Learn how Sim68020 supports simulated testing and debugging of the Motorola 68020 microprocessor.

Our Target Integration Service ensures a robust integration of RVS tools and/or RapiDaemons into your existing development environment, so you can verify your software efficiently. In this product brief, learn the benefits of our Target Integration Service and the stages involved in its delivery. 

Data Coupling and Control Coupling analysis is required for DAL A-C DO-178C software, but what DCCC is and how to meet the objectives is often poorly understood. Many approaches exist to DCCC analysis exist, some of which artificially increase required verification effort while not contributing meaningfully to software safety.  Learn how our data coupling and control coupling solutions for DO-178C can help you implement an efficient approach to DCCC analysis that meets your project's needs…

Our software support and maintenance service gives RVS users access to new versions of our software and a direct line to our expert support team. Learn how this service supports your use of RVS. 

Our DO-178C Multicore training course offers value to both beginners and experts alike. Led by DO-178C multicore certification experts, the training focuses on practical approaches to satisfying A(M)C 20-193 / CAST-32A objectives for both civil and defense multicore avionics projects. Learn how our multicore DO-178C training course helps you understand how multicore systems can be verified for A(M)C 20-193 to produce compliance evidence.

Our Frozen Version Support service provides a means to offer support for the use of RVS tools in projects with long durations, ensuring that RVS can still be supported after they would otherwise have reached their end of life.  In this product brief, learn about the Rapita Systems software product life cycle and how we support projects with long lifetimes with our Frozen Version Support service.

Our RVS Proof of Concept studies support preliminary investigations into using RVS in a specific development environment.  Learn how our RVS Proof of Concept studies help you identify the benefits of using RVS and reduce risk through preliminary integration work on a subset of your system. 

Data Coupling and Control Coupling analysis, a required activity for the verification of DO-178C software as per DO-178C objective 6.4.4.d, provides evidence of the sufficiency of integration testing of software components. This helps improve software quality and reduce project costs.  Learn how the upcoming RapiCoupling tool will support Data Coupling and Control Coupling Analysis for critical software.

Tool qualification provides evidence that software tools used to eliminate, reduce or automate design assurance processes are robust. Within the automotive ISO 26262 context, RapiTest is defined as a Tool Confidence Level 3 tool and can be used in projects up to ASIL D. Learn how we provide tool qualification support for using RapiTest in projects requiring ISO 26262 certification.

Tool qualification provides evidence that software tools used to eliminate, reduce or automate design assurance processes are robust. Within the automotive ISO 26262 context, RapiCover is defined as a Tool Confidence Level 3 tool and can be used in projects up to ASIL D. Learn how we provide tool qualification support for using RapiCover in projects requiring ISO 26262 certification.

We offer flexible options for licensing our RVS software. In this document, we answer frequently asked questions about our licensing options and what they mean to you.

RVS tools provide PIL and HIL verification solutions for code generated using MATLAB® Simulink® models, and support on-host and on-target testing of hand-written code. Learn how RVS tools supplements the evidence you need to verify critical software developed using MATLAB® Simulink® models.

RVS tools provide PIL and HIL verification solutions for code generated using ANSYS® SCADE® models, and support on-host and on-target testing of hand-written code. Learn how RVS tools supplements the evidence you need to verify critical software developed using ANSYS® SCADE® models.

The RTBx offers a means to automatically collect and timestamp trace data from embedded systems, providing an excellent mechanism for collecting data for RVS analysis. Learn how to connect the RTBx to embedded targets in order to collect verification data.

Zero-footprint RVS tools analyze software to produce verification metrics with no need for access to source and no need for instrumentation. To enable verification using these tools, specific requirements are needed from the development environment.   Learn about these requirements and how to assess a development environment to determine compatibility with the zero-footprint RVS tools.

Mx-Suite provides an automated platform for embedded software verification and validation, which uses a novel novel approach of interpreting native signal interfaces from the software under test. RapiCover collects structural coverage results while tests are run, allowing testers to provide evidence of the maturity of their testing program. Learn how integration between RapiCover and Mx-Suite allows coverage to be collected automatically…

To show that applications meet hard real-time requirements, the worst-case response time of time-critical threads within the application must be known. To establish this, an RTOS with deterministic scheduling behavior such as VxWorks must be used, the worst-case execution time of each thread must be calculated. Learn how RapiTime can be used with VxWorks to ensure that multicore applications meet their timing requirements.

RVS tools RapiTime and RapiCover add instrumentation to code in order to allow them to understand when and how an application executes. iSYSTEM trace-enabled debuggers provide a means of collecting a trace of instrumented execution data, supporting RapiTime and RapiCover analysis. Learn how to integrate iSYSTEM trace-enabled debuggers with RapiTime and RapiCover in this…

To show that applications meet hard real-time requirements, the worst-case response time of time-critical threads within the application must be known. To establish this, an RTOS with deterministic scheduling behavior such as RTEMS must be used, the worst-case execution time of each thread must be calculated. Learn how RapiTime and RapiTask can be used with RTEMS to ensure that multicore applications meet their timing requirements.

Lauterbach PowerTrace provides a powerful mechanism of collecting a trace of instrumentation points for RapiTime analysis. This technical note describes how this mechanism can be implemented.

The pan-European Probabilistically Analyzable Real-time Systems (PROARTIS) project aimed to develop new tools, hardware and software architectures to allow faster computer hardware features to be used and analyzed more easily in reliable systems. Learn what this project set out to accomplish over its 3 year duration.  

Learn more about the pan-European Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability (parMERASA) project, which aimed to demonstrate the use of multicore processors in real-time systems. Learn what this project set out to accomplish over its 3 year duration.

The pan-European ImProvements of Industrial Real Time Embedded SysTems Development PrOcess (PRESTO) project aimed to improve test-based embedded systems development and validation while considering the constraints of industrial development process. Find out more about what this project aimed to achieve over its 3 year duration. .

The pan-European VeTeSS (Verification and Testing to Support Functional Safety Standards) project aimed to improve safety in automotive embedded electronic systems. Learn what this project set out to accomplish over its 3 year duration.

The pan-European PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore systems) project aimed to develop technologies allowing complex multicore platforms to be used in critical real-time systems. Learn what this project set out to accomplish over its 3 year duration.

The pan-European Multi-core execution of hard real-time applications supporting analyzability (MERASA) project aimed to develop multicore processors for hard real-time embedded systems, and techniques to guarantee analyzability and timing predictability. Learn what this project accomplished.

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 processes and how objectives can be met, and insights from best practice.

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.

In this white paper, learn how PikeOS and MACH178 solution provide an effective and efficient route to A(M)C 20-193 compliance.

This white paper explores the challenges of performing multicore timing analysis in critical aerospace systems development and presents a practical solution that overcomes these challenges and is compliant with DO-178C, AC 20-193 and AMC 20-193.

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 not achieved full coverage.

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 and DO-178C projects.

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 RapiTime enables efficient analysis in high criticality systems.

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

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

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

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

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.

How MACH178 helped CNES explore approaches for multicore timing analysis of flight software

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

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

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

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

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

How RapiCover supported structural coverage analysis of MBE Systems' UAV Engine Control system.

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

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

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

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

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

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

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

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

How Rapita conducted a successful Ada compiler validation project.

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

Rapita supported GMV engineers to implement a RapiCover integration to collect coverage results during testing

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

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

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