What software is being used for the various systems on the Perseverance mission to Mars? What are the design principles and mission constraints that have influenced the choices that have been made?