Your browser does not support JavaScript! Skip to main content
Free 30-day trial Customer portal Careers DO-178C Handbook
 
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

Multicore verification

  MACH178   Multicore Timing Solution   RapiDaemons

Services

  V & V Services   Qualification   Training   Tool Integration  Support

Industries

  Aerospace (DO-178C)   Automotive (ISO 26262)   Space

Other

  RTBx   Mx-Suite   Software licensing   Product life cycle policy  RVS development roadmap

Latest from Rapita HQ

Latest news

Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
A look back on Rapita's Multicore DO-178C training in Huntsville
RVS 3.17 Launched
View News

Latest from the Rapita blog

Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
There are how many sources of interference in a multicore system?
Supporting modern development methodologies for verification of safety-critical software
Flexible licensing software fit for modern working
View Blog

Latest discovery pages

do178c DO-178C Guidance: Introduction to RTCA DO-178 certification
matlab_simulink MATLAB® Simulink® MCDC coverage and WCET analysis
code_coverage_ada Code coverage for Ada, C and C++
amc-20-193 AMC 20-193
View Discovery pages

Upcoming events

Aerospace Tech Week Europe 2023
2023-03-29
Certification Together International Conference
2023-05-10
View Events

Technical resources for industry professionals

Latest White papers

DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
A Commercial Solution for Safety-Critical Multicore Timing Analysis
Compliance with the Future Airborne Capability Environment (FACE) standard
View White papers

Latest Videos

Efficient DO-178C verification - WCET analysis
Efficient DO-178C verification - Code coverage
Efficient DO-178C verification - Functional testing
SCADE Test video thumbnail
Complementary DO-178C verification with Ansys(R) SCADE Test(TM) and RVS
View Videos

Latest Case studies

Supporting ISO 26262 ASIL D software verification for EasyMile
RapiCover’s advanced features accelerate the certification of military UAV Engine Control
Front cover of whitepaper collins
Delivering world-class tool support to Collins Aerospace
View Case studies

Other Downloads

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

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 930 46 42 72
info@rapitasystems.com
Rapita Systems S.L.
Parc UPC, Edificio K2M
c/ Jordi Girona, 1-3, Office 306-307
Barcelona 08034
Spain

Working at Rapita

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita
Back to Top

Software verification on the Solar Orbiter

Breadcrumb

  1. Home
  2. Blog
  3. Software verification on the Solar Orbiter
Joe Anderson
2021-03-01

The Solar Orbiter recently celebrated its first birthday, having completed one year in space after its launch on the 10th February 2020. While it progresses towards an elliptical orbit around the Sun, it continues to send images and data supporting the scientific efforts of researchers on Earth. Congratulations to all of those involved in such a huge achievement showcasing the fantastic capabilities of modern engineering!

Here at Rapita, we are proud of the role that the Rapita Verification Suite (RVS) played in the development of the Energetic Particle Detector (EPD), a component of the solar orbiter measuring energy levels of solar particles. Rapita’s RapiTime was used by developers at the University of Alcalá to support schedulability analysis for the software of the EPD’s Instrument Control Unit (ICU).

Following on from the success of this project, we have been working together with the University of Alcalá to further integrate the full suite of RVS tools with the EPD’s bootloader software. The aims of this project are to evaluate and improve on a RapiCover integration that had been engineered at Alcalá and to generate a suite of unit tests demonstrating the workflow facilitated by the RVS tools. The software and integrations will also serve as a platform for demonstration and testing purposes here at Rapita.

We built on the existing integration to achieve integrations of RapiCover, RapiTest, and RapiTime, through which we collect data on-target using a softcore LEON3 processor instantiated on an FPGA board. The team at the University of Alcalá have been using the integrations to develop unit tests using RapiTest and collect coverage up to DO-178C DAL A standards (collecting coverage metrics up to and including MC/DC) through RapiCover. Our on-target effort has been supported by Cobham Gaisler, who generously provided a license for their GRMON debugger, which has helped us facilitate executable loading, execution, and debugging and provides a mechanism for extracting coverage and test data.

RTBx on LEON3
Figure 1. RTBx connected to LEON3 processor for data collection

The flexibility of the RVS tool suite delivers users a number of options for data collection and measurement. We have implemented three approaches to data collection on this project. One uses an RTBx to collect coverage data on-the-fly through a livemap (Figure 1), where instrumentation data is streamed out in real-time to indicate which elements of the code have been exercised. This allows testing of coverage across reset sequences. The second approach uses an in-memory map approach to collect coverage and functional test data, where results are built in memory and then extracted after test runs have finished via the GRMON debugger. In the final approach, a trace of execution behavior and timestamps is streamed directly from the LEON3 hardware to collect execution time data. We have collected data using all three approaches and processed it using RVS to give a complete view of the software characteristics (Figure 2).

RapiCover results from Solar Orbiter
Figure 2. Coverage data collected from Solar Orbiter software
RapiTest results from Solar Orbiter
Figure 2. Functional test data collected from Solar Orbiter software
RapiTime results from Solar Orbiter
Figure 2. Execution time data collected from Solar Orbiter software
❮ ❯
     

The project has recently moved into phase 2, and the team at Alcalá have made an emulator for the LEON3 processor available to us. Integration with this emulator will support us in using the RVS integration on the bootloader software as a demonstration, training and testing platform as we won’t all need a physical board and numerous wires on our desks! I’d like to thank the engineers at Alcalá for their continued support in this project as we continue to write tests and progress towards the completion of this second phase of the work.

To find out more about how RVS supports verification of space software, visit the RVS webpage, download our 30-day free trial or contact us.

DO-178C webinars

DO178C webinars

White papers

DO178C Handbook Efficient Verification Through the DO-178C Life Cycle
A Commercial Solution for Safety-Critical Multicore Timing Analysis
Compliance with the Future Airborne Capability Environment (FACE) standard
5 key factors to consider when selecting an embedded testing tool

Related blog posts

Out of the box RVS integration for DDC-I's Deos RTOS

.
2020-02-23

Lightweight instrumentation with RapiTask

.
2018-06-05

How to trace the source of deadlocks

.
2014-08-28

What's next for Ada?

.
2014-07-04

Pagination

  • Current page 1
  • Page 2
  • Next page Next ›
  • Last page Last »
  • 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
    • AMC 20-193
    • What is CAST-32A?
    • Multicore Timing Analysis
    • MC/DC Coverage
    • Code coverage for Ada, C & C++
    • Embedded Software Testing Tools
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C
    • WCET Tools
    • Worst Case Execution Time
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®

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