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

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
DO-178C Multicore In-person Training (Toulouse)
2025-11-04
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

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

Breadcrumb

  1. Home

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

  Download
.

Kappa optronics has over 40 years of experience with application-specific cameras and vision systems in rugged and certifiable design. It provides innovative vision solutions for day and night operations, ensuring maximum performance for a range of applications and industries including safety-critical avionics applications.

Kappa approached Rapita looking for a solution to replace their existing COTS software verification approach to support verification of their 3D camera software application to DO-178C.

A330 MRTT in flight
A330 MRTT in flight

Summary

The challenge

  • Replace existing COTS tooling for DO-178C software verification with tooling that integrates with the customer’s development
    toolchain and is dependable, robust, and offers excellent qualification support

The solution

  • RapiTest and RapiCover integrated with Kappa’s Keil development toolchain for DO-178C-qualifiable functional testing and structural coverage analysis

The benefits

  • World class support from the Rapita FAE team; Kappa’s support queries were resolved “unbelievably fast”
  • Seamless integration achieved efficiently through collaborative working
  • DO-330 qualification kits and a qualified integration service that can be relied upon to meet DO-178C tool qualification requirements efficiently

The challenge

Kappa were developing a 3D camera system to support automated refuelling on the Airbus A330 MRTT, which needed to follow DO-178C design assurance processes. Kappa were using the Keil IDE and Keil debugger to develop and debug their code, which runs on an STM microcontroller. To ensure an efficient verification workflow, Kappa wanted their verification tooling to integrate with their software development toolchain.

Kappa had verification tooling in place already, but were looking for a tool solution that better met their project’s needs. In particular, they were seeking tooling that had enhanced integration capabilities with their software development toolchain, along with improved support and qualification assistance. Crucially, the solution needed to be ready for DO-178C.

A330 MRTT clears F-15 fighters for automatic refuelling
A330 MRTT clears F-15 fighters for automatic refuelling

The solution

Rapita integrated the RVS tools RapiTest and RapiCover into Kappa’s target environment and development toolchain to support functional testing and structural coverage analysis on the 3D camera application code.

The integration that was developed allowed RVS to trigger software builds and runs from the Keil IDE and collect execution results for RVS analysis using the Keil debugger. The integration was achieved collaboratively – while Rapita ensured that the RVS integration could interface with the development toolchain, Kappa developed an executable that supported the collection of execution data using the Keil debugger. Throughout development of the integration, Rapita’s support team worked alongside Kappa to answer questions and quickly remove obstacles.

The integration allowed Kappa to automatically run requirements-based tests on their STM target using the Keil debugger to collect test execution and structural coverage results during test runs. Kappa used RapiTest’s spreadsheet format to write functional tests, which makes test authoring and review easy by not requiring tests to be written in programming languages.

Rapita’s qualification kits and Qualified Target Integration Service supported Kappa’s use of RVS to produce evidence to meet DO-178C objectives in this specific integration.

The benefits

By choosing to work with Rapita and use the RVS tool suite, Kappa realized the following benefits:

  • World-class support – Kappa’s support queries were resolved “unbelievably fast”, with most queries being resolved within a couple of days, and a new wavefront version of RVS being delivered to Kappa in less than a week when this was required.
  • Seamless integration with Kappa’s specific development toolchain – Rapita’s FAE team deployed a fully automated integration that allowed RVS to work alongside Kappa’s existing development toolchain rather than outside it. This was made possible by
    RVS’s flexible integration capabilities and Rapita’s expert FAE team.
  • Qualification you can trust – RVS qualification kits and qualified target integration service made it easier for Kappa to provide the necessary evidence to qualify their use of RVS. RVS qualification kits include over 1200 tests and 180k LOC, have been accepted as standalone evidence of tool robustness in multiple DO-178C DAL A projects, and include qualification of the instrumentation engine and merging coverage results, eliminating the need for expensive manual review.

“We’re really happy that we chose to work with Rapita to enhance our verification tooling. RVS has helped us achieve our DO-178C verification goals efficiently and we were very impressed with the unbelievably fast support from Rapita.”
Paul Staab
Head of Verification and Validation
Kappa Optronics

Next Steps

To learn more about how Rapita can help you with software verification, visit our RVS product page. To find out more about what Rapita can do for you, contact us.

Other case studies

Case study

Collins Aerospace: DO-178C code coverage analysis

Case study

Alenia Aermacchi (Leonardo) M-346

Case study

DO-178B Level A Embraer FCS

Case study

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

  • 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