Tagged with

Remote Control Vehicles (RCVs)

Latest Posts

One of the goals of building the Mars Rover is to demonstrate SPARK. As an early step, Fabien introduced a new hardware abstraction layer (HAL) on top of the existing HALs that had been developed for the various pieces of hardware that make up the Mars Rover.

Let's Write a Safety Monitor for a Mars Rover!

Profiles