Blog

Why Static analysis doesn't work for Multicore WCET estimation

Learn why static analysis techniques aren't applicable for timing analysis on multicore systems and why a hybrid timing analysis is better.
Read More

The origin of the name "Rapita"

Why does Rapita Systems owe so much to a small, idyllic fishing village with links to pirates?
Read More

How did the first real-time embedded system also produce the first timing bug?

It's over 40 years since one of the first real-time operating systems was designed for the first computer using integrated circuits. What happened to this operating system in action is a fascinating tale.
Read More

Test your Ada skills with our puzzle

Produced by our software engineer Jack W for the Ada Europe 2019 event, below is a fiendishly tricky Ada code software puzzle.
Read More

False positive and false negative in software testing

‘False positive’ and ‘false negative’ are terms commonly heard in software verification. But depending on whether you are looking at static or dynamic analysis, the level of seriousness each conveys can differ.
Read More

Pages