Why Static analysis doesn't work for Multicore WCET estimation

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"

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