Blog

Unboxing the new RTBx

Christmas came early at Rapita this year with the unboxing of the new RTBx 2220 datalogger.
Read More

Automating test generation with AUTOSAC

Find out how automated test generation from SPARK Ada pre and post-conditions can cut the effort needed to run test projects. 
Read More

An early look at RapiTest

We have been hard at work recently developing RapiTest, a new RVS tool that generates and runs unit, integration and system tests on embedded targets or host systems. RapiTest injects test framework code, builds a test harness, runs this on the target and reports results.
Read More

Integrating RVS with Bamboo

Learn how to integrate the RVS RapiTest and RapiCover tools with Bamboo, the continuous integration system from Atlassian.
Read More

WCET analysis of object code with zero instrumentation

Worst-case execution time (WCET) analysis is critical for the verification of safety-critical real-time embedded systems. This analysis is typically performed by instrumenting source code and obtaining timing data from an instrumented build.
Read More

Pages