Rapita Systems | On-target software verification solutions

  • Software verification solutions
    for critical aerospace & automotive systems
  • Multicore Timing Analysis: Training Events
    Webinar 21st Feb 2019
          "Certifying multicore Timing Analysis for DO-178 Projects: a Practical Webinar"
    Sign up »
    One Day Workshop Barcelona, Spain
    16th April 2019     "Certifying multicore projects (CAST-32A) / Shared resources & Interference"
    Find out more »
  • DO-178C Training Workshop San Diego, USA : 10-11 Jul 2019 "Optimized DO-178C Understanding, Implementation and Execution"
    Find out more »
  • Streamlined software verification
    with RVS 3.8
    Find out more »

Aerospace

Our verification tools and services are used throughout the aerospace industry, offering the means to test critical software used in avionics and space-based applications. We have a firm history of providing the evidence needed to satisfy DO-178B/C objectives, for example that code meets its low-level requirements, is covered by tests and operates within timing deadlines.

Automotive

The needs for testing of automotive electronics have increased dramatically over the past two decades. Our verification tools and services meet these evolving needs; by producing data needed to verify functional testing and optimize timing behavior, they help guide software design to meet safety standards such as ISO 26262.