Blog

All blogs

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

Presenting a safety case

Our blogs typically concentrate on technical details which will help with the detailed verification of your software.

2015-08-13

Summer fun: computer games for programmers

As it's the time of summer vacations, I thought it would be interesting to look at something a little more light-hear

2015-07-23

Breaking the switch statement

While refreshing our RapiCover qualification kit, we looked harder for corner-cases and undefined be

2015-06-12

Software randomization of execution times for avionic systems

Among the wide range of research work we've done during the past, one of the "most blue sky" areas has been in the ar

2015-05-05

What are the overheads of code coverage? Using "Doom" as an example

One question that we are frequently asked is what instrumentation overhead RapiCover introduces.

2015-05-01

CAST-10 "Literal" Interpretation of Decision Coverage Increases Rigor of Testing Requirements

The Certification Authorities Software Team (CAST) issue guidance on various issues regarding the interpretation of D

2015-03-25

Multicore verification

Services

Other

Webinars

Brochures

Product briefs

Technical notes

Research projects

RapiTimes

Popular tags

Industry leading verification tools & services

Multicore verification

Services

Industries

Other

Latest from Rapita HQ

Technical resources for industry professionals

Discover Rapita

Who we are

Working at Rapita

Careers

Blog

RapiTimes

Popular tags