Blog | Rapita Systems

Free 30-day trial Customer portal Contact DO-178C Training

Back to Top

All blogs

Unboxing the new RTBx

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

2017-07-25

Embedded
RTBx

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…

2017-07-20

RapiTest
Testing

An early look at RapiTest

We have been hard at work recently developing RapiTest, a new RVS tool that generates and runs unit,

2017-05-09

RapiTest
Testing

WCET analysis of object code with zero instrumentation

Worst-case execution time (WCET) analysis is critical for the verification of safety-critical real

2017-02-27

Timing analysis
WCET

Merging coverage data from multiple test runs

One of the questions we are asked most frequently is how we merge coverage data from multiple test runs. This seems t

2017-01-31

Code coverage

It’s a bad idea to hide problems from customers – so we don’t

What’s the one thing you’ll almost never hear in your meeting with a software sales representative? An admission that…

2017-01-16

DO-178B/C
Qualification
Tool qualification

Highlights from Ada Europe 2016

I write this on the plane home from the Ada Europe 2016 confe

2016-07-06

Ada

Supporting Duff's Device in RVS

Nested “case” labels are an obscure feature of C, and not often seen. However, examples do exist, typically hidden deep…

2016-06-10

RVS

RapiTimes

Subscribe

Popular tags

Code coverage Timing analysis Multicore Testing WCET Tool qualification MC/DC Rapita RTBx Scheduling RVS Ada CAST-32A DO-178B/C C RapiCover RapiTest RapiTask RapiTime RapiTetris Embedded ISO26262 Optimization Research projects All Blogs