Blog

All blogs

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

Multi-core pitfalls: unintended code synchronization

Despite (or possibly because) multi-core systems development use the same programming languages, and largely similar

2015-01-07

Does DO-178C require object code structural coverage?

If you are developing software to Level A for DO-178B/C, your code has to undergo extremely rigorous

2014-11-21

Test your testing skills with RapiCover on Tetris

We were somewhat surprised and shocked to discover that Tetris turned 30 this year. As our own celebration of this…

2014-10-24

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