The author details the design methodology used to develop the flight software architecture for the Mars Pathfinder spacecraft. More generally, he explores design techniques and development approaches for producing high-performance, highly reliable systems faster and less expensively.