š§āš How NASA Built Artemis IIās Fault-Tolerant Computer ā Communications of the ACM
ļ½¢ Orion carries a completely independent Backup Flight Software (BFS) system. This is a prime example of dissimilar redundancy. It is implemented on different hardware, runs a different operating system, and utilizes independently developed, simplified flight software ļ½£
https://cacm.acm.org/news/how-nasa-built-artemis-iis-fault-tolerant-computer/