🧑🚀 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/