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

Qualification
Tool qualification

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

Multicore

Breaking the switch statement

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

2015-06-12

Qualification
Code coverage
Tool qualification

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

DO-178B/C
Timing analysis

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

Code coverage
RapiCover

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

DO-178B/C
Code coverage
MC/DC

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

DO-178B/C
Embedded

Philippa explains: "What is MC/DC?"

Philippa explains to Lucy:

2015-02-17

Code coverage
MC/DC

Multicore verification

Services

Other

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

Careers

Blog

RapiTimes

Popular tags