>>12165248If you are not going to leave the atmosphere you probably don't need redundancy(as in 2of3 result checking). ECC memory could be useful nevertheless but you are not going to find anything cheap that uses it.
My final answer is to use a raspberry pi and focus on the programming language.
Desirable characteristics:
1. Strongly and statically typed so the compiler catches as much errors as possible;
2. Test driven development;
3. No garbage collection, it adds unpredictability and is very bad for control systems.
The most common choice is C++, but it has a lot of perks you can step on.
If you don't already know how to program you could try using python and following the test driven approach. It fails at 1 and 3 but is a very beginner friendly language and has a strong robotics community.
Rust fills 1, 2 and 3 but it is a relatively new language with few learning resources. It does have a very active community.