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

  CAST-32A Compliance   Multicore Timing Solution   RapiDaemons

Services

  V & V Services   Qualification   Training   Tool Integration

Industries

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

Other

  RTBx   Mx-Suite   Software licensing   Product life cycle policy

Latest from Rapita HQ

Latest news

Propelling the next generation of scientists
DO-178C Virtual Training - November 2020
NXP MCFA 2020

Latest from the Rapita blog

Leveraging FACE Conformance Artifacts to Support Airworthiness
Assured Multicore Partitioning for FACE Systems
Going above and beyond the quality standards

Upcoming events

Safe Use of Multi-Core Processors Seminar
2021-04-05

Technical resources for industry professionals

Latest White Papers

Multicore Timing Analysis for DO-178C
Seven Roadblocks to 100% Structural Coverage (and how to avoid them)
Eight top code coverage questions in embedded avionics systems

Latest Videos

MASTECS Project
Testing using the RapiTest scripting language thumbnail
Testing using the RapiTest scripting language
Continuous verification with RVS and Jenkins Thumbnail
Continuous verification with RVS and Jenkins
Zero footprint timing analysis with RapiTime Zero Thumbnail
Zero footprint timing analysis with RapiTime Zero
RapiTask Zero Thumbnail
Zero-footprint system event tracing with RapiTask Zero

Latest Webinars

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)
Certifying multicore systems for DO-178C (CAST-32A) projects
Airborne Safety with FACE™ in the Digital Battlespace

Latest Case studies

Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets
DO-178B Level A Embraer FCS
Validation of COTS Ada Compiler for Safety-Critical Applications

Discover Rapita

Who we are

The company menu

  • About us
  • Customers
  • Distributors
  • Locations
  • Partners
  • Research projects
  • Contact us

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita

US office

+1 248-957-9801
info@rapitasystems.com
41131 Vincenti Ct.
Novi, MI, 48375
USA

UK office

+44 (0)1904 413945
enquiries@rapitasystems.com
Atlas House
York, YO10 3JB
UK

Back to Top

Resources

Breadcrumb

  1. Home
  2. Resources

White paper

Multicore Timing Analysis for DO-178C

This white paper explores the challenges of performing multicore timing analysis in critical aerospace systems development and presents a practical solution that…

Seven Roadblocks to 100% Structural Coverage (and how to avoid them)

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…

Eight top code coverage questions in embedded avionics systems

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…

Automating WCET Analysis for DO-178B & DO-178C

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…

Three steps to avoid software obsolescence in avionic systems

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

CodeTEST® Replacement with RVS

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.

Webinar

Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects

Combining RTOS partitioning, intelligent system design and expert independent verification is the most effective/…

Out of the box Solution for Multicore Analysis - Rapita & DDC-I

How DDC-I and Rapita can provide an end-to-end solution for addressing CAST-32A objectives. How to integrate the RVS…

Certifying multicore systems for DO-178C (CAST-32A) projects

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

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

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

Airborne Safety with FACE™ in the Digital Battlespace

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

Multicore Timing for DO-178 Projects Webinar

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

Multicore for ISO 26262 - Demonstrating freedom from interference webinar

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

Case study

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

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

Collins Aerospace: DO-178C code coverage analysis

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

Triumph Integrated Systems: DO-178C V&V

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

Establishing WCET for the Airbus A330 Multi-Role Transport Tanker

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

DO-178B Level A Embraer FCS

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

Qualification of RapiCover for MC/DC coverage of DO-178B level-A software

Learn how RVS tools measured structural code coverage up to MC/DC on the Flight Control System of the M-346.

Alenia Aermacchi (Leonardo) M-346

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

Automating schedulability analysis of on-board software on the Solar Orbiter

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

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

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

BAE Systems Hawk Mission Computer

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

Wide Body Jet Flight Control System

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

Validation of COTS Ada Compiler for Safety-Critical Applications

How Rapita conducted a successful Ada compiler validation project.

Infineon SafeTCore drivers

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

Research project

PRESTO

Find out more about the PRESTO project, which aimed to improve test-based embedded systems development and validation…

VeTeSS

Learn about the pan-European VeTeSS (Verification and Testing to Support Functional Safety Standards) project, which…

PROXIMA

Learn about the pan-European PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore…

MERASA

Learn about what the MERASA project, which developed multicore processors for hard real-time embedded systems and…

PROARTIS

Learn about the PROARTIS project, which aimed to develop new tools, hardware and software architectures to allow faster…

parMERASA

Learn more about the parMERASA project, which aimed to demonstrate the use of multicore processors in real-time systems…

Brochure

Rapita Systems Brochure

Find out more about Rapita Systems' solutions, which meet the needs of software verification for critical embedded…

Multicore timing analysis solution for aerospace

Learn how Rapita Systems identifies and quantifies interference channels in multicore hardware and helps produce…

Software verification services for aerospace

Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing…

Multicore timing analysis solution for automotive

Learn how we identify and quantify interference channels in multicore hardware and help produce evidence that multicore…

Product brief

Functional testing for critical software with RapiTest

Learn how RapiTest integrates into development environments to perform unit, integration and system…

RapiTest Tool Qualification: DO-178B/C

Learn how we provide tool qualification support for using RapiTest in projects requiring DO-178B/C…

RapiTest Tool Qualification: ISO 26262

Learn how we provide tool qualification support for using RapiTest in projects requiring ISO 26262 …

On-target structural code coverage analysis with RapiCover

Learn how RapiCover can help to reduce testing effort when conducting code coverage analysis.

RapiCover Tool Qualification: DO-178B/C

Learn how we provide tool qualification support for using RapiCover in projects requiring DO-178B/C…

RapiCover Tool Qualification: ISO 26262

Learn how we provide tool qualification support for using RapiCover in projects requiring ISO 26262 …

Measurement-based timing and WCET analysis with RapiTime

Learn how RapiTime performs detailed timing and worst-case execution time analysis with minimal…

RapiTime Tool Qualification: DO-178B/C

Learn how we provide tool qualification support for using RapiTime in projects requiring DO-178B/C…

Visualising RTOS Scheduling and Event Tracing with RapiTask

Find out how RapiTask can help you to understand software scheduling behavior and diagnose scheduling…

Interference channel analysis support for DO-178 and CAST-32A with RapiDaemons

Learn how RapiDaemons create interference on shared resources in multicore systems, supporting…

CAST-32A Compliance Solution

Learn how our CAST-32A Compliance Solution supports the generation of CAST-32A compliance artifacts for multicore…

Zero-footprint coverage analysis with RapiCover Zero

Learn how RapiCoverZero collects structural coverage metrics from software execution without needing…

Zero-footprint execution time analysis with RapiTime Zero

Learn how RapiTimeZero calculates the execution time of software without needing source code or…

Zero-footprint RTOS event tracing with RapiTask Zero

Learn how RapiTaskZero helps engineers understand the task-level scheduling behavior of their code…

Continuous tracing with the RTBx data logger

Learn how the RTBx data logger provides a cost-effective and easy-to-use approach to collecting timing…

Target Integration Service

Learn how our Target Integration Service creates a robust integration of RVS tools into your…

Software support and maintenance

Learn how we support RVS users through our Software support and maintenance service.

Frozen Version Support

Learn about the Rapita Systems software product life cycle and how we support projects with long lifetimes with our…

Automotive Software Verification Services

Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing…

FAQ

Software licensing FAQ

Answer your questions about our software licensing models and methods.

Technical note

Connecting the RTBx to Embedded Targets

Learn how to connect the RTBx to embedded targets in order to collect verification data.

Requirements for zero-footprint RVS analysis

Learn the requirements for software analysis by zero-footprint RVS tools, and how to assess…

Integrated Test Automation and Coverage for ISO 26262 using Mx-Suite with RapiCover

Learn how integration between RapiCover and Mx-Suite allows coverage to be collected automatically…

Using RapiTime with VxWorks to verify real-time performance

Learn how RapiTime can be used with VxWorks to ensure that applications meet their timing requirements…

Using RVS with iSYSTEM trace-enabled debuggers

Learn how integrating RapiTime with iSYSTEM trace-enabled debuggers provides an effective way of…

Using RapiTime and RapiTask with RTEMS® to verify real-time performance in a multicore environment

Learn how RapiTime and RapiTask can be used with RTEMS to ensure that multicore…

Measuring MATLAB Simulink models' worst-case execution time with RapiTime

Learn how RapiTime can be integrated with MATLAB Simulink.

RVS trace capture using Lauterbach TRACE-32 PowerTrace

Learn how Lauterbach PowerTrace can be used to collect traces for RapiTime analysis.

Videos

CAST-32A compliance for DO-178C projects Thumbnail

CAST-32A Compliance for DO-178C projects

CAST-32A Compliance packages provide an end-to-end solution for producing certification evidence to satisfy DO-178C and CAST-32A objectives.

On-target software verification with RVS Thumbnail

On-target software verification with RVS

Discover how to run requirement based tests, produce coverage evidence and perform timing analysis for your applications on-target.

Functional testing with RapiTest Thumbnail

Functional testing with RapiTest

RapiTest – Functional testing for critical software.

  Structural coverage analysis with RapiCover Thumbnail

Structural coverage analysis with RapiCover

RapiCover – Low-overhead coverage analysis for critical software.

Execution time analysis with RapiTime Thumbnail

Execution time analysis with RapiTime

RapiTime – In-depth execution time analysis for critical software.

System event tracing with RapiTask Thumbnail

System event tracing with RapiTask

RapiTask – RTOS scheduling visualization for critical software.

Zero footprint coverage analysis with RapiCover Zero Thumbnail

Zero footprint coverage analysis with RapiCover Zero

RapiCoverZero – Zero-footprint structural coverage analysis for critical software.

Zero footprint timing analysis with RapiTime Zero Thumbnail

Zero footprint timing analysis with RapiTime Zero

RapiTimeZero – Zero-footprint in-depth execution time analysis for critical software.

RapiTask Zero Thumbnail

Zero-footprint system event tracing with RapiTask Zero

RapiTaskZero – Zero-footprint RTOS scheduling visualization for critical software.

Continuous verification with RVS and Bamboo Thumbnail

Continuous verification with RVS and Bamboo

Learn how RVS helps you track the progress of your software verification through continuous builds with Bamboo.

Continuous verification with RVS and Jenkins Thumbnail

Continuous verification with RVS and Jenkins

Learn how RVS helps you track the progress of your software verification through continuous builds with Jenkins.

Requirements traceability with RapiTest Thumbnail

Requirements traceability with RapiTest

Learn how RapiTest helps you trace between your requirements-based tests and the requirements from which they were developed and track your requirements coverage.

Testing using the RapiTest scripting language thumbnail

Testing using the RapiTest scripting language

Learn how the RapiTest Scripting Language makes it easy to write tests for use with RapiTest.

Justifying untestable code with RapiCover Thumbnail

Justifying untestable code with RapiCover

Learn how RapiCover and RapiCoverZero justifications let you mark untestable code as covered by analysis.

Merging coverage from multiple tests with RapiCover Thumbnail

Merging coverage from multiple tests with RapiCover

Learn how RapiCover helps you automatically merge coverage from multiple tests.

Merging coverage from different builds with RapiCover Thumbnail

Merging coverage from different builds with RapiCover

Learn how RapiCover helps you automatically merge coverage from different builds.

MASTECS Project

The MASTECS project aims to innovate and commercialize exploitable technology for multicore timing analysis.

Ask the expert: Multicore safety Thumbnail

Ask the expert: Multicore safety

Lynx Software Technologies discusses the state of multicore safety with Rapita experts.

Apply Clear filters

Content type

White paper Case study Webinar Brochure Product brief Technical note Research project FAQ Video

Solution

RVS RapiTest RapiCover RapiTime RapiTask RapiCoverZero RapiTimeZero RapiTaskZero CAST-32A Compliance Solution RTBx RapiDaemons Integration Multicore Timing Solution Qualification Support Training Software Verification Services

Apply Clear filters

  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask

    • CAST-32A Compliance Package
    • 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
    • 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 Testing

    • WCET Tools
    • Worst Case Execution Time

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