Blog

Why Static analysis doesn't work for Multicore WCET estimation

October 7th, 2019
The estimation of sensible worst case execution time (WCET) for applications running on multicore processors is far more challenging than for those running on single core processors. Multicore processors are more complex in design, and less predictable in behavior than single core systems.
Read More

The origin of the name "Rapita"

July 30th, 2019
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?

July 16th, 2019
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

June 18th, 2019
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

May 22nd, 2019
‘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