I wonder what kind of hardware and software (CPU and OS) we’re talking about here.
"Another example is EADS DMS-R, a computer board based on ERC32 (Atmel TSC695) processor, and a fault-tolerant TMR version using 3 boards for the ATV of the ISS (Autonomous Transport Vehicle of the International Space Station)."
I looked up the Atmel chip and it is a radiation hardened implementation of the SPARC v7 architecture. I was a little surprised it wasn't a RAD6000, since I saw elsewhere that BAE was involved. Their RAD line of hardened Power PC processors is quite popular in spacecraft systems.
https://webee.technion.ac.il/~ran/papers/SurveySpaceProcesso...