Blog

All blogs

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 structural cover

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

Misusing Execution Time Profiles

One of my favourite sayings is "when the only tool you have is a hammer, all your problems look like nails".

2014-10-22

What’s the difference between a SIL and a DAL? How does it affect my Code Coverage?

In this article I look at the different integrity levels for the DO-178C "Software Conside

2014-10-07

Multicore developments from the FP7 parMERASA project

This month sees the end of the three year FP7 parMERASA project – "Multi-core Execu

2014-09-29

ED4I tool - generating diverse code automatically to satisfy ISO26262 requirements

Is it possible to use diversity on a single processor to reliably detect hardware faults?

2014-09-23

How to trace the source of deadlocks

In this article I explain how you can use the principles of tracing tools to find the sequence of events that lead to

2014-08-28

Deadline Floor Inheritance Protocol for Earliest Deadline First resource sharing

In a previous posting, I mentioned the Deadline Floor Inheritance

2014-07-23

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