Rapita Systems | On-target software verification solutions

  • Software verification solutions
    for critical aerospace & automotive systems
  • Streamlined software verification
    with RVS 3.8
    Find out more »
  • DO-178C & Multicore Certification Training Workshop 19 - 21 Nov, Bristol, UK
    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.