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

Rapita Verification Suite (RVS)

RapiTest - Functional testing for critical software RapiCover - Low-overhead coverage analysis for critical software RapiTime - In-depth execution time analysis for critical software RapiTask - RTOS scheduling visualization RapiCoverZero - Zero-footprint coverage analysis RapitimeZero - Zero-footprint timing analysis RapiTaskZero - Zero-footprint event-level scheduling analysis RVS Qualification Kits - Tool qualification for DO-178 B/C and ISO 26262 projects RapiCoupling - DCCC analysis

Multicore Verification

MACH178 - Multicore Avionics Certification for High-integrity DO-178C projects MACH178 Foundations - Lay the groundwork for A(M)C 20-193 compliance Multicore Timing Solution - Solving the challenges of multicore timing analysis RapiDaemon - Analyze interference in multicore systems

Other

RTBx - The ultimate data logging solution Sim68020 - Simulation for the Motorola 68020 microprocessor

RVS Software Policy

Software licensing Product life cycle policy RVS Assurance issue policy RVS development roadmap

Industry leading verification services

Engineering Services

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

Latest from Rapita HQ

Latest news

Rapita partners with Asterios Technologies to deliver solutions in multicore certification
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
View News

Latest from the Rapita blog

How emulation can reduce avionics verification costs: Sim68020
Multicore timing analysis: to instrument or not to instrument
How to certify multicore processors - what is everyone asking?
Data Coupling Basics in DO-178C
View Blog

Latest discovery pages

Military Drone Certifying Unmanned Aircraft Systems
control_tower DO-278A Guidance: Introduction to RTCA DO-278 approval
Picture of a car ISO 26262
DCCC Image Data Coupling & Control Coupling
View Discovery pages

Upcoming events

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
HISC 2025
2025-11-13
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

How to make AI safe in autonomous systems with SAIF
Rapita Systems - Safety Through Quality
Simulation for the Motorola 68020 microprocessor with Sim68020
AI-driven Requirements Traceability for Faster Testing and Certification
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
  • Careers
  • Working at Rapita

Industries

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

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

Military & Defense

Military & Defense

Software verification for defense avionics

Solutions Case Study

From the flight control unit to display and power systems, software can be found almost everywhere in military aircraft.

Failure of onboard mission and safety-critical software could have far-reaching repercussions. To ensure the safety of pilots, passengers, and aircraft, software applications for military aviation must be tested to ensure that they operate correctly. This testing is often done to standards like MIL-HDBK-516C, AMACC, EMACC, ADSM, FACE, Def Stan 00-55 and Def Stan 00-56. Some defense applications use the FAA’s DO-178C guidance, or parts of it, to demonstrate airworthiness.

Trusted by industry professionals

Airbus defence and space logo
Leonardo logo
Bell logo
BAE Logo
MBE Logo

Verification requirements for flight software

Software verification is crucial to demonstrate that safety-critical and mission-critical flight software meets its functional and nonfunctional requirements. A range of activities support meeting verification requirements for flight software, including the following.

Military & Defense software needs to be tested to verify that it functions correctly. To meet airworthiness requirements such as AMACC and MIL-HDBK-516C, tests should be based on high and low-level software requirements.

Learn more Solutions

Structural coverage analysis (code coverage analysis) for military & defense software ensures that requirements-based testing has sufficiently tested the code structure. Structural coverage analysis is required to meet airworthiness requirements such as AMACC and MIL-HDBK-516C, and the required level of coverage often depends on the criticality of the software being verified.

Learn more Solutions

Data Coupling and Control Coupling coverage analysis for military & defense software demonstrates that software data flows and control flows have been exercised during requirements-based testing. This analysis is required for some military & defense airworthiness standards such as AMACC.

Learn more Solutions

Safety-critical military & defense software must operate within timing deadlines. Timing analysis, including worst-case execution time analysis, is required to meet verification objectives in standards such as AMACC and MIL-HDBK-516C.

Learn more Solutions

Multicore processing for real time software makes systems less deterministic, as program behavior can be influenced by interference from software running on different processors. The use of multicore processing for military & defense software applications adds additional airworthiness requirements, such as the AA-22-01 amendment to MIL-HDBK-516C.

Learn more Solutions

“RapiCover’s low overheads and advanced features enabled our team to significantly reduce the time and effort required for our structural coverage analysis. Rapita’s support team also demonstrated a genuine determination to support us when required, and we are delighted with our overall experience with Rapita as a verification partner.”

Steve Baker

Director
MBE Systems

Benefits of working with Rapita

  Efficient testing

Meeting project budgets is a top priority, which is why we focus heavily on making software testing and verification efficient.

 
  On-target expertise

At Rapita, we know that on-target testing is the gold standard, and our verification solutions are designed with this in mind.

 
  Verification, your way

Every project and organization is different, and an efficient verification approach must align with your processes and development environment.

 
  One-stop solution

Using too many independent pieces of software slows projects down and causes a management headache.

 
  A trusted partner

When you work with us, we do our best to support your needs, every time.

 
Efficient testing & verification

 

Meeting project budgets is a top priority, which is why we focus heavily on making software testing and verification efficient.

We provide training and consultancy on making your testing and verification process more efficient, and our software includes key effort-saving features such as merging of results from different test runs and migration of coverage justifications.

On-target expertise

 

At Rapita, we know that on-target testing is the gold standard, and our verification solutions are designed with this in mind.

With flexible integration strategies, R VS can integrate with almost any embedded target or simulator, regardless of available memory, bandwidth, or code size, and has been used for on-target verification of LEON and ARM processors.

R VS’s instrumentation is the lowest on the market, meaning fewer test runs are needed to collect results to verify your system.

Verification, your way

Every project and organization is different, and an efficient verification approach must align with your processes and development environment.

R VS integrates into your existing development environment, including build system, requirements management and application life cycle management tooling.

One-stop solution

Using too many independent pieces of software slows projects down and causes a management headache.

Rapita and R VS provide solutions for all of the key verification activities you’ll need to perform that require dynamic analysis, meaning you can simplify both your verification strategy and your procurement.

A trusted partner

When you work with us, we do our best to support your needs, every time.

We regularly develop custom tools and solutions to meet specific verification needs.

Support is a cornerstone of our business, and our support team regularly exceeds our high service objectives. Check out some of our support testimonials to see we aren’t exaggerating.

Resources


ADAS Case Study
Establishing WCET for the Airbus A330 Multi-Role Transport Tanker
Alenia Aermacchi case study
Proving and improving worst-case execution times on the Alenia Aermacchi® M-346
MBE Case study
RapiCover’s advanced features accelerate the certification of military UAV Engine Control
BAE Case Study
Worst-Case Execution Time Optimization on the BAE Systems® Hawk® Mission Computer
  • 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
    • DO-178C
    • Meeting DO-178C Objectives
    • AC 20-193 and AMC 20-193
    • Meeting A(M)C 20-193 Objectives
    • Certifying eVTOL
    • Cerifying UAS

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