Blog

Generating low level tests from system tests

2020-07-07

Evolving language support in RVS: Libadalang

2020-04-09

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

2020-03-30

Working from home, Rapita style

2020-03-19

FAE Diary: A stormy AdaTest integration

2020-03-16

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

2020-02-23

Race condition testing

2019-11-20

Why Static analysis doesn't work for Multicore WCET estimation

2019-10-07

The origin of the name "Rapita"

2019-07-30

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

2019-07-16