Blog

All blogs

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

Function pointers and their impact on stack analysis

Function pointers present a real problem for static code analysis, including when calculating stack usage.…

2015-03-04

Philippa explains: "What is MC/DC?"

Philippa explains to Lucy:

2015-02-17

Optimising for code size might not do what you expect - a GCC and PowerPC example

Getting tracing libraries to run on a new system is hard, but it's something that we regularly have to do here at Rap

2015-02-09

Other

RVS Software Policy

Engineering Services

Webinars

Brochures

Product briefs

Technical notes

Research projects

Multicore resources

Industries

RapiTimes

Popular tags

Industry leading verification tools

Multicore Verification

Other

RVS Software Policy

Industry leading verification services

Latest from Rapita HQ

Technical resources for industry professionals

Discover Rapita

Who we are

Industries

Blog

RapiTimes

Popular tags