Rapita Systems | On-target software verification solutions

Software verification solutions
for critical aerospace & automotive systems
DO-178C Training Workshop Bristol, UK : 13-14 Nov 2018 "Optimized DO-178C Understanding, Implementation and Execution"
Find out more »

Tools

Unit/system testing

Structural coverage analysis

Timing analysis

Scheduling/event tracing

Signal-driven software testing

Data logging

FREE 30-day trial »

Services

Software verification services

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.