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

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

Breadcrumb

  1. Home

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

  Download
.

OHB® Sweden provides complete space missions, satellites and spacecraft subsystems. With more than 30 years of proven success running a wide range of space missions in low and geostationary orbit and developing and manufacturing spacecraft for interplanetary missions, OHB Sweden has acquired a first class reputation of offering reliable and innovative solutions to its customers.

Rapita and OHB Sweden are partners in the AMASS project, which aims to lower certification costs for cyber-physical systems.

As part of AMASS, Rapita worked with OHB Sweden to improve the efficiency of structural coverage analysis testing for an Attitude Orbital Control System used on the Electra satellite, while supporting future adoption of DO-178C certification processes.

Summary

The challenge

  • Improve efficiency of structural coverage analysis while supporting future adoption of DO-178C certification processes

The solution

  • RapiCover integrated with the existing build and test environment with minimal modifications to collect DO-178C Level B coverage data.

The benefits

  • Improved coverage analysis efficiency through reduced instrumentation overheads, an advanced justification workflow for tracking manual coverage analysis, and support for ternary operators.
  • Reduced costs and risks for downstream certification due to the availability of qualification kits should RapiCover be used throughout the program.

The challenge

OHB Sweden’s project uses a model-based design process and an automated code generation and test environment. In the project, code is auto-generated from Simulink® models into a number of library functions. A test harness is built for each of these functions using the SPARC RTEMS GCC toolchain. Finally, tests of the functions are run on a LEON2 emulator (TSIM).

 
Electra satellite
Figure 1 – The Electra satellite
 

At the onset of this case study, OHB Sweden were using an open-source coverage analysis tool to provide coverage data, for which no qualification support is available. As OHB Sweden are considering the development of manned spacecraft in the future, which requires adherence to DO-178C guidelines and processes, this lack of support presents a risk.

Rapita was asked to provide a more efficient coverage analysis solution than the one currently being used, which also integrates with the existing code generation and test environment and has a tool qualification path already in place, thereby supporting future adoption of DO-178C processes for the project.

The solution

Rapita worked with OHB Sweden to integrate RapiCover into the existing build and test environment to collect structural coverage data at DO-178C Level B while tests are run on source library functions.

Because of the flexible architecture of both RapiCover and OHB Sweden’s development environment, integration was accomplished while making minimal changes to the build system.

A strategy was put in place to collect coverage data while tests were executed by hooking into the software’s existing I/O system.

The toolchain was then executed to collect coverage data from the library functions. The flexible nature of RapiCover means that migration of the integration to collect data from new functions will require minimal effort.

The benefits

Replacing OHB Sweden’s existing coverage solution with RapiCover contributed to a marked increase in coverage analysis efficiency through the following:

  • 40% reduction in end-to-end testing time – RapiCover’s low instrumentation overheads significantly reduced the time needed to run coverage tests.
  • Justifications for tracking manual analysis of coverage – RapiCover’s justifications make it easy to mark code as covered by manual analysis. With customizable templates, custom fields and support for migration when code changes, these minimize the effort needed to fill coverage holes caused by unreachable or untestable code.
  • Full support for analysis of C code – unlike the previous coverage analysis tool it replaced, RapiCover supports coverage analysis of ternary operators, removing the need for manual review of code containing them.

The availability of RapiCover qualification kits also promises to reduce certification costs and risks for downstream certification should the tool be adopted throughout the whole program.

Anders Edfors, Attitude and Orbit Control Systems Specialist at OHB Sweden commented on the benefits of using RapiCover over their previous solution:

“The AMASS project aims to reduce the cost of certifying systems such as the ones we develop, which is critical for the continued production of safe systems and the growth of our industry. Along with other efficiency improvements, Rapita’s structural coverage analysis solution increased our end-to-end test speed by ~40% when compared with our previous approach, which will let us produce verification evidence faster and reduce downstream certification costs. It was a delight working with Rapita. Their expert engineers quickly adapted to our build system and the integration went far more smoothly than we could have expected.”

Anders Edfors

Attitude and Orbit Control Systems Specialist 
OHB Sweden

Next Steps

For more information on the AMASS project, which aims to lower certification costs for cyber-physical systems, see their web site.

To learn how RapiCover can help reduce the cost and effort of code coverage analysis, visit our product page.

If you’d like to know more about how our specialist verification and validation services can help you reduce the effort of testing your high-criticality systems, visit our contact page.

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