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 RapiTestFramework

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

Integrating RapiCover with Atlassian Bamboo

In this post, we describe how to integrate RapiCover with Bamboo, the continuous integration service from Atlassian.  If RapiCover is already integrated into your build system and your builds are managed by Bamboo, you can integrate RapiCover with Bamboo so that Bamboo tracks code coverage data and archives a code coverage report for each build you run.
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