Blog

All blogs

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…

2017-07-20

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

WCET analysis of object code with zero instrumentation

Worst-case execution time (WCET) analysis is critica

2017-02-27

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 se

2017-01-31

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

Highlights from Ada Europe 2016

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

2016-07-06

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

Ada enumerations are sometimes functions

In Ada, you declare a new enumeration type by providing a list of literals:

2016-04-18

What happened first? Handling timer wraparound

Suppose you had to determine which of two timestamps occurred first. Clearly the “obvious“ approach is to use a simple…

2016-01-08

Conditional code without branches

The difficulty of showing that real-time software safely executes within an allotted time budget arises from the…

2015-12-10

A funny thing happened on the way to a Worst-Case Execution Time Conference...

2015-10-09

How do I demonstrate the safe use of instrumented source code analysis?

In the second of two related blog posts, I describe one method to present a certification argument for the use of ins

2015-08-21

Multicore Verification

Engineering Services

Other

Webinars

Brochures

Product briefs

Technical notes

Research projects

RapiTimes

Popular tags

Industry leading verification tools & services

Multicore Verification

Industries

Other

Latest from Rapita HQ

Technical resources for industry professionals

Discover Rapita

Who we are

Working at Rapita

Careers

Blog

RapiTimes

Popular tags