Comparison of embedded computer systems on board the Mars rovers