Blog

All blogs

Evolving language support in RVS: Libadalang

Learn how we've been using AdaCore's libadalang library to improve the efficiency of our software verification tools…

2020-04-09

Solar Orbiter's mission to study the Sun's behavior

Find out how the Solar Orbiter satellite aims to understand how the Sun creates and controls the heliosphere using…

2020-03-30

Working from home, Rapita style

Discover tips and tricks for working from home from Rapita staff.

2020-03-19

Out of the box RVS integration for DDC-I's Deos RTOS

Our RVS integration with the Deos RTOS promises to offer an out-of-the-box solution, significantly…

2020-02-23

Race condition testing

Learn more about how RVS supports race condition testing for critical software.

2019-11-20

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 measurement-…

2019-10-07

The origin of the name "Rapita"

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

2019-07-30

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…

2019-07-16

Test your Ada skills with our puzzle

Produced by our software engineer Jack W for the Ada Europe 2019 even

2019-06-18

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…

2019-05-22

Rapita turns 15

Rapita Systems turned 15 on 30th April (2019), offering the perfect

2019-04-25

1000 conditions per decision ought to be enough for anybody

RVS versions before 3.8 support up to 30 conditions per decision by default (up to 60 on a 64 bit target), and now…

2019-01-28

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