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.