Rapita Systems | On-target software verification solutions

  • Software verification solutions
    for critical aerospace & automotive systems
  • Multicore Training workshop Barcelona, Spain: 16th April "Certifying multicore projects / Shared resources & Interference / Timing Analysis"
    Find out more »
  • Streamlined software verification
    with RVS 3.8
    Find out more »
  • DO-178C Training Workshop San Diego, USA // Bristol, UK "Optimized DO-178C Understanding, Implementation and Execution"
    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.