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  Support

Industries

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

Other

  RTBx   Mx-Suite   Software licensing   Product life cycle policy

Latest from Rapita HQ

Latest news

FACE Virtual Technical Interchange Meeting
RVS 3.14 Launched
Propelling the next generation of scientists
Another successful DO-178C Virtual Training Course complete
View News

Latest from the Rapita blog

Metrowerks CodeTest - How and why to upgrade
Leveraging FACE Conformance Artifacts to Support Airworthiness
Assured Multicore Partitioning for FACE Systems
Going above and beyond the quality standards
View Blog

Latest discovery pages

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
embedded_software_testing Embedded Software Testing Tools
View Discovery pages

Upcoming events

DO-178C Virtual Workshop
2021-03-08
FACE Virtual Technical Interchange Meeting
2021-03-23
Safe Use of Multi-Core Processors Seminar
2021-04-05
View Events

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
View White Papers

Latest Videos

Streamlined software verification thumbnail
Streamlined software verification with RVS 3.14
Qualification guidance thumbnail
Clear qualification guidance with RVS qualification kits
Optimizing tests to run after code changes with RVS
Easily manage test runs with RapiTest
Test Templates thumbnail
Generating test templates with RapiTest
View Videos

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
View Webinars

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
View Case studies

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
info@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

parMERASA

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

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…

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

Front page of the RapiTest 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.

Optimizing tests to run after code changes with RVS

Learn how RVS reduces the effort needed to rerun tests after code changes by identifying the optimal set of tests to rerun to assess the impact of the change.

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.

Easily manage test runs with RapiTest

Learn how RapiTest makes it easy to select the tests you want to run with quick selection and filtering options.

Test Templates thumbnail

Generating test templates with RapiTest

Learn how RapiTest's template generator helps you to generate test templates quickly.

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.

Qualification guidance thumbnail

Clear qualification guidance with RVS qualification kits

Learn how RVS qualification kits help make the tool qualification process efficient by answering many of the questions commonly asked throughout it.

Streamlined software verification thumbnail

Streamlined software verification with RVS 3.14

Learn how RVS 3.14 makes software verification more efficient, including new features and enhancements for RapiTest, the ability to collect and analyze multicore p

Multicore Timing Analysis Demo

Darknet YOLOv3 Object Detection

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
    • Timing analysis (WCET) & Code coverage for Matlab Simulink

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