Title: Design of a reliable computing system for the Petite Amateur Navy Satellite (PANSAT)